| 航空订票业务的Web服务建模及组合兼容性验证 |
| |
| 引用本文： | 贾志淳,陈荣,张维石.航空订票业务的Web服务建模及组合兼容性验证[J].计算机工程与应用,2010,46(24):237-242. |
| |
| 作者姓名： | 贾志淳 陈荣 张维石 |
| |
| 作者单位： | 1.大连海事大学 信息科学技术学院，辽宁 大连 116026 2.吉林大学 符号计算与知识工程教育部重点实验室，长春 130012 |
| |
| 基金项目： | 国家自然科学基金，大连市科技局重大项目，吉林大学符号计算与知识工程教育部重点实验室开放课题，大连市信息产业局IT优秀教师项目 |
| |
| 摘 要： | Web服务通过组合基本服务为解决复杂问题提供了方法，于是近年来越来越受到关注。当前交互式下的Web服务在实际组合中还存在诸多问题，其中就包括Web服务组合验证问题。运用Pi演算对航空订票业务的Web服务进行形式化建模，改进基于Pi演算的推理，提供一种验证多个Web服务组合是否兼容的方法。为证实该验证方法，进一步采用MWB工具展示了Web服务组合兼容性的验证过程。
|
| 关 键 词： | Pi演算 Web服务组合 组合兼容性 |
| 收稿时间： | 2009-2-17 |
| 修稿时间： | 2009-4-7
|
Aeronautical booking process modeling for Web service and compositional compatibility verification |
| |
| JIA Zhi-chun,CHEN Rong,ZHANG Wei-shi.Aeronautical booking process modeling for Web service and compositional compatibility verification[J].Computer Engineering and Applications,2010,46(24):237-242. |
| |
| Authors: | JIA Zhi-chun CHEN Rong ZHANG Wei-shi |
| |
| Affiliation: | 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 |
| |
| 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. |
| |
| Keywords: | Pi-Calculus Web service composition compositional compatibility |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
