Formal modeling of BPEL workflows including fault and compensation handling

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

Volumn , Issue , 2007, Pages

  Kovács, Máté ^a   Varró, Dániel ^a   Gönczy, László ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

Business process; Compensation; Fault modeling; Model checking

Indexed keywords

ANALYSIS MODELS; BUSINESS PROCESS; BUSINESS PROCESS EXECUTION LANGUAGE; COMPENSATION; COMPENSATION HANDLING; ERROR PROPAGATION; FAULT MODELING; FORMAL MODELING; IN-CONTROL; STATE SPACE; STATE-SPACE EXPLOSION; WORK-FLOWS;

COMPUTATION THEORY; FAULT TOLERANT COMPUTER SYSTEMS; MANAGEMENT; TECHNICAL PRESENTATIONS;

MODEL CHECKING;

EID: 77950506589     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1316550.1316551     Document Type: Conference Paper

References (13)

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. Varŕo. 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. (Pubitemid 44758991)
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. Garć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́acs 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. (Pubitemid 43767027)
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/.