Formal modeling of BPEL workflows including fault and compensation handling

Authors:
Máté Kovács;Dániel Varró;László Gönczy
Affiliations:
Budapest University of Technology and Economics, Budapest, Hungary;Budapest University of Technology and Economics, Budapest, Hungary;OptXware Research & Development LLC, Budapest, Hungary
Venue:
Proceedings of the 2007 workshop on Engineering fault tolerant systems
Year:
2007

Citing 6
Cited 0

Workflow management: models, methods, and systems

Workflow management: models, methods, and systems
Advanced model transformation language constructs in the VIATRA2 framework

Proceedings of the 2006 ACM symposium on Applied computing
Model-Checking Behavioral Specification of BPEL Applications

Electronic Notes in Theoretical Computer Science (ENTCS)
LoLA: a low level analyser

ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
WofBPEL: a tool for automated analysis of BPEL processes

ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Transforming BPEL to petri nets

BPM'05 Proceedings of the 3rd international conference on Business Process Management

Quantified Score

Hi-index	0.00

Visualization

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.