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

doi:10.1145/2554850.2554980

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

Databases (Former)

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

7 Downloads (Pure)

Abstract

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 language	Undefined
Title of host publication	29th Symposium on Applied Computing, SAC 2014
Place of Publication	New York
Publisher	Association for Computing Machinery
Pages	1393-1398
Number of pages	6
ISBN (Print)	978-1-4503-2469-4
DOIs	https://doi.org/10.1145/2554850.2554980
Publication status	Published - 2014
Event	29th Annual ACM Symposium on Applied Computing, SAC 2014 - Gyeongju, Korea, Republic of Duration: 24 Mar 2014 → 28 Mar 2014 Conference number: 29

Publication series

Name
Publisher	ACM

Conference

Conference	29th Annual ACM Symposium on Applied Computing, SAC 2014
Abbreviated title	SAC
Country/Territory	Korea, Republic of
City	Gyeongju
Period	24/03/14 → 28/03/14

Keywords

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

Access to Document

10.1145/2554850.2554980

http://eprints.eemcs.utwente.nl/secure2/25660/01/p1393-wang.pdf

Cite this

@inproceedings{ff9f4c86543e43dc9db54bfb5aab8ad9,

title = "A collaborative processes synchronization method with regard to system crashes and network failures",

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

keywords = "EWI-25660, SCS-Services, Recovery, WS-BPEL, IR-93924, Business Process, Service interaction, METIS-309869, State synchronization",

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

note = "eemcs-eprint-25660 ; 29th Annual ACM Symposium on Applied Computing, SAC 2014 ; Conference date: 24-03-2014 Through 28-03-2014",

year = "2014",

doi = "10.1145/2554850.2554980",

language = "Undefined",

isbn = "978-1-4503-2469-4",

publisher = "Association for Computing Machinery",

pages = "1393--1398",

booktitle = "29th Symposium on Applied Computing, SAC 2014",

address = "United States",

}

Wang, L, Wombacher, A, Ferreira Pires, L , van Sinderen, MJ & Chi, C 2014, A collaborative processes synchronization method with regard to system crashes and network failures. in 29th Symposium on Applied Computing, SAC 2014. Association for Computing Machinery, New York, pp. 1393-1398, 29th Annual ACM Symposium on Applied Computing, SAC 2014, Gyeongju, Korea, Republic of, 24/03/14. https://doi.org/10.1145/2554850.2554980

A collaborative processes synchronization method with regard to system crashes and network failures. / Wang, Lei; Wombacher, Andreas; Ferreira Pires, Luis et al.
29th Symposium on Applied Computing, SAC 2014. New York: Association for Computing Machinery, 2014. p. 1393-1398.

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

TY - GEN

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

AU - Wang, Lei

AU - Wombacher, Andreas

AU - Ferreira Pires, Luis

AU - van Sinderen, Marten J.

AU - Chi, Chihung

N1 - Conference code: 29

PY - 2014

Y1 - 2014

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

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

KW - EWI-25660

KW - SCS-Services

KW - Recovery

KW - WS-BPEL

KW - IR-93924

KW - Business Process

KW - Service interaction

KW - METIS-309869

KW - State synchronization

U2 - 10.1145/2554850.2554980

DO - 10.1145/2554850.2554980

M3 - Conference contribution

SN - 978-1-4503-2469-4

SP - 1393

EP - 1398

BT - 29th Symposium on Applied Computing, SAC 2014

PB - Association for Computing Machinery

CY - New York

T2 - 29th Annual ACM Symposium on Applied Computing, SAC 2014

Y2 - 24 March 2014 through 28 March 2014

ER -