基于单子技术的服务计算形式化方法研究
鉴于开放环境下的服务实体主要来源于不同的第三方提供者，将服务系统的基本计算单元--构件，抽象成余代数单子(称为构件单子)，从而以一种黑盒方式给出构件的观测语义模型．利用余代数方法对研究基于状态系统(如不确定、并发系统等)的独特优势，以及单子的抽象性、反射性和可组合性，对开放网络环境下的构件和服务进行形式化描述和深入研究，建立并实现了一种基于Web服务的服务计算形式化模型．详细探讨了如何从遗产系统中抽取构件，并进行服务的生成、发布与发现、组合、服务质量评价、运行等．以此拓展服务计算的形式化研究视野、手段和方法．
服务计算 Web服务 单子技术 余代数方法 程序切片
张迎周 符炜 郭铭铭 杨庚 张卫丰
北京邮电大学 网络与交换技术国家重点实验室，北京 100876 南京邮电大学 计算机学院，南京 210003 南京大学 计算机软件新技术国家重点实验室，南京 210093 北京邮电大学 网络与交换技术国家重点实验室，北京 100876 南京邮电大学 计算机学院，南京 210003 合肥工业大学 计算机与信息学院，合肥 230009 南京邮电大学 计算机学院，南京 210003 南京大学 计算机软件新技术国家重点实验室，南京 210093
国内会议
哈尔滨
中文
9-23
2010-08-10（万方平台首次上网日期，不代表论文的发表时间）