Compatibility Verification of Web Service Composition Based on Pi-calculus

被引:0
作者
Jia, Zhichun [1 ]
Xing, Xing [1 ,2 ]
机构
[1] Bohai Univ, Coll Informat Sci & Technol, Jinzhou 121013, Peoples R China
[2] Harbin Inst Technol, Sch Astronaut, Harbin 150001, Peoples R China
来源
PROCEEDINGS OF THE 2015 JOINT INTERNATIONAL MECHANICAL, ELECTRONIC AND INFORMATION TECHNOLOGY CONFERENCE (JIMET 2015) | 2015年 / 10卷
关键词
Behavior Compatibility; Interactive Behavior; Pi-calculus; Web Service Composition;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
With the rapid development of web services, service computing is evolving into an important computing paradigm. One of the challenges in this evolution is how to ensure the correction of service composition. To verify the compatibility of composite service, we use pi-calculus to model the composite service process and present the related concepts and theorem of composition compatibility. Moreover, we propose an automate method to generate the process expression for increasing the verification efficiency.
引用
收藏
页码:244 / 248
页数:5
相关论文
共 8 条
[1]  
[Anonymous], RES AUTOMATIC SERVIC
[2]   Timed Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets [J].
Du, Yanhua ;
Tan, Wei ;
Zhou, MengChu .
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2014, 11 (02) :594-606
[3]   Synchronizability of conversations among Web services [J].
Fu, X ;
Bultan, T ;
Su, JW .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2005, 31 (12) :1042-1055
[4]  
Liu J., 2013, J COMPUTATIONAL INFO, V9, P1759
[5]  
Marwaha P., 2013, INT J WEB SEMANTIC T, V4, P11
[6]  
Mateescu R., 2013, P 19 INT C TOOLS ALG
[7]  
Sangiorgi D., 2003, The pi-calculus: a Theory of Mobile Pro- cesses
[8]  
Yun B., 2013, TELKOMNIKA INDONESIA, V11, P4385