|
|||||
|
|
| 一种基于余代数单子的Web服务形式化模型 | |
| 引用本文： | 许碧欢,钱俊彦,张迎周,陈蕾. 一种基于余代数单子的Web服务形式化模型[J]. 南京航空航天大学学报, 2016, 48(5): 668-676 |
| 作者姓名： | 许碧欢 钱俊彦 张迎周 陈蕾 |
| 作者单位： | (1.南京邮电大学理学院, 南京，210023；2.桂林电子科技大学广西可信软件重点实验室, 桂林，541004； |
| 摘 要： | 为拓展服务计算的形式化研究视野、手段和方法，建立并实现了一种针对Web服务的服务计算形式化模型。鉴于开放环境下的服务实体主要来源于不同的第三方提供者，将软件实体抽象成余代数单子，从而以一种黑盒方式给出软件服务的语义模型。给出了余代数单子的一般性定义，在此基础上对软件服务进行单子描述，进而提出一种基于余代数方法和单子技术的Web服务参考模型。最后，实现了一个基于单子的Web服务计算平台原型系统，可支持从遗留系统中进行服务抽取、发布、发现和度量等。 |
| 关 键 词： | 服务计算 Web服务 单子技术 余代数方法 |
Formal Method of Web Service Based on Coalgebraic Monads |
|
| Abstract: | |
| Keywords: | service computing Web services monad technique coalgebraic method |
| 点击此处可从《南京航空航天大学学报》浏览原始摘要信息 | |
| 点击此处可从《南京航空航天大学学报》下载全文 | |