基于单子技术的服务计算形式化方法的研究.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服务的服务计算形式化模型．详细探讨了如何从遗产系 统中抽取构件，并进行服务的生成．发布与发现．组合．服务质量评价．运行等．以此拓展服务计算的形式化研究 视野、手段和方法． 关键词： 服务计算，Web服务，单子技术，余代数方法，程序切片 AMonad—BasedFormalMethodforService Computing ZHANG Wei‘．2GUO YANG ZHANG Ying-zhnul2，FUMing-min94GengI．2 Wei．fen92j and ofPostsand ‘1．StatekeyLaboratoryofNetworking University SwitchingTechnology，Beijing Telecommunications，Bering100876，China) Univ．ofPostsand (2．CollegeofComputer,NanjinsTelecommunications，Nanjing210003，China) ofNovelSoftware ‘3．StateKeyLaboratory Technology，Nanjing 210093，China) University,Nanjing Hefei ‘4．SchoolofComputerInformationtUniversityofTechnology,Hefei230009，China) Abstract：Sincea numberofserviceentitiesarefromdifferent in network large third—partyprovidersopen the is basicunitinaservice abstractedintoa that environment，acomponent，whmh system，is coalgebraicmonad，SO will anobservationsemanticmodelofthe bebuiltinamethodofBlackBox．Inthis