skip to main content
10.1145/1244002.1244150acmconferencesArticle/Chapter ViewAbstractPublication PagessacConference Proceedingsconference-collections
Article

Using RT-UML for modelling web services

Published: 11 March 2007 Publication History

Abstract

RT-UML is a UML Profile for modeling Real Time Systems, which can be used in particular to describe Web Services Orchestration with time constraints. For that purpose, we can use a classical UML diagram, namely, the sequence diagram. Our goal in this paper is the design of Web Services with time restriction by using RT-UML. We introduce a translation of the main elements of RT-UML into Web Services Business Process Execution Language.

References

[1]
Jean Paoli, Eve Maler, and et. al. Tim Bray. Extensible markup language (xml) 1.0 (third edition), 2004. http://www.w3.org/TR/2004/REC-xml-20040204.
[2]
Luc Clement, Andrew Hately, Claus von Riegen, and Tony Rogers. Uddi version 3.0.2, 2004. http://uddi.org/pubs/uddi_v3.htm.
[3]
Marc Hadley, Noah Mendelsohn, and et. al Jean-Jacques Moreau. Soap version 1.2 part 1: Messaging framework, 2003. http://www.w3.org/TR/soap12-part1.
[4]
Sanjiva Weerawarana, Roberto Chinnici, and et. al. Martin Gudgin. Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language, 2004. http://www.w3.org/TR/2004/WD-wsdl20.
[5]
Assaf Arkin, Sid Askary, and et. al. Ben Bloch. Web Services Business Process Execution Language Version 2.0, December 2004. http://www.oasisopen.org/committees/download.php/10347/wsbpel-specification-draft-120204.htm.
[6]
Nickolas Kavantzas et al. Web Service Choreography Description Language (WSCDL) 1.0. http://www.w3.org/TR/ws-cdl-10/.
[7]
G. Diaz, M. E. Cambronero, M. LL. Tobrarra, V. Valero, and F. Cuartero. Analysis and Verification of Time Requirements Applied to the Web Services Composition. In Proceedings of WS-FM, Viena, Lecture Notes in Computer Science, pages 178--192. Springer, September 2006.
[8]
G. Diaz, M. E. Cambronero, J. J. Pardo, V. Valero, and F. Cuartero. Automatic Generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques. In Proceedings of International Conference on Internet and Web Applications and Services ICIW'06. IEEE Press.
[9]
G. Diaz, J. J. Pardo, M. E. Cambronero, V. Valero, and F. Cuartero. Verification of Web Services with Timed Automata. In Proceedings of First International Workshop on Automated Specification and Verification of Web Sites, Electronic Notes in Theoretical Computer Science.
[10]
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, Versalles, Lecture Notes in Computer Science, pages 230--242. Springer, September 2005.
[11]
Kim Guldstrand Larsen, Paul Pettersson, and Wang Yi. UPPAAL in a Nutshell. International Journal on Software Tools for Technology Transfer, 1(1--2):134--152, 1997.
[12]
Keith Mantell. From UML to BPEL, September 2003. http://www-106.ibm.com/developerworks/webservices/library/ws-uml2bpel.
[13]
David Skogan, Roy Grønmo, and Ida Solheim. Web service composition in uml. In EDOC, pages 47--57, 2004.
[14]
OMG. UML 2.0 Superstructure proposal v.2.0., January 2003.
[15]
UML Profile for Schedulability, Performance, and Time Specification, Version 1.1. In http://www.omg.org/docs/smsc/04-12-05.pdf.
[16]
David Frankel. Model Driven Architecture: Applying MDA to Enterprise Computing. John Wiley & Sons, Inc., New York, NY, USA, 2002.
[17]
James Clark. XSL Transformations (XSLT) Version 1.0. Technical Report REC-xml-19980210, W3C, 1998. http://www.w3.org/TR/xslt.
[18]
Artisan tool 6.0. Artisan Real Time Studio, 2001.

Cited By

View all
  • (2018)Service Modelling and Verification: A Formal ApproachWebservices10.1007/978-981-13-3224-1_1(1-23)Online publication date: 1-Dec-2018
  • (2012)An Integrated Framework for Web Services OrchestrationInnovations, Standards and Practices of Web Services10.4018/978-1-61350-104-7.ch014(306-335)Online publication date: 2012
  • (2009)An Integrated Framework for Web Services OrchestrationInternational Journal of Web Services Research10.4018/jwsr.20090713016:4(1-29)Online publication date: 1-Oct-2009

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SAC '07: Proceedings of the 2007 ACM symposium on Applied computing
March 2007
1688 pages
ISBN:1595934804
DOI:10.1145/1244002
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 March 2007

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. RT-UML
  2. WS-BPEL
  3. modeling
  4. transformation rules
  5. web services

Qualifiers

  • Article

Conference

SAC07
Sponsor:

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25
The 40th ACM/SIGAPP Symposium on Applied Computing
March 31 - April 4, 2025
Catania , Italy

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 12 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2018)Service Modelling and Verification: A Formal ApproachWebservices10.1007/978-981-13-3224-1_1(1-23)Online publication date: 1-Dec-2018
  • (2012)An Integrated Framework for Web Services OrchestrationInnovations, Standards and Practices of Web Services10.4018/978-1-61350-104-7.ch014(306-335)Online publication date: 2012
  • (2009)An Integrated Framework for Web Services OrchestrationInternational Journal of Web Services Research10.4018/jwsr.20090713016:4(1-29)Online publication date: 1-Oct-2009

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media