Formal modeling of BPEL workflows including fault and compensation handling

Máté Kovács, D. Varró, László Gönczy

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Citations (Scopus)

Abstract

Electronically executed business processes are frequently implemented using the Business Process Execution Language (BPEL). These workflows may be in control of crucial business processes of an organization, in the same time existing model checking approaches are still immature i.e. they either seem to loose to much information during the generation of the analysis model, or the state space explosion prevents from model checking. We present a formal modeling technique for BPEL workflows including fault and compensation handling providing exact semantics with a state space size that allows for model checking. Additionally, error propagation among variables is supported so the effect of a faulty activity on the entire process can be examined.

Original languageEnglish
Title of host publicationProceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS '07
DOIs
Publication statusPublished - 2007
Event2007 Workshop on Engineering Fault Tolerant Systems, EFTS '07 - Dubrovnik, Croatia
Duration: Sep 4 2007Sep 4 2007

Other

Other2007 Workshop on Engineering Fault Tolerant Systems, EFTS '07
CountryCroatia
CityDubrovnik
Period9/4/079/4/07

Fingerprint

Model checking
Industry
Explosions
Semantics
Compensation and Redress

Keywords

  • Business process
  • Compensation
  • Fault modeling
  • Model checking

ASJC Scopus subject areas

  • Computer Science Applications
  • Hardware and Architecture
  • Software

Cite this

Kovács, M., Varró, D., & Gönczy, L. (2007). Formal modeling of BPEL workflows including fault and compensation handling. In Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS '07 https://doi.org/10.1145/1316550.1316551

Formal modeling of BPEL workflows including fault and compensation handling. / Kovács, Máté; Varró, D.; Gönczy, László.

Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS '07. 2007.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Kovács, M, Varró, D & Gönczy, L 2007, Formal modeling of BPEL workflows including fault and compensation handling. in Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS '07. 2007 Workshop on Engineering Fault Tolerant Systems, EFTS '07, Dubrovnik, Croatia, 9/4/07. https://doi.org/10.1145/1316550.1316551
Kovács M, Varró D, Gönczy L. Formal modeling of BPEL workflows including fault and compensation handling. In Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS '07. 2007 https://doi.org/10.1145/1316550.1316551
Kovács, Máté ; Varró, D. ; Gönczy, László. / Formal modeling of BPEL workflows including fault and compensation handling. Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS '07. 2007.
@inproceedings{cf751204543d499e9a18fe7788f54cb0,
title = "Formal modeling of BPEL workflows including fault and compensation handling",
abstract = "Electronically executed business processes are frequently implemented using the Business Process Execution Language (BPEL). These workflows may be in control of crucial business processes of an organization, in the same time existing model checking approaches are still immature i.e. they either seem to loose to much information during the generation of the analysis model, or the state space explosion prevents from model checking. We present a formal modeling technique for BPEL workflows including fault and compensation handling providing exact semantics with a state space size that allows for model checking. Additionally, error propagation among variables is supported so the effect of a faulty activity on the entire process can be examined.",
keywords = "Business process, Compensation, Fault modeling, Model checking",
author = "M{\'a}t{\'e} Kov{\'a}cs and D. Varr{\'o} and L{\'a}szl{\'o} G{\"o}nczy",
year = "2007",
doi = "10.1145/1316550.1316551",
language = "English",
isbn = "9781595937254",
booktitle = "Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS '07",

}

TY - GEN

T1 - Formal modeling of BPEL workflows including fault and compensation handling

AU - Kovács, Máté

AU - Varró, D.

AU - Gönczy, László

PY - 2007

Y1 - 2007

N2 - Electronically executed business processes are frequently implemented using the Business Process Execution Language (BPEL). These workflows may be in control of crucial business processes of an organization, in the same time existing model checking approaches are still immature i.e. they either seem to loose to much information during the generation of the analysis model, or the state space explosion prevents from model checking. We present a formal modeling technique for BPEL workflows including fault and compensation handling providing exact semantics with a state space size that allows for model checking. Additionally, error propagation among variables is supported so the effect of a faulty activity on the entire process can be examined.

AB - Electronically executed business processes are frequently implemented using the Business Process Execution Language (BPEL). These workflows may be in control of crucial business processes of an organization, in the same time existing model checking approaches are still immature i.e. they either seem to loose to much information during the generation of the analysis model, or the state space explosion prevents from model checking. We present a formal modeling technique for BPEL workflows including fault and compensation handling providing exact semantics with a state space size that allows for model checking. Additionally, error propagation among variables is supported so the effect of a faulty activity on the entire process can be examined.

KW - Business process

KW - Compensation

KW - Fault modeling

KW - Model checking

UR - http://www.scopus.com/inward/record.url?scp=77950506589&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77950506589&partnerID=8YFLogxK

U2 - 10.1145/1316550.1316551

DO - 10.1145/1316550.1316551

M3 - Conference contribution

SN - 9781595937254

BT - Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS '07

ER -