一种基于余代数单子的Web服务形式化模型

《一种基于余代数单子的Web服务形式化模型》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、第48卷第5期2016年10月南京航空航天大学学报JournalofNanjingUniversityofAeronautics&AstronauticsV01．48No．50ct．2016DOI：10．16356／j．1005—2615．2016．05．009一种基于余代数单子的Web服务形式化模型许碧欢1钱俊彦2张迎周3陈蕾(1．南京邮电大学理学院，南京，210023；2．桂林电子科技大学广西可信软件重点实验室，桂林，541004；3．南京邮电大学计算机学院，南京，210023)摘要：为拓展服务计

2、算的形式化研究视野、手段和方法，建立并实现了一种针对Web服务的服务计算形式化模型。鉴于开放环境下的服务实体主要来源于不同的第三方提供者，将软件实体抽象成余代数单子，从而以一种黑盒方式给出软件服务的语义模型。给出了余代数单子的一般性定义，在此基础上对软件服务进行单子描述，进而提出一种基于余代数方法和单子技术的Web服务参考模型。最后，实现了一个基于单子的web服务计算平台原型系统，可支持从遗留系统中进行服务抽取、发布、发现和度量等。关键词：服务计算；web服务；单子技术；余代数方法中图分类号：TP31

3、1文献标志码：A文章编号：1005—2615(2016)05—0668—09FormalMethodofWebServiceBasedonCoalgebraicMonadsXuBihuan1，QianJunyan2，ZhangYingzhou3，ChenLei3(1．CollegeofScience，NanjingUniversityofPostsandTelecommunications，Nanjing，210023，China；2．GuangxiKeyLaboratoryofTrustedSoft

4、ware，GuilinUniversityofElectronicTechnology，Guilin，541004，China；3．CollegeofComputer，NanjingUniversityofPostsandTelecommunications，Nanjing，210023，China)Abstract：Toexpandthehorizons，meansandmethodsofformalstudyingonservicecomputing，aformalservicecomputing

5、modelforWebserviceisbuilt．Sinceagreatnumberofserviceentitiesarefromdif—ferentthird—partyprovidersinopennetwork，softwareentitiesareabstractedascoalgebraicmonads，thenasemanticmodelisgivenforservicesintheblack—boxmethod．Basedoncoalgebraicmonads，aformalfram

6、eworkisputforwardforservice—orientedcomputing(SOC)withitsapplicationsaswell．Fi—nally，aprototypesystemisimplementedforservicecomputingbasedonmonads，whichsupportsserv—iceabstraction，publishing，discoveryandmetricsfromlegacysystems．Keywords：servicecomputing

7、；Webservices；monadtechnique；coalgebraicmethod面向服务计算(Service—orientedcomputing，SOC)是在现有技术(如面向对象、基于构件的开发、分布式对象计算及Web技术等)基础上，建立了一种基于Internet的软件开发、部署和集成的新模式‘1‘7

8、。软件服务的分布性、动态性和自主性等特点，使得面向服务的系统分析、设计、建模和运行等技术仍为目前国内外学者研究热点‘6。81。关于面向服务计算建模方面，文献[9]提出了基金项目：国家自然科学基

9、金(61562015)资助项目；广西高等学校高水平创新团队及卓越学者计划资助项目；江苏省“青蓝工程”中青年学术带头人项目资助项目。收稿日期：2016一Ol一01；修订日期：2016-08—30通信作者：张迎周，男，教授，E-mail：zhangyz@njupt．edu．cn。引用格式：许碧欢，钱俊彦，张迎周，等．一种基于余代数单子的Web服务形式化模型[J]．南京航空航天大学学报，2016。48(5)：668—676．XuBihuan，QianJunya