Article

Automatic translation of WS-CDL choreographies to timed automata

Authors:

Juan-José Pardo,

María-Emilia Cambronero,

Valentín Valero,

Fernando CuarteroAuthors Info & Claims

EPEW'05/WS-FM'05: Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes

Pages 230 - 242

https://doi.org/10.1007/11549970_17

Published: 01 September 2005 Publication History

Abstract

In this paper we show how we can translate Web Services described by WS-CDL into a timed automata orchestration, and more specifically we are interested in Web services with time restrictions. Our starting point are Web Services descriptions written in WSBPEL- WSCDL (XML-based description languages). These descriptions are then automatically translated into timed automata, and then, we use a well known tool that supports this formalism (UPPAAL) to simulate and analyse the system behaviour. As illustration we take a particular case study, an airline ticket reservation system.

References

[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.

Digital Library

[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/wsbpelspecification-draft-120204.htm

[3]

M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis and S. Yovine, Kronos: A model-checking tool for real-time systems, In Proc. 1998 Computer-Aided Verification, CAV'98, Vancouver, Canada, June 1998. Lecture Notes in Computer Science 1427, Springer-Verlag.

Digital Library

[4]

Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro and Roberto Gorrieri, Web Services for E-commerce: guaranteeing security access and quality of service, In Proc. of the 19th ACM Symposium on Applied Computing (SAC'04), special track on E-Commerce Technologies, ACM Press, 2004.

Digital Library

[5]

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.

Digital Library

[6]

Edmund M. Clarke and Jr. and Orna Grumberg and Doron A. Peled, Model Checking, MIT Press, 1999.

Digital Library

[7]

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/uddi v3.htm.

[8]

Francisco Curbera et al. Business Process Execution Language for Web Services, Version 1.0. In http://xml.coverpages.org/WS-BPELv10.pdf.

[9]

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.

Digital Library

[10]

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.

Digital Library

[11]

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.

[12]

Eurostat yearbook 2004. The statistical guide to Europe. Data 1992-2002. European Commission: EUROSTAT, Office for Official Publications of the European Communities, 2004.

[13]

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.

[14]

Constance Heitmeyer and Dino Mandrioli. Formal Methods for Real-Time Computing. John Wiley & Sons. 1996.

Digital Library

[15]

Nickolas Kavantzas et al. Web Service Choreography Description Language (WSCDL) 1.0. In http://www.w3.org/TR/ws-cdl-10/.

[16]

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.

[17]

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.

[18]

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/2002/ws/desc/.

[19]

Simon Woodman, et al., Specification and Verification of Composite Web Services, In proocedings of The 8th Enterprise Distributed Object Computing Conference 2004.

Digital Library

Cited By

Sulistyo S(2013)Software development methods in the internet of thingsProceedings of the 2013 international conference on Information and Communication Technology10.1007/978-3-642-36818-9_6(50-59)Online publication date: 25-Mar-2013
https://dl.acm.org/doi/10.1007/978-3-642-36818-9_6
Wang YChen H(2012)Extension on Transactional Remote Services in SOFLStructured Object-Oriented Formal Language and Method10.1007/978-3-642-39277-1_10(133-147)Online publication date: 13-Nov-2012
https://dl.acm.org/doi/10.1007/978-3-642-39277-1_10
Zhang GDi HRong MShi H(2011)Specification and verification of data and time in web service compositionProceedings of the 2011 international conference on Web information systems and mining - Volume Part II10.5555/2045753.2045815(436-443)Online publication date: 24-Sep-2011
https://dl.acm.org/doi/10.5555/2045753.2045815
Show More Cited By

Index Terms

Automatic translation of WS-CDL choreographies to timed automata
1. Information systems
  1. World Wide Web
    1. Web applications

Recommendations

A Comparative Study between WSCI, WS-CDL, and OWL-S
ICEBE '09: Proceedings of the 2009 IEEE International Conference on e-Business Engineering

Choreography languages allow us to describe Web Services compositions from a global viewpoint in Service Oriented Architectures (SOA). However, none of the existing languages has achieved the status of de facto standard for that purpose until now. In ...
A model checker for WS-CDL

Service computing is becoming the prominent paradigm for distributed computing and electronic businesses. It enables developers to rapidly create their own software to meet the demands of their business processes, by composing existing services, ...
WS-CDL+ for web service collaboration

Web services are becoming the prominent paradigm for distributing, computing, and electronic business, while there is an increasing surge to provide online Business-to-Business collaborations. The Web Services Choreography Description Language (WS-CDL) ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

EPEW'05/WS-FM'05: Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes

September 2005

349 pages

ISBN:3540287019

Editors:
Mario Bravetti
University of Bologna
,
Leïla Kloul
PRiSM, Université de Versailles, 45, Av. des Etats-Unis, Versailles
,
Gianluigi Zavattaro
Dip. Scienze dell'Informazione, Università di Bologna, Université de Versailles, 45, Av. des Etats-Unis, Versailles, Italy

Sponsors

CNRS: Centre National De La Rechercue Scientifique
Laboratoire PRiSM: Laboratoire PRiSM
Université de Versailles Saint-Quentin-en-Yvelines: Université de Versailles Saint-Quentin-en-Yvelines

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 September 2005

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Sulistyo S(2013)Software development methods in the internet of thingsProceedings of the 2013 international conference on Information and Communication Technology10.1007/978-3-642-36818-9_6(50-59)Online publication date: 25-Mar-2013
https://dl.acm.org/doi/10.1007/978-3-642-36818-9_6
Wang YChen H(2012)Extension on Transactional Remote Services in SOFLStructured Object-Oriented Formal Language and Method10.1007/978-3-642-39277-1_10(133-147)Online publication date: 13-Nov-2012
https://dl.acm.org/doi/10.1007/978-3-642-39277-1_10
Zhang GDi HRong MShi H(2011)Specification and verification of data and time in web service compositionProceedings of the 2011 international conference on Web information systems and mining - Volume Part II10.5555/2045753.2045815(436-443)Online publication date: 24-Sep-2011
https://dl.acm.org/doi/10.5555/2045753.2045815
Sulistyo SPrinz A(2011)PMG-ProProceedings of the 15th international conference on Integrating System and Software Modeling10.1007/978-3-642-25264-8_12(138-153)Online publication date: 5-Jul-2011
https://dl.acm.org/doi/10.1007/978-3-642-25264-8_12
Čaušević ASeceleanu CPettersson P(2010)Modeling and reasoning about service behaviors and their compositionsProceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II10.5555/1939345.1939361(82-96)Online publication date: 18-Oct-2010
https://dl.acm.org/doi/10.5555/1939345.1939361
Bertoli PFerrari LKazhamiakin RMoiso CPistore MThuegaz E(2009)Design and Analysis of the Composed Telecom ServicesService-Oriented Computing - ICSOC 2007 Workshops10.1007/978-3-540-93851-4_28(282-294)Online publication date: 14-Jan-2009
https://dl.acm.org/doi/10.1007/978-3-540-93851-4_28
Lu YZhang LSun JWainwright RHaddad H(2008)Towards trace semantics for WS-CDL with alignmentsProceedings of the 2008 ACM symposium on Applied computing10.1145/1363686.1363713(95-99)Online publication date: 16-Mar-2008
https://dl.acm.org/doi/10.1145/1363686.1363713
Meng SArbab F(2007)On resource-sensitive timed component connectorsProceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems10.5555/1772150.1772176(301-316)Online publication date: 6-Jun-2007
https://dl.acm.org/doi/10.5555/1772150.1772176
Cambronero MPardo JDíaz GValero VCho YWainwright RHaddad HShin SKoo Y(2007)Using RT-UML for modelling web servicesProceedings of the 2007 ACM symposium on Applied computing10.1145/1244002.1244150(643-648)Online publication date: 11-Mar-2007
https://dl.acm.org/doi/10.1145/1244002.1244150
Meng SArbab FCho YWainwright RHaddad HShin SKoo Y(2007)Web services choreography and orchestration in Reo and constraint automataProceedings of the 2007 ACM symposium on Applied computing10.1145/1244002.1244085(346-353)Online publication date: 11-Mar-2007
https://dl.acm.org/doi/10.1145/1244002.1244085

View Options

View options

Media

Figures

Other

Tables

View Table of Contents