标题: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 更多
通讯作者:Hu, Q
来源:Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS
出版年:2012
卷:18
期:6
页码:1337-1343
摘要: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.
收录类别:EI
资源类型:期刊论文
TOP