一种基于余代数单子的Web服务形式化模型

• 作者: 张迎周 许碧欢 钱俊彦 陈蕾
• 来源期刊: 南京航空航天大学学报
• 学科: 工学
• 关键词: 服务计算 Web服务 单子技术 余代数方法
• 年，卷（期）: 2016,（5）
• 页码范围: 668-676
• 页数: 9页
• 分类号: TP311
• 字数: 6825字
• 语种: 中文
• DOI: 10.16356/j.1005-2615.2016.05.009

摘要

为拓展服务计算的形式化研究视野、手段和方法,建立并实现了一种针对Web服务的服务计算形式化模型.鉴于开放环境下的服务实体主要来源于不同的第三方提供者,将软件实体抽象成余代数单子,从而以一种黑盒方式给出软件服务的语义模型.给出了余代数单子的一般性定义,在此基础上对软件服务进行单子描述,进而提出一种基于余代数方法和单子技术的Web服务参考模型.最后,实现了一个基于单子的Web服务计算平台原型系统,可支持从遗留系统中进行服务抽取、发布、发现和度量等.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱俊彦	桂林电子科技大学广西可信软件重点实验室	86	238	9.0	10.0
2	陈蕾	南京邮电大学计算机学院	36	185	8.0	12.0
3	张迎周	南京邮电大学计算机学院	27	142	7.0	10.0
4	许碧欢	南京邮电大学理学院	2	1	1.0	1.0