Using UML Diagrams to Model Real-Time Web Services

In this paper we show how we can use a classical UML diagram, the sequence diagram, for the description of business process behavior based on Web services with time constraints. More specifically, we see how these diagrams can capture the main elements of the Web services business process execution language (WS-BPEL), and then, how we can translate these diagrams into Web services business process execution language.

[1]  Terry Quatrani,et al.  Visual modeling with rational Rose and UML , 1998, Addison-Wesley object technology series.

[2]  Valentín Valero,et al.  Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques , 2006, Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06).

[3]  Valentín Valero,et al.  Analysis and Verification of Time Requirements Applied to the Web Services Composition , 2006, WS-FM.

[4]  Valentín Valero,et al.  Verification of Web Services with Timed Automata , 2006, WWV.

[5]  T. D. Fletcher,et al.  Web Services Choreography Description Language Version 1.0, W3C , 2004 .

[6]  Valentín Valero,et al.  Automatic Translation of WS-CDL Choreographies to Timed Automata , 2005, EPEW/WS-FM.

[7]  Gregorio Díaz,et al.  RT-UML for modeling Real-Time Web Services , 2006, 2006 IEEE Services Computing Workshops.

[8]  James Clark,et al.  XSL Transformations (XSLT) Version 1.0 , 1999 .

[9]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[10]  Roy Grønmo,et al.  Web service composition in UML , 2004, Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004..

[11]  Scott W. Ambler,et al.  The Object Primer: Agile Model-Driven Development with UML 2.0 , 2004 .