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

NCSC 第一届全国服务计算学术会议(CCF 20lo)论文集 基于单子技术的服务计算形式化方法研究木 张迎周1，23符炜1,2郭铭铭4杨庚’’2张卫丰22 (1．北京邮电大学网络与交换技术国家重点实验室，北京100876) (2．南京邮电大学计算机学院，南京210003) (3．南京大学计算机软件新技术闰家重点实验室，南京210093) (4．合肥工业人学计算机与信息学院，合肥230009) Email：zhangyz@njupt．edu．cn 摘要： 鉴于开放环境下的服务实体主要来源于不同的第三方提供者，将服务系统的基本计算单元，一构件，抽象 成余代数单子(称为构件单子)，从而以一种黑盒方式给出构件的观测语义模型．利用余代数方法对研究基于状态系 统(如不确定、并发系统等)的独特优势．以及单子的抽象性、反射性和可组合性，对开放网络环境下的构件和服 务进行形式化描述和深入研究．建立并实现了一种基于Web