基于单子技术的服务计算形式化方法研究

• 作 者: 张迎周[1]符炜[2]郭铭铭[3]杨庚[2]张卫丰[4]
• 机 构: 北京邮电大学 网络与交换技术国家重点实验室，北京 100876 南京邮电大学 计算机学院，南京 210003 南京大学 计算机软件新技术国家重点实验室，南京 210093
• 出 处: 第一届全国服务计算学术会议
• 发表日期: 2010年期

鉴于开放环境下的服务实体主要来源于不同的第三方提供者，将服务系统的基本计算单元--构件，抽象成余代数单子(称为构件单子)，从而以一种黑盒方式给出构件的观测语义模型．利用余代数方法对研究基于状态系统(如不确定、并发系统等)的独特优势，以及单子的抽象性、反射性和可组合性，对开放网络环境下的构件和服务进行形式化描述和深入研究，建立并实现了一种基于Web服务的服务计算形式化模型．详细探讨了如何从遗产系统中抽取构件，并进行服务的生成、发布与发现、组合、服务质量评价、运行等．以此拓展服务计算的形式化研究视野、手段和方法．