Determination of interaction compatibility for WS-BPEL

• Article •

Determination of interaction compatibility for WS-BPEL

HU Qiang, DU Yu-yue,

1.Department of Information Science and Technology, Qingdao University of Science and Technology, Qingdao 266061 China;2.College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao 266510, China; 3.Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji University, Shanghai 200092, China

Online:2012-06-15 Published:2012-06-25

Web服务业务流程执行语言交互兼容性判定

胡强，杜玉越,

1.青岛科技大学信息科学与技术学院，山东青岛266061；2.山东科技大学信息科学与工程学院，山东青岛266510；3.同济大学嵌入式系统与服务计算教育部重点实验室，上海200092

Abstract

Abstract: 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.

Key words: Web service, interaction, compatibility, Petri nets, service net

摘要： 为验证两个Web服务业务流程执行语言描述的Web服务是否交互兼容，提出了一种基于Petri网对服务进行建模和交互兼容性判定的方法。基于Petri网模型定义了服务网，给出了WS-BPEL控制结构到服务网模型的映射规则，将服务之间的交互兼容性的判定转换为对服务组合网的接口匹配和结构属性的判定，提出了一种基于服务网路径进行服务交互兼容性判定的方法，并设计了相关算法。通过实例验证了该方法的有效性。

关键词: Web服务, 交互, 兼容性, Petri网, 服务网

CLC Number:

TP302

HU Qiang,, DU Yu-yue,. Determination of interaction compatibility for WS-BPEL[J]. .

胡强,，杜玉越,. Web服务业务流程执行语言交互兼容性判定[J]. .

[1]	. Deadlock detection method based on Petri net mining of program trajectory [J]. , 2021, 27(9): 2611-2624.
[2]	. Service dependency identification based on service network [J]. , 2021, 27(9): 2691-2700.
[3]	. Modeling and optimization of corridor allocation problem considering irregular logistics interaction points [J]. , 2021, 27(4): 1155-1166.
[4]	. Industrial safety control system and key technologies of digital twin system oriented to human-machine interaction [J]. , 2021, 27(2): 374-389.
[5]	. Dynamic decision-making of manufacturing resource based on digital twin [J]. , 2021, 27(2): 521-535.
[6]	. Customization method to massive network service based on requirement/service pattern [J]. , 2021, 27(12): 3659-3668.
[7]	. Interaction and production model of public opinion based on Agent's emotional persuasion [J]. , 2021, 27(1): 249-259.
[8]	. Evaluation of equipment layout in virtual cockpit based on flight operation process [J]. , 2020, 26(第3): 655-663.
[9]	. Modeling and simulation for enterprises' RFID adoption and internalization based on stochastic Petri nets [J]. , 2020, 26(第2): 470-480.
[10]	. Nonlinear dynamic analysis of mid-air gesture recognition [J]. , 2020, 26(8): 2116-2123.
[11]	. Updated model of word-of-mouth of emotional persuasion interaction based on Agent [J]. , 2020, 26(7): 1976-1985.
[12]	. Petri net-based hierarchical business process mining [J]. , 2020, 26(6): 1525-1537.
[13]	. Analyzing realizability of choreographies using Petri nets [J]. , 2020, 26(6): 1548-1556.
[14]	. Business alignments based on reachable graphs of Petri nets [J]. , 2020, 26(6): 1589-1606.
[15]	. Product services system configuration under perspective of supply-demand interaction [J]. , 2020, 26(5期): 1304-1313.