Robust interactions under system crashes and network failures of collaborative processes with arbitrary control flows

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

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

6 Citations (Scopus)


Due to the possibility of system crashes and network failures, the design of robust interactions for collaborative business processes is a challenge. If a process changes state, it sends messages to other relevant processes to inform them about this change. However, server crashes and network failures may result in a loss of messages. In this case, the state change is performed by only one process, resulting in global state/behavior inconsistencies and possibly deadlocks. Our idea to solve this problem is to (automatically) transform the original processes into their robust counterparts. We illustrate our solution using a subset of WSBPEL. A WS-BPEL process is modeled using a so called Nested Word Automata (NWA), to which we apply our transformation solution and on which we perform correctness proof. We have also analyzed the performance of our prototype implementation. In our previous work, we assumed that a certain pre-defined interaction follows the failed interaction. In this work, we lift this limitation by allowing an arbitrary behavior to follow the failed interaction, making our solution more generally applicable.
Original languageUndefined
Title of host publicationSeventh International Conference on Advanced Service Computing, Service Computation 2015
Place of PublicationNice
Number of pages8
ISBN (Print)978-1-61208-387-2
Publication statusPublished - 2015

Publication series

ISSN (Print)2308-3549


  • SCS-Services
  • EWI-26237
  • System crash
  • Collaborative process
  • IR-97047
  • Network failure
  • Interaction
  • Robust
  • METIS-312703
  • Automata

Cite this