A collaborative processes synchronization method with regard to system crashes and network failures

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

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


Processes can synchronize their states by exchanging messages. System crashes and network failures may cause message loss, so that state changes of a process may remain unnoticed by its partner processes, resulting in state inconsistency or deadlocks. In this paper we define a method to transform a business process into its recovery-enabled counterpart. We also discuss the correctness proof of the transformation, and the performance evaluation of our prototype implementation. In our previous work, we presented solutions to these synchronization problems that were based on rather strong assumptions. For example, specific failure patterns or interaction patterns (one client instance interacts with one server instance) were assumed. In this paper, the solution is extended to multiple process instances with more possible synchronization failures.
Original languageUndefined
Title of host publication29th Symposium on Applied Computing, SAC 2014
Place of PublicationNew York
PublisherAssociation for Computing Machinery
Number of pages6
ISBN (Print)978-1-4503-2469-4
Publication statusPublished - 2014
Event29th Annual ACM Symposium on Applied Computing, SAC 2014 - Gyeongju, Korea, Republic of
Duration: 24 Mar 201428 Mar 2014
Conference number: 29

Publication series



Conference29th Annual ACM Symposium on Applied Computing, SAC 2014
Abbreviated titleSAC
Country/TerritoryKorea, Republic of


  • EWI-25660
  • SCS-Services
  • Recovery
  • IR-93924
  • Business Process
  • Service interaction
  • METIS-309869
  • State synchronization

Cite this