标题：Determination of interaction compatibility for WS-BPEL
作者：Hu, Qiang ;Du, Yu-Yue
作者机构：[Hu, Qiang ] Department of Information Science and Technology, Qingdao University of Science and Technology, Qingdao 266061, China;[Du, Yu-Yue ] Key L 更多
来源：Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS
摘要：To verify whether two Web services described by Web service Business Process Execution Language (WS-BPEL) were interactively compatible, a method to model Web services and judge their interaction compatibility based on Petri net was proposed. A service net was defined to describe WS-BPEL based on Petri net, and the mapping rules between control structures of WS-BPEL and service net were presented. Determination of interaction compatibility for WS-BPEL was converted into judging the interface matching and structure properties of service net. Based on service net path, a decision theorem to judge interaction compatibility was put forward. The algorithm was designed and examples were given to demonstrate the efficiency of this method.