Verification of Web Services with Timed Automata

Electronic Notes in Theoretical Computer Science

Volumn 157, Issue 2 SPEC. ISS., 2006, Pages 19-34

  Diaz, Gregorio ^a   Pardo, Juan José ^a   Cambronero, María Emilia ^a   Valero, Valentín ^a   Cuartero, Fernando ^a  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

Formal Methods; Timed Automata; Web services

Indexed keywords

AUTOMATA THEORY; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; SYSTEMS ANALYSIS; XML;

FORMAL METHODS; TIMED AUTOMATA; WEB SERVICES DESCRIPTIONS;

WORLD WIDE WEB;

EID: 33646364321     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.12.042     Document Type: Article

References (16)

1. R. Alur and D. Dill. Automata for modeling real-time systems. In Proceedings of the 17th International Colloquium on Automata, Languages and Programming, volume 443, Editors. Springer-Verlag, 1990
2. Arkin A., et al. Web Service Choreography Interface (WSCI) 1.0. In. http://www.w3.org/TR/wsci/
3. Assaf Arkin, Sid Askary, Ben Bloch et al., Web Services Business Process Execution Language Version 2.0, Editors. OASIS December 2004. In http://www.oasis-open.org/committees/download.php/10347/wsbpel-specification-draft-120204.htm
4. Bozga M., Daws C., Maler O., Olivero A., Tripakis S., and Yovine S. Kronos: A model-checking tool for real-time systems. Proc. 1998 Computer-Aided Verification. CAV'98, Vancouver, Canada. Lecture Notes in Computer Science 1427 (June 1998), Springer-Verlag
5. Luc Clement, Andrew Hately, Claus von Riegen and Tony Rogers. UDDI Version 3.0.2, Editors. OASIS Open, 19 October 2004. In http://uddi.org/pubs/uddiv3.htm
6. G. Diaz, F. Cuartero, V. Valero and F. Pelayo. Automatic Verification of the TLS Handshake Protocol. In proceedings of the 2004 ACM Symposium on Applied Computing
7. G. Diaz, K.G. Larsen, J. Pardo, F. Cuartero and V. Valero. An approach to handle Real Time and Probabilistic behaviors in e-commerce: Validating the SET Protocol. In proceedings of the 2005 ACM Symposium on Applied Computing
8. Eurostat yearbook 2004. The statistical guide to Europe. Data 1992-2002. Europea Commission: EUROSTAT, Office for Official Publications of the European Communities, 2004
9. Marc Hadley, Noah Mendelsohn, Jean-Jacques Moreau et al.. SOAP Version 1.2 Part 1: Messaging Framework, Editors. World Wide Web Consortium, 24 June 2003. In http://www.w3.org/TR/soap12-part1
10. Heitmeyer C., and Mandrioli D. Formal Methods for Real-Time Computing (1996), John Wiley & Sons
11. Kavantzas N., et al. Web Service Choreography Description Language (WSCDL) 1.0. In. http://www.w3.org/TR/ws-cdl-10/
12. 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
13. Larsen K.G., Petterson P., and Yi W. Diagnostic Model-Checking for Real-Time Systems. Proc. of Workshop on Verification and Control of Hybrid Systems III. Lecture Notes in Computer Science vol. 1066 (1995) 575-586
14. Jean Paoli, Eve Maler, Tim Bray, et. al.Extensible Markup Language (XML) 1.0 (Third Edition), Editors. World Wide Web Consortium, 04 February 2004. In http://www.w3.org/TR/2004/REC-xml-20040204
15. Sanjiva Weerawarana, Roberto Chinnici, Martin Gudgin et al.. Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language, Editors. World Wide Web Consortium, 03 August 2004. In http://www.w3.org/TR/2004/WD-wsdl20
16. Simon Woodman, et al. Specification and Verification of Composite Web Services. In proocedings of The 8th Enterprise Distributed Object Computing Conference 2004