Aeronautical booking process modeling for Web service and compositional compatibility verification

doi:10.3778/j.issn.1002-8331.2010.24.069

Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (24): 237-242.DOI: 10.3778/j.issn.1002-8331.2010.24.069

• 工程与应用 • Previous Articles Next Articles

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

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

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

1.大连海事大学信息科学技术学院，辽宁大连 116026
2.吉林大学符号计算与知识工程教育部重点实验室，长春 130012

通讯作者: 贾志淳

Abstract

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.

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

CLC Number:

TP311

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，2，张维石¹. 航空订票业务的Web服务建模及组合兼容性验证[J]. 计算机工程与应用, 2010, 46(24): 237-242.

[1]	ZENG Zonggen. Source code online judge system technological improvements [J]. Computer Engineering and Applications, 2011, 47(4): 68-71.
[2]	QIN Zunyue¹，TANG Yong²，XU Hongzhi¹，ZHUO Yueming³. Novel updating computation for XML document [J]. Computer Engineering and Applications, 2011, 47(4): 121-123.
[3]	LIU Yulu¹，FANG Gang¹，TANG Shuguang². Algorithm of spatial association rules mining based on complementary location order [J]. Computer Engineering and Applications, 2011, 47(4): 134-137.
[4]	CHENG Zhuanliu^1，2，HU Weicheng². Clustering for probabilistic data stream over sliding windows [J]. Computer Engineering and Applications, 2011, 47(4): 141-145.
[5]	WANG Fudong，MA Yufang. Research of method for customer segment based on data mining [J]. Computer Engineering and Applications, 2011, 47(4): 215-218.
[6]	WEN Guofeng^1，2，CHEN Liwen¹. Building and application of data warehouse of completed construction projects [J]. Computer Engineering and Applications, 2011, 47(4): 245-248.
[7]	QIN Hua，XU Yanzi. Optimization of large-scale SVM using path following method & kernel distance matrix [J]. Computer Engineering and Applications, 2011, 47(3): 160-162.
[8]	NING Jing¹，ZHU Changqian²，GAO Pinxian¹，LIN Jianhui³. Research on extending end data in empirical mode decomposition [J]. Computer Engineering and Applications, 2011, 47(3): 125-128.
[9]	ZHANG Lei，LI Rui，TAO Liang. Software program design for 1-D fast Gabor transform based on Visual C++ [J]. Computer Engineering and Applications, 2011, 47(3): 67-69.
[10]	ZENG Min，HUANG Ying. Research on optimal software testing case based on self learning control algorithm [J]. Computer Engineering and Applications, 2011, 47(3): 70-73.
[11]	FU Yafang，LIU Xiaodong，LI Yanjie. Software size estimation method based on improved FPA [J]. Computer Engineering and Applications, 2011, 47(1): 22-25.
[12]	YUAN Yi，TIAN Xiaolin，XIA Shaowei. Blind audio digital watermarking method based on power comparison [J]. Computer Engineering and Applications, 2011, 47(1): 131-134.
[13]	ZHU Yingwen¹，JI Genlin²，SUN Qinhong¹. GML document structural clustering algorithm based on frequent subtree patterns [J]. Computer Engineering and Applications, 2011, 47(1): 144-146.
[14]	MU Yongmin，JIANG Zhiying，ZHANG Zhihua. Path extraction based on C program instrumentation [J]. Computer Engineering and Applications, 2011, 47(1): 67-69.
[15]	ZHENG Liang¹，ZHU Li-gu¹，ZHAO Ting-tao¹，YI Qi²，YAN Chu-ping²，HU Huai-xiang²，YANG Fan³. Design of evaluation method of storage virtualization [J]. Computer Engineering and Applications, 2010, 46(36): 98-100.

Aeronautical booking process modeling for Web service and compositional compatibility verification

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics