skip to main content
10.1145/1316550.1316551acmconferencesArticle/Chapter ViewAbstractPublication PagesfseConference Proceedingsconference-collections
Article

Formal modeling of BPEL workflows including fault and compensation handling

Published: 04 September 2007 Publication History

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.

References

[1]
T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawana. Business process execution language for web services version 1.1, 2003.
[2]
A. Balogh and D. Varró. Advanced model transformation language constructs in the VIATRA2 framework. In ACM Symposium on Applied Computing --- Model Transformation Track (SAC 2006), pages 1280--1287, Dijon, France, April 2006. ACM Press.
[3]
E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana. Web services description language 1.1.
[4]
H. Foster. A Rigorous Approach To Engineering Web Service Composition. PhD thesis, Imperial College London, 2006.
[5]
J. García-Fanjul, J. Tuya, and C. de la Riva. Generating test cases specifications for compositions of web services. In A. Bertolino and A. Polini, editors, in Proceedings of International Workshop on Web Services Modeling and Testing (WS-MaTe2006), pages 83--94, Palermo, Sicily, ITALY, June 9th 2006.
[6]
S. Hinz, K. Schmidt, and C. Stahl. Transforming BPEL to Petri Nets. In W. M. P. v. d. Aalst, B. Benatallah, F. Casati, and F. Curbera, editors, Proceedings of the Third International Conference on Business Process Management (BPM 2005), volume 3649 of Lecture Notes in Computer Science, pages 220--235, Nancy, France, Sept. 2005. Springer-Verlag.
[7]
C. W. Ke Xu, Ying Liu. Bpsl modeler - visual notation language for intuitive business property reasoning. In GT-VMT, pages 205--214, 2006.
[8]
M. Kovács and L. Gönczy. Simulation and formal analysis of workflow models. In GT-VMT, pages 215--224, 2006.
[9]
S. Nakajima. Model-checking behavioral specification of bpel applications. Electr. Notes Theor. Comput. Sci., 151(2):89--105, 2006.
[10]
C. Ouyang, E. Verbeek, W. M. P. van der Aalst, S. Breutel, M. Dumas, and A. H. M. ter Hofstede. WofBPEL: A tool for automated analysis of bpel processes. In ICSOC, pages 484--489, 2005.
[11]
K. Schmidt. Lola: A low level analyser. In ICATPN, pages 465--474, 2000.
[12]
W. van der Aalst and K. van Hee. Workflow Management Models, Methods, and Systems. The MIT Press, 2002.
[13]
Symbolic analysis laboratory. http://sal.csl.sri.com/.

Cited By

View all
  • (2016)Road to a reactive and incremental model transformation platformSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0530-415:3(609-629)Online publication date: 1-Jul-2016
  • (2013)A Fault-Tolerant Method for Enhancing Reliability of Services Composition Application in WSNs Based on BPELInternational Journal of Distributed Sensor Networks10.1155/2013/4936789:3(493678)Online publication date: Jan-2013
  • (2011)A Novel Web Services Composition Compensation Method Based on Extended Petri-NetAdvanced Materials Research10.4028/www.scientific.net/AMR.225-226.1084225-226(1084-1087)Online publication date: Apr-2011
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
EFTS '07: Proceedings of the 2007 workshop on Engineering fault tolerant systems
September 2007
62 pages
ISBN:9781595937254
DOI:10.1145/1316550
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 04 September 2007

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. business process
  2. compensation
  3. fault modeling
  4. model checking

Qualifiers

  • Article

Conference

ESEC/FSE07
Sponsor:

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 17 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2016)Road to a reactive and incremental model transformation platformSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0530-415:3(609-629)Online publication date: 1-Jul-2016
  • (2013)A Fault-Tolerant Method for Enhancing Reliability of Services Composition Application in WSNs Based on BPELInternational Journal of Distributed Sensor Networks10.1155/2013/4936789:3(493678)Online publication date: Jan-2013
  • (2011)A Novel Web Services Composition Compensation Method Based on Extended Petri-NetAdvanced Materials Research10.4028/www.scientific.net/AMR.225-226.1084225-226(1084-1087)Online publication date: Apr-2011
  • (2011)Task Dependency and Execution Analysis for Web Services CompositionApplied Mechanics and Materials10.4028/www.scientific.net/AMM.58-60.96358-60(963-967)Online publication date: Jun-2011
  • (2011)A survey of transactional issues for Web Service composition and recoveryInternational Journal of Web and Grid Services10.1504/IJWGS.2011.0447097:4(331-356)Online publication date: 1-Jan-2011
  • (2009)Dynamically Changing Workflows of Web ServicesProceedings of the 2009 Congress on Services - I10.1109/SERVICES-I.2009.85(422-429)Online publication date: 6-Jul-2009
  • (2009)Modeling and Analysis of the Execution Context in WS-BPEL2009 2nd International Conference on Computer Science and its Applications10.1109/CSA.2009.5404271(1-6)Online publication date: Dec-2009

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media