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

doi:10.3778/j.issn.1002-8331.2010.24.069

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

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

贾志淳¹ ，陈荣^1，2，张维石¹

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-chun¹，CHEN Rong^1，2，ZHANG Wei-shi¹

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

摘要/Abstract

摘要： 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.

中图分类号:

TP311

贾志淳¹ ，陈荣^1，2，张维石¹. 航空订票业务的Web服务建模及组合兼容性验证[J]. 计算机工程与应用, 2010, 46(24): 237-242.

JIA Zhi-chun¹，CHEN Rong^1，2，ZHANG Wei-shi¹. Aeronautical booking process modeling for Web service and compositional compatibility verification[J]. Computer Engineering and Applications, 2010, 46(24): 237-242.

[1]	曾棕根. 源程序在线评测系统技术改进[J]. 计算机工程与应用, 2011, 47(4): 68-71.
[2]	覃遵跃¹，汤庸²，徐洪智¹，卓月明³. 一种新的XML文档更新计算[J]. 计算机工程与应用, 2011, 47(4): 121-123.
[3]	刘雨露¹，方　刚¹，唐曙光². 位序互补的空间关联规则挖掘算法[J]. 计算机工程与应用, 2011, 47(4): 134-137.
[4]	程转流^1，2，胡为成². 滑动窗口模型下的概率数据流聚类[J]. 计算机工程与应用, 2011, 47(4): 141-145.
[5]	王扶东，马玉芳. 基于数据挖掘的客户细分方法的研究[J]. 计算机工程与应用, 2011, 47(4): 215-218.
[6]	温国锋^1，2，陈立文¹. 已完建筑工程数据仓库的建立与应用研究[J]. 计算机工程与应用, 2011, 47(4): 245-248.
[7]	覃华，徐燕子. 用路径跟踪法和核距离矩阵优化大规模SVM[J]. 计算机工程与应用, 2011, 47(3): 160-162.
[8]	宁静¹，诸昌钤²，高品贤¹，林建辉³. EMD分解中端点数据的延长方法问题研究[J]. 计算机工程与应用, 2011, 47(3): 125-128.
[9]	张磊，李锐，陶亮. VC++快速实现一维离散Gabor变换软件的研究[J]. 计算机工程与应用, 2011, 47(3): 67-69.
[10]	曾敏，黄颖. 基于自学习控制算法优化软件测试用例的研究[J]. 计算机工程与应用, 2011, 47(3): 70-73.
[11]	付雅芳，刘晓东，李延杰. 基于改进FPA的软件规模估算方法[J]. 计算机工程与应用, 2011, 47(1): 22-25.
[12]	袁漪，田小林，夏绍玮. 关于能量比较的数字音频盲水印方案 [J]. 计算机工程与应用, 2011, 47(1): 131-134.
[13]	朱颖雯¹，吉根林²，孙勤红¹. 基于频繁子树模式的GML文档结构聚类算法[J]. 计算机工程与应用, 2011, 47(1): 144-146.
[14]	牟永敏，姜智荧，张志华. 面向C程序插装的路径提取[J]. 计算机工程与应用, 2011, 47(1): 67-69.
[15]	郑良¹，朱立谷¹，赵廷涛¹，易奇²，鄢楚平²，胡怀湘²，杨帆³. 存储虚拟化测评方法设计[J]. 计算机工程与应用, 2010, 46(36): 98-100.

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

Aeronautical booking process modeling for Web service and compositional compatibility verification

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics