Compatibility Verification of Web Service Composition Based on Pi-calculus

摘要：

　　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.

关键词： Behavior Compatibility Interactive Behavior Pi-calculus Web Service Composition

作者: Zhichun JIA Xing XING

作者单位: College of Information Science and Technology, Bohai University, Jinzhou 121013, China College of Information Science and Technology, Bohai University, Jinzhou 121013, China;School of Ast

会议类型: 国际会议

会议名称: 2015 Joint International Mechanical,Electronic and Information Technology Conference(JIMET 2015)(2015 联合国际机械,电子与信息技术国际会议)

会议地点: 重庆

会议语种:英文

页码: 244-248

在线出版日期: 2015-12-18（万方平台首次上网日期，不代表论文的发表时间）