A state synchronization mechanism for orchestrated processes

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)
40 Downloads (Pure)


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 languageUndefined
Title of host publicationIEEE 16th International Enterprise Distributed Object Computing Conference (EDOC 2012)
EditorsCH. Chi, D Gasevic, J.W. van den Heuvel
Place of PublicationUSA
Number of pages10
ISBN (Print)978-1-4673-2444-1
Publication statusPublished - Sept 2012
Event16th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2012 - Beijing, China
Duration: 10 Sept 201214 Sept 2012
Conference number: 16

Publication series

PublisherIEEE Computer Society
ISSN (Print)1541-7719


Conference16th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2012
Abbreviated titleEDOC


  • SCS-Services
  • METIS-293194
  • IR-83412
  • EWI-22521

Cite this