Title :
A State Synchronization Mechanism for Orchestrated Processes
Author :
Wang, Lei ; Wombacher, Andreas ; Pires, Luís Ferreira ; Van Sinderen, Marten J. ; Chi, Chihung
Author_Institution :
Centre for Telematics & Inf. Technol., Univ. of Twente, Enschede, Netherlands
Abstract :
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.
Keywords :
Petri nets; electronic data interchange; message passing; system recovery; colored Petri nets; formal proof; messages loss; network failure; orchestrated processes; process transformations; server crash; service interaction patterns; state change; state inconsistencies; state synchronization mechanism; system failure; worst case deadlocks; Business; Computer crashes; Fires; Petri nets; Process control; Servers; Synchronization; Orchestrated Processes; Service Interaction Patterns; State Synchronzation;
Conference_Titel :
Enterprise Distributed Object Computing Conference (EDOC), 2012 IEEE 16th International
Conference_Location :
Beijing
Print_ISBN :
978-1-4673-2444-1
DOI :
10.1109/EDOC.2012.16