Mapping WS-CDL and BPEL into CSP for behavioural specification and verification of Web services

Proceedings of ECOWS 2006: Fourth European Conference on Web Services

Volumn , Issue , 2006, Pages 297-305

  Yeung, W L ^a  

^a LINGNAN UNIVERSITY   (Hong Kong)

Author keywords

Business process execution language; Choreography description language; CSP; Formal methods; Model checking

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SUPPORTED COOPERATIVE WORK; FORMAL METHODS; MODEL CHECKING;

BUSINESS PROCESS EXECUTION LANGUAGE; CHOREOGRAPHY DESCRIPTION LANGUAGE;

WEB SERVICES;

EID: 38649089793     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECOWS.2006.26     Document Type: Conference Paper

References (18)

1. T. Andrews et al. Business process execution language for web services version 1.1. Technical report, IBM, BEA Systems, Microsoft, SAP AG, Siebel Systems, 2003.
2. A. Barros, M. Dumas, and P. Oaks. A critical overview of the web services choreography description language (WS-CDL). BPTrends, 2005.
3. A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo. Formalizing web service choreographies. Electr. Notes Theor. Comput. Sci., 105:73-94, 2004.
4. W. M. P. V. der Aalst et al. Life after BPEL. In Proceedings International Workshop on Web Services and Formal Methods (WS-FM), pages 35-50, 2005.
5. E. W. Dijkstra. A Discipline of Programming. Prentice Hall, 1976.
6. Formal Systems (Europe) Ltd. Failures-Divergence Refinement: FDR2 User Manual, 2003.
7. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Tool support for model-based engineering of web service compositions. In Proc. IEEE International Conference on Web Services, 2005.
8. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based analysis of obligations in web service choreography. In Proc. IEEE International Conference on Internet & Web Applications and Services 2006, Guadeloupe, French Caribbean, 2006.
9. X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In Proc. WWW2004, 2004.
10. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
11. N. Kavantzas, D. Burdett, and G. Ritzinger. Web services choreography description language version 1.0. http://www.w3.org/TR/2004/WD-ws-cdl-10- 20040427/, 2004.
12. R. S. Lazić and A. W. Roscoe. Data independence with generalised predicate symbols. In Proc. of the International Conference on Parallel and Distributed Processing Techniques and Applications, volume I, pages 319-325. CSREA Press, 1999.
13. J. Mendling and M. Hafner. From inter-organizational work-flows to process execution: Generating BPEL from WS-CDL. In Proc. OTM 2005, 2005.
14. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
15. R. Milner. Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, 1999.
16. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998.
17. G. Salaun, L. Bordeaux, and M. Schaerf. Describing and reasoning on web services using process algebra. In Proc. IEEE International Conference on Web Services (ICWS'04), 2004.
18. W. L. Yeung, J. Wang, and W. Dong. Verifying choreographic descriptions of web services based on CSP. In Proc. Modeling, Design and Analysis for Service Oriented Architecture Workshop, Chicago, USA, 2006.