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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/EDOC.2012.16 | EDOC |
Keywords | Field | DocType |
server crash,orchestrated processes,messages loss,colored petri nets,state synchronzation,petri nets,system failure,state inconsistency,own state,original process,state synchronization-enabled counterpart,service interaction patterns,guaranteed state synchronization,system recovery,electronic data interchange,state synchronization mechanism,transformation mechanism,state inconsistencies,state change,worst case deadlocks,message passing,network failure,formal proof,process transformation,process transformations,servers,synchronization,business,process control | Synchronization,Petri net,Electronic data interchange,Computer science,Deadlock,Server,Correctness,Message passing,Formal proof,Distributed computing | Conference |
ISSN | ISBN | Citations |
1541-7719 | 978-1-4673-2444-1 | 4 |
PageRank | References | Authors |
0.47 | 11 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Lei Wang | 1 | 15 | 2.10 |
Andreas Wombacher | 2 | 884 | 66.90 |
Luis Ferreira Pires | 3 | 116 | 11.69 |
Marten J. van Sinderen | 4 | 165 | 14.72 |
Chi-Hung Chi | 5 | 746 | 110.27 |