计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (24): 237-242.DOI: 10.3778/j.issn.1002-8331.2010.24.069

• 工程与应用 • 上一篇    下一篇

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

贾志淳1 ,陈 荣1,2,张维石1   

  1. 1.大连海事大学 信息科学技术学院,辽宁 大连 116026
    2.吉林大学 符号计算与知识工程教育部重点实验室,长春 130012
  • 收稿日期:2009-02-17 修回日期:2009-04-07 出版日期:2010-08-21 发布日期:2010-08-21
  • 通讯作者: 贾志淳

Aeronautical booking process modeling for Web service and compositional compatibility verification

JIA Zhi-chun1,CHEN Rong1,2,ZHANG Wei-shi1   

  1. 1.School of Information Science and Technology,Dalian Maritime University,Dalian,Liaoning 116026,China
    2.Key Laboratory of Symbolic Computation and Knowledge Engineering of MOE,Jilin University,Changchun 130012,China
  • Received:2009-02-17 Revised:2009-04-07 Online:2010-08-21 Published:2010-08-21
  • Contact: JIA Zhi-chun

摘要: Web服务通过组合基本服务为解决复杂问题提供了方法,于是近年来越来越受到关注。当前交互式下的Web服务在实际组合中还存在诸多问题,其中就包括Web服务组合验证问题。运用Pi演算对航空订票业务的Web服务进行形式化建模,改进基于Pi演算的推理,提供一种验证多个Web服务组合是否兼容的方法。为证实该验证方法,进一步采用MWB工具展示了Web服务组合兼容性的验证过程。

Abstract: 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.

中图分类号: