Abstract
| Original language | Undefined |
|---|---|
| Title of host publication | IEEE 16th International Enterprise Distributed Object Computing Conference (EDOC 2012) |
| Editors | CH. Chi, D Gasevic, J.W. van den Heuvel |
| Place of Publication | USA |
| Publisher | IEEE Computer Society |
| Pages | 51-60 |
| Number of pages | 10 |
| ISBN (Print) | 978-1-4673-2444-1 |
| DOIs | |
| Publication status | Published - Sep 2012 |
| Event | 16th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2012 - Beijing, China Duration: 10 Sep 2012 → 14 Sep 2012 Conference number: 16 |
Publication series
| Name | |
|---|---|
| Publisher | IEEE Computer Society |
| ISSN (Print) | 1541-7719 |
Conference
| Conference | 16th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2012 |
|---|---|
| Abbreviated title | EDOC |
| Country | China |
| City | Beijing |
| Period | 10/09/12 → 14/09/12 |
Keywords
- SCS-Services
- METIS-293194
- IR-83412
- EWI-22521
Cite this
}
A state synchronization mechanism for orchestrated processes. / Wang, Lei; Wombacher, Andreas; Ferreira Pires, Luis; van Sinderen, Marten J.; Chi, Chihung.
IEEE 16th International Enterprise Distributed Object Computing Conference (EDOC 2012). ed. / CH. Chi; D Gasevic; J.W. van den Heuvel. USA : IEEE Computer Society, 2012. p. 51-60.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
TY - GEN
T1 - A state synchronization mechanism for orchestrated processes
AU - Wang, Lei
AU - Wombacher, Andreas
AU - Ferreira Pires, Luis
AU - van Sinderen, Marten J.
AU - Chi, Chihung
N1 - eemcs-eprint-22521
PY - 2012/9
Y1 - 2012/9
N2 - 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 synchronizationenabled 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.
AB - 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 synchronizationenabled 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.
KW - SCS-Services
KW - METIS-293194
KW - IR-83412
KW - EWI-22521
U2 - 10.1109/EDOC.2012.16
DO - 10.1109/EDOC.2012.16
M3 - Conference contribution
SN - 978-1-4673-2444-1
SP - 51
EP - 60
BT - IEEE 16th International Enterprise Distributed Object Computing Conference (EDOC 2012)
A2 - Chi, CH.
A2 - Gasevic, D
A2 - van den Heuvel, J.W.
PB - IEEE Computer Society
CY - USA
ER -