A state synchronization mechanism for orchestrated processes

Lei Wang; Andreas Wombacher; Luis Ferreira Pires; Marten J. van Sinderen; Chihung Chi

doi:10.1109/EDOC.2012.16

A state synchronization mechanism for orchestrated processes

Lei Wang, Andreas Wombacher, Luis Ferreira Pires, Marten J. van Sinderen, Chihung Chi

Databases (Former)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

5 Citations (Scopus)

20 Downloads (Pure)

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

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	https://doi.org/10.1109/EDOC.2012.16
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

Wang, L., Wombacher, A., Ferreira Pires, L., van Sinderen, M. J., & Chi, C. (2012). A state synchronization mechanism for orchestrated processes. In CH. Chi, D. Gasevic, & J. W. van den Heuvel (Eds.), IEEE 16th International Enterprise Distributed Object Computing Conference (EDOC 2012) (pp. 51-60). USA: IEEE Computer Society. https://doi.org/10.1109/EDOC.2012.16

@inproceedings{4e35a3da8cab47d792a3dd6ed71ecce0,

title = "A state synchronization mechanism for orchestrated processes",

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 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.",

keywords = "SCS-Services, METIS-293194, IR-83412, EWI-22521",

author = "Lei Wang and Andreas Wombacher and {Ferreira Pires}, Luis and {van Sinderen}, {Marten J.} and Chihung Chi",

note = "eemcs-eprint-22521",

year = "2012",

month = "9",

doi = "10.1109/EDOC.2012.16",

language = "Undefined",

isbn = "978-1-4673-2444-1",

publisher = "IEEE Computer Society",

pages = "51--60",

editor = "CH. Chi and D Gasevic and {van den Heuvel}, J.W.",

booktitle = "IEEE 16th International Enterprise Distributed Object Computing Conference (EDOC 2012)",

address = "United States",

}

Wang, L, Wombacher, A, Ferreira Pires, L , van Sinderen, MJ & Chi, C 2012, A state synchronization mechanism for orchestrated processes. in CH Chi, D Gasevic & JW van den Heuvel (eds), IEEE 16th International Enterprise Distributed Object Computing Conference (EDOC 2012). IEEE Computer Society, USA, pp. 51-60, 16th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2012, Beijing, China, 10/09/12. https://doi.org/10.1109/EDOC.2012.16

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 -

Access to Document

10.1109/EDOC.2012.16

06337272
open