RT-UML for modeling real-time web services

Proceedings - SCW 2006: IEEE Services Computing Workshops

Volumn , Issue , 2006, Pages 131-139

  Cambronera, M Emilia ^a   Díaz, Gregorio ^a   Pardo, J José ^a   Valero, Valentín ^a   Pelayo, Fernando L ^a  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; CONSTRAINT THEORY; REAL TIME SYSTEMS; WEB SERVICES;

DESCRIPTION LANGUAGE SPECIFICATIONS; REAL TIME WEB SERVICES; TIME CONSTRAINTS; WEB SERVICES CHOREOGRAPHIES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 34548773775     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCW.2006.35     Document Type: Conference Paper

References (21)

1. Nickolas Kavantzas et al. Web Service Choreography Description Language (WSCDL) 1.0. http://www.w3.org/TR/ws-cdl-10/.
2. 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/WDwsdl20.
3. OMG. UML 2.0 Superstructure proposal v.2.0., January 2003.
4. UML Profile for Schedulability, Performance, and Time Specification, Version 1.1. December 2004. In http://www.omg.org/docs/smsc/04-12-05.pdf.
5. Nickolas Kavantzas, David Burdett, Gregory Ritzinger, Tony Fletcher, and Yves Lafon. Web Services Choreography Description Language Version 1.0. World Wide Web Consortium, 2004. http://www.w3.org/TR/2004/WD-ws-cdl10-20041217/.
6. David Frankel. Model Driven Architecture: Applying MDA to Enterprise Computing. John Wiley & Sons, Inc., New York, NY, USA, 2002.
7. Roger S. Pressman. Software Engineering: A Practitioner's Approach. McGraw-Hill, 1994.
8. David Skogan, Roy Gronmo, and Ida Solheim. Web Service Composition in UML. In EDOC '04: Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International (EDOC'04), pages 47-57, Washington, DC, USA, 2004. IEEE Computer Society.
9. 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/wsbpelspecification-draft-120204.htm.
10. Roy Gronmo, David Skogan, Ida Solheim, and Jon Oldevik. Model-driven web services development. In EEE '04: Proceedings of the 2004 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'04), pages 42-45, Washington, DC, USA, 2004. IEEE Computer Society.
11. Kim G. Larsen, Paul Pettersson, and Wang Yi. UPPAAL: Status and Developments. Number 1254, pages 456-459. LNCS, Springer-Verlag, June 1997.
12. Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, Yi Wang, and Carsten Weise. New Generation of UPPAAL. In Int. Workshop on Software Tools for Technology Transfer,June 1998.
13. 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.
14. 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, Valencia, 2005.
15. 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,France, September 2005.
16. 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, Guadeloupe, French Caribbean, 2006.
17. W3C. XPath 1.0. XML path language (XPath): Version 1.0. http://www.w3.org/TR/xpath.html.
18. Object Management Group. XML Metadata Interchange (XMI). Technical Report ad/98-10-05, Object Management Group, February 1998.
19. Artisan. Artisan Real Time Studio, 2001.
20. SINTEF. UML Model Transformation tool (UMT), 0.8 ed: SINTEF ICT, 2004.
21. James Clark. XSL Transformations (XSLT) Version 1.0. Technical Report REC-xml-19980210, W3C, 1998. http://www.w3.org/TR/xslt.