TURTLE-P: a UML profile for the formal validation of critical and distributed systems

The timed UML and RT-LOTOS environment, or TURTLE for short, extends UML class and activity diagrams with composition and temporal operators. TURTLE is a real-time UML profile with a formal semantics expressed in RT-LOTOS. Further, it is supported by a formal validation toolkit. This paper introduces TURTLE-P, an extended profile no longer restricted to the abstract modeling of distributed systems. Indeed, TURTLE-P addresses the concrete descriptions of communication architectures, including quality of service parameters (delay, jitter, etc.). This new profile enables co-design of hardware and software components with extended UML component and deployment diagrams. Properties of these diagrams can be evaluated and/or validated thanks to the formal semantics given in RT-LOTOS. The application of TURTLE-P is illustrated with a telecommunication satellite system.

[1]  Jürgen Lind.  Specifying Agent Interaction Protocols with Standard UML , 2001, AOSE.

[2]  Ana Moreira,et al.  Use of E-LOTOS in Adding Formality to UML , 2000, J. Univers. Comput. Sci..

[3]  D. Kung,et al.  Extending UML to Modeling and Design of Multi-Agent Systems , 2002 .

[4]  Laurent Roullet,et al.  Geostationary satellite for multimedia access (SAGAM) - System architecture and satellite resource management , 2000 .

[5]  Ferhat Khendek,et al.  Time consistency of MSC-2000 specifications , 2003, Comput. Networks.

[6]  Ludovic Apvrille,et al.  TURTLE: a real-time UML profile supported by a formal validation toolkit , 2004, IEEE Transactions on Software Engineering.

[7]  Wang Xu,et al.  Exploiting automatic analysis of e-commerce protocols , 2001 .

[8]  Sébastien Gérard,et al.  Using the Model Paradigm for Real-Time Systems Development: ACCORD/UML , 2002, OOIS Workshops.

[9]  Øystein Haugen,et al.  Comparing UML 2.0 Interactions and MSC-2000 , 2004, SAM.

[10]  Gregory Butler,et al.  New results on deriving SDL specifications from MSCs , 1999, SDL Forum.

[11]  Khalil Drira,et al.  A UML Model for Session Management in Collaborative Design for Space Activities , 2001 .

[12]  Hassan Gomaa,et al.  Designing concurrent, distributed, and real-time applications with UML , 2000, ICSE.

[13]  Marc Born,et al.  A method for the design and development of distributed applications using UML , 2000, Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000.

[14]  Celso A. S. Santos,et al.  Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique , 2000, Comput. Commun..

[15]  Aose,et al.  Agent-Oriented Software Engineering III: Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions , 2003 .

[16]  Shing-Chi Cheung,et al.  Exploiting automatic analysis of e-commerce protocols , 2001, 25th Annual International Computer Software and Applications Conference. COMPSAC 2001.

[17]  Bran Selic.  Using UML to Model Complex Real-Time Architectures , 2001, OMER.

[18]  Jan Jürjens,et al.  UMLsec: Extending UML for Secure Systems Development , 2002, UML.

[19]  M. Jaragh,et al.  Modeling communications protocols using the Unified Modeling Language , 2000, 2000 TENCON Proceedings. Intelligent Systems and Technologies for the New Millennium (Cat. No.00CH37119).