A State Synchronization Mechanism for Orchestrated Processes

被引：6

作者：

Wang, Lei ^{[1
]}

Wombacher, Andreas ^{[1
]}

Pires, Luis Ferreira ^{[1
]}

van Sinderen, Marten J. ^{[1
]}

Chi, Chihung ^{[2
]}

机构：

[1] Univ Twente, Ctr Telemat & Informat Technol, Enschede, Netherlands

[2] Tsinghua Univ, Sch Software, Beijing, Peoples R China

来源：

2012 IEEE 16TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE (EDOC) | 2012年

关键词：

Orchestrated Processes; State Synchronzation; Service Interaction Patterns;

D O I：

10.1109/EDOC.2012.16

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Two orchestrated processes interacting with each other have to maintain their own states. Messages are used to synchronize states between orchestrated processes. Server crash and network failure may result in loss of messages and therefore result in a state change performed by only one party. Thus, the states of the parties are no longer synchronized, resulting in state inconsistencies and in worst case deadlocks. In this paper, we propose a mechanism for guaranteed state synchronization of orchestrated processes with system and network failures. Our mechanism is based on interaction patterns and process transformations. The basic idea is to redesign the original processes into their state synchronization-enabled counterparts via process transformations that can be automated. The transformation mechanism is formalized based on Colored Petri Nets. We present the formal proof of the correctness of our mechanism and give the overhead analysis to illustrate its practicability.

引用

页码：51 / 60

页数：10

共 23 条

[1]

[Anonymous], 2007, WEB SERVICES BUSINES

[2]

Apache ODE Team, AP ODE BPEL ENG

[3]

Banks A., 2002, TECH REP

[4]

Barros A., 2005, FITTR200502 QUEENSL

[5]

Cavallaro L, 2009, LECT NOTES COMPUT SC, V5900, P159, DOI 10.1007/978-3-642-10383-4_11

[6] A Plug-in Architecture for Self-Adaptive Web Service Compositions [J].

Charfi, Anis ;

Dinkelaker, Tom ;

Mezini, Mira .

2009 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, VOLS 1 AND 2, 2009, :35-+

[7] Dynamic Service Substitution in Service-Oriented Architectures [J].

Fredj, Mane ;

Georgantas, Nikolaos ;

Issarny, Valerie ;

Zarras, Apostolos .

IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS, 2008, :101-104

[8]

Hinz S, 2005, LECT NOTES COMPUT SC, V3649, P220, DOI 10.1007/11538394_15

[9]

Hopcroft J.E., 2006, Introduction to Automata Theory, Languages, and Computation, V3rd

[10]

Iwasa K., 2004, WEB SERVICES RELIABL

← 1 2 3 →