Automatic generation of correct Web Services choreographies and orchestrations with model checking techniques

Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services, AICT/ICIW'06

Volumn 2006, Issue , 2006, Pages 186-

  Díaz, Gregorio ^a   Cambronero, M Emilia ^a   Pardo, Juan J ^a   Valero, Valentín ^a   Cuartero, Fernando ^a  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; CONSTRAINT THEORY; INFORMATION MANAGEMENT; INTERNET; MATHEMATICAL MODELS; WIRELESS TELECOMMUNICATION SYSTEMS;

CHOREOGRAPHIES; UNIFICATION; WEB SERVICES;

WORLD WIDE WEB;

EID: 33749046889     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AICT-ICIW.2006.53     Document Type: Conference Paper

References (10)

1. R. Alur and D. Dill, Automata for modeling realtime systems, In Proceedings of the 17th International Colloquium on Automata, Languages and Programming, volume 443, Editors. Springer-Verlag, 1990.
2. Assaf Arkin, Sid Askary, Ben Bloch, et. al, Web Services Business Process Execution Language Version 2.0, Editors. OASIS Open, December 2004. In http://www.oasis-open.org/committees/download.php/10347/ wsbpel-specification-draft-120204.htm.
3. Mario Bravetti, Claudio Guidi, Roberto Lucchi and Gianluigi Zavattaro , Supporting E-commerce system formalization with Choreography Languages, In Proc. of the 20th ACM Symposium on Applied Computing (SAC'05), special track on E-Commerce Technologies , ACM Press, 2005.
4. Edmund M. Clarke and Jr. and Orna Grumberg and Doron A. Peled, Model Checking, MIT Press, 1999.
5. G. Diaz, J. J. Pardo, M. E. Cambronero, V. Valero and F. Cuartero, Verification of Web Services with Timed Autoamata, In proceedings of First International Workshop on Automated Specification and Verification of Web Sites, Valencia, March 2005.
6. G. Diaz, J. J. Pardo, M. E. Cambronero, V. Valero and F. Cuartero, Automatic Translation of WS-CDL Choreographies to Timed Automata, In proceedings of WS-FM, 2005.
7. Constance Heitmeyer and Dino Mandrioli. Formal Methods for Real-Time Computing. John Wiley & Sons. 1996.
8. Nickolas Kavantzas et al. Web Service Choreography Description Language (WSCDL) 1.0. In http://www.w3.org/TR/ws-cdl-10/.
9. K. Larsen and P. Pettersson and Wang Yi, UPPAAL in a Nutshell, Int. Journal on Software Tools for Technology Transfer, Editors. Springer-Verlag vol.1, 1997.
10. Simon Woodman, et al, Specification and Verification of Composite Web Services, In proceedings of The 8th Enterprise Distributed Object Computing Conference 2004.