Home // SERVICE COMPUTATION 2015, The Seventh International Conferences on Advanced Service Computing // View article
Authors:
Lei Wang
Andreas Wombacher
Marten van Sinderen
Luís Pires
Chi-Hung Chi
Keywords: robust, collaborative processes, WS-BPEL, interactions, system crash, network failure, automata
Abstract:
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 WS-BPEL. 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.
Pages: 27 to 34
Copyright: Copyright (c) IARIA, 2015
Publication date: March 22, 2015
Published in: conference
ISSN: 2308-3549
ISBN: 978-1-61208-387-2
Location: Nice, France
Dates: from March 22, 2015 to March 27, 2015