Applying model checking to BPEL4WS business collaborations

Proceedings of the ACM Symposium on Applied Computing

Volumn 1, Issue , 2005, Pages 826-830

  Fisteus, Jesús Arias ^a   Fernández, Luis Sánchez ^a   Kloos, Carlos Delgado ^a  

^a UNIVERSIDAD CARLOS III DE MADRID   (Spain)

Author keywords

BPEL4WS; Model checking; Web services

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; ECONOMICS; FAILURE ANALYSIS; INDUSTRIAL MANAGEMENT;

BPEL4WS; MODEL CHECKING; WEB SERVICES;

COMPUTER SUPPORTED COOPERATIVE WORK;

EID: 33644505764     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1066677.1066866     Document Type: Conference Paper

References (13)

1. W. M. P. Aalst. Woflan: A petri-net-based workflow analyzer. Systems Analysis - Modelling - Simulation, 35(3):345-357, 1999.
2. W. M. P. Aalst, A. ter Hofstede, B. Kiepuszewski, and A. Barros. Workflow patterns. Distributed and Parallel Databases, 14(3):5-51, July 2003.
3. S. Aissi, P. Malu, and K. Srinivasan. E-business process modeling: the next big step. IEEE Computer, 35(5):55-62, May 2002.
4. G. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services. Concepts, Architectures and Applications. Springer, 2004.
5. T. Andrews, F. Curbera, H. Dholakia, and et al. Business Process Execution Language for Web Services. Version 1.1 Specification, 2003.
6. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 1999.
7. H. Eshuis. Semantics and Verification of UML Activity Diagrams for Workflow Modelling. PhD thesis, University of Twente, 2002.
8. J. A. Fisteus, A. Marin, and C. Delgado. VERBUS: A Formal Model for Business Process Verification. In Proc. 2004 IRMA International Conference, New Orleans, USA, May 2004.
9. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based Verification of Web Service Compositions. In Proc. 18th IEEE International Conference on Automated Software Engineering, October 2003.
10. G. J. Holzmann. The Spin model checker. Addison-Wesley, 2003.
11. W. H. Jae-yoon Jung and S.-H. Kang. Business Process Choreography for B2B Collaboration. IEEE Internet Computing, 8(1):37-45, January 2004.
12. N. Kavantzas, D. Burdett, and G. Ritzinger. Web Services Choreography Description Language Version 1.0. W3C Working Draft 27 April, 2004.
13. S. Narayanan and S. McIlraith. Simulation, Verification and Automated Composition of Web Services. In Proc. 11th International World Wide Web Conference, Budapest, Hungary, May 2002.