Using RT-UML for modelling web services

Authors:
M. Emilia Cambronero;J. José Pardo;Gregorio Díaz;Valentín Valero
Affiliations:
Universidad de Castilla-La Mancha, Spain;Universidad de Castilla-La Mancha, Spain;Universidad de Castilla-La Mancha, Spain;Universidad de Castilla-La Mancha, Spain
Venue:
Proceedings of the 2007 ACM symposium on Applied computing
Year:
2007

Citing 5
Cited 0

Model Driven Architecture: Applying MDA to Enterprise Computing

Model Driven Architecture: Applying MDA to Enterprise Computing
Web Service Composition in UML

EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques

AICT-ICIW '06 Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services
Automatic translation of WS-CDL choreographies to timed automata

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
Analysis and verification of time requirements applied to the web services composition

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

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.