航空订票业务的Web服务建模及组合兼容性验证  

Aeronautical booking process modeling for Web service and compositional compatibility verification

作　　者：贾志淳[1] 陈荣[1,2] 张维石[1] 

机构地区：[1]大连海事大学信息科学技术学院,辽宁大连116026 [2]吉林大学符号计算与知识工程教育部重点实验室,长春130012

出　　处：《计算机工程与应用》2010年第24期237-242,共6页Computer Engineering and Applications

基　　金：国家自然科学基金(No.60775028);大连市科技局重大项目(No.2007A14GX042);吉林大学符号计算与知识工程教育部重点实验室开放课题(No.93K-17-2006-04);大连市信息产业局IT优秀教师项目~~

摘　　要：Web服务通过组合基本服务为解决复杂问题提供了方法,于是近年来越来越受到关注。当前交互式下的Web服务在实际组合中还存在诸多问题,其中就包括Web服务组合验证问题。运用Pi演算对航空订票业务的Web服务进行形式化建模,改进基于Pi演算的推理,提供一种验证多个Web服务组合是否兼容的方法。为证实该验证方法,进一步采用MWB工具展示了Web服务组合兼容性的验证过程。There has been an increased focus in recent years on Web services,which provide the way of solving complex problems by combining basic ones.However,there are some issues related to Web service composition,in particular its compatibility verification of services with interactions.To this end,this paper formally models the Web services in aeronautical booking domain,and proposes a method for verifying the behavior compatibility of booking services by using an improved Pi-calculus-based reasoning.To validate the proposed method,this paper further uses the MWB tool to demonstrate the verification process.

关 键 词：PI演算 WEB服务组合 组合兼容性 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]