PiFF: A Formal Framework for Dynamic Service Composition

摘要：

Service choreography and orchestration are twoviews of the service compositions. In order to select andcompose services correctly, some formal methods and tools areused to model and verify those compositions. Pi calculus is amajor theory of process algebra that can be used as the formalbasis of service composition. According to analysis result ofWS CDL and WS BPEL, PiFF-a formal verificationframework based on pi calculus is proposed which can be usedto check and validate service composition both from global andlocal point of views. PiFF constitutes of three parts: mapping,methods and tools. This framework can promise consistencybetween WS CDL and WS BPEL and guarantee developing ofdynamic service composition correctly by concept of weakbisimulation.

作者: Tan Hao Liu Jin-De Liao Jun

作者单位: College of Computer Science and Engineering, University of Electronic Science and Technology of Chin Department of Technology, China United Telecommunications Corporation, Beijing,100032 P.R.China

会议类型: 国际会议

会议名称: 2007年通信、电路与系统国际会议(2007 International Conference on Communications,Circuits and Systems Proceedings)

会议地点: 日本福冈

会议语种:英文

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