Automata semantics and analysis of BPEL

Proceedings of the 2007 Inaugural IEEE-IES Digital EcoSystems and Technologies Conference, DEST 2007

Volumn , Issue , 2007, Pages 147-152

  Zheng, Yongyan ^a   Krause, Paul ^a  

^a UNIVERSITY OF SURREY   (United Kingdom)

Author keywords

BPEL; Design model analysis; Finite state machine; Web service

Indexed keywords

DATA HANDLING; FINITE AUTOMATA; FORMAL LANGUAGES; SEMANTICS;

DESIGN MODEL ANALYSIS; FORMAL MODEL REQUIREMENTS; FORMAL MODELS; WEB SERVICE LANGUAGES;

WEB SERVICES;

EID: 34748867818     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DEST.2007.371961     Document Type: Conference Paper

References (14)

1. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, S. Thatte, and S. Weerawarana. Business process execution language for web services version 1.1. May 2003.
2. A. Cimatti, E. M. Clarke, F. Giunchiglia, and M. Roveri, "Nusmv:a new symbolic model verifier," in Proc. of CAV. Springer-Verlag, 1999. p. 495.
3. Digital Business Ecosystems (DBE)., available: http://www.digital- ecosystem.org.
4. A. Ferrara, "Web services:a process algebra approach," in Proc. Of ICSOC. ACM Press, 2004, p. 242.
5. H. Foster, S. Uchitel, J. Magee, and J. Kramer, "Model-based analysis of obligations in web service choreography," in Proc. of AICT-ICIW. IEEE Computer Society, 2006, p. 149.
6. X. Fu. T. Bultan, and J. Su, "Synchronizability of conversations among web services," IEEE Transactions on Software Engineering, vol. 31, no. 12, pp. 1042-1055, 2005.
7. G. J. Holzmann, The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, 2003.
8. R. Hull and J. Su, "Tools for design of composite web services," in Proc. of SIGMOD. ACM Press, 2004, p. 958.
9. N. Kavantzas, D. Burdett, and G. Ritzinger. Web services choreography description language version 1.0. April 2004.
10. N. Milanovic and M. Malek, "Current solutions for web service composition," IEEE Internet Computing, vol. 08, no. 6, pp. 51-59, 2004.
11. A. Wombacher, P. Fankhauser, and E. Neuhold, "Transforming bpel into annotated deterministic finite state automata for service discovery," in Proc. of ICWS. IEEE Computer Society, 2004, p. 316.
12. K. Xu, Y. Liu, and G. Pu, "Formalization, verification and restructuring of bpel models with pi calculus and model checking," IBM, Technical Rep., 2006.
13. Y. Zheng and P. Krause, "An automatic test generation framework for bpel web services," University of Surrey, Technical Rep., 2006.
14. Y. Zheng and P. Krause, "A model checking based test case generation framework for web services," in Proc. of ITNG. IEEE Computer Society, 2007.