New Operators for the TURTLE Real-Time UML Profile

  • Christophe Lohr
  • Ludovic Apvrille
  • Pierre de Saqui-Sannes
  • Jean-Pierre Courtiat
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2884)


In a previous paper, we defined TURTLE, a Timed UML and RT-LOTOS Environment which includes a real-time UML profile with a formal semantics given in terms of translation to RT-LOTOS, and a model validation approach based on the RTL toolset. This paper presents an enhanced TURTLE with new composition operators (Invocation, Periodic, Suspend / Resume) and suspendable temporal operators which makes it possible to model scheduling constraints of real-time systems. The proposed extension is formalized in terms of translation to native TURTLE. Thus, we preserve the possibility to use RTL to check a real-time system model against logical and timing errors. A case study illustrates the use of the new operators.


Composition Operator Class Diagram Formal Semantic Activity Diagram Object Management Group 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Apvrille, L., de Saqui-Sannes, P., Lohr, C., Sénac, P., Courtiat, J.-P.: A New UML Profile for Real-time System Formal Design and Validation. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, p. 287. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  2. 2.
    Apvrille, L.: Contribution to Dynamic Reconfiguration of Embedded Real-Time Software: Application to a Satellite Telecommunication Environment, Ph.D. dissertation (June 2002) (in French)Google Scholar
  3. 3.
    Apvrille, L., de Saqui-Sannes, P., Khendek, F.: TURTLE-P: a UML Profile for Distributed architecture Validation (submitted for publication) (in French)Google Scholar
  4. 4.
    Courtiat, J.-P., Santos, C.A.S., Lohr, C., Outtaj, B.: Experience with RT-LOTOS, a Temporal Extension of the LOTOS Formal Description Technique. Computer Communications 23(12), 1104–1123 (2000)CrossRefGoogle Scholar
  5. 5.
    Lohr, C.: Contribution to Real-Time System Specification Relying on the Formal Description Technique RT-LOTOS. Ph.D. dissertation (December 2002) (in French)Google Scholar
  6. 6.
    Hernalsteen, C.: Specification, Validation and Verification of Real-Time Systems in ETLOTOS. Ph.D. thesis, Université Libre de Bruxelles, Belgium (1998)Google Scholar
  7. 7.
    Object management Group: Unified Modeling Language Specification, Version 1.4 (2001),
  8. 8.
    Object Management Group: UML Profile for Scheduling, Performance, and Time, Draft Specification,
  9. 9.
    Real-time LOTOS,
  10. 10.
    Terrier, F., Gérard, S.: Real Time System Modeling with UML: Current Status and Some Prospects. In: Proceedings of the 2nd Workshop of the SDL Forum society on SDL and MSC, SAM 2000, Grenoble, France (2000)Google Scholar
  11. 11.
  12. 12.
    Baldonado, M., Chang, C.-C.K., Gravano, L., Paepcke, A.: UML 2.0. The Stanford Digital Library Metadata Architecture. Int. J. Digit. Libr. 1, 108–121 (1997),

Copyright information

© IFIP International Federation for Information Processing 2003

Authors and Affiliations

  • Christophe Lohr
    • 1
  • Ludovic Apvrille
    • 2
  • Pierre de Saqui-Sannes
    • 1
    • 3
  • Jean-Pierre Courtiat
    • 1
  1. 1.LAAS-CNRSToulouse Cedex 04France
  2. 2.ECE departmentConcordia UniversityMontrealCanada
  3. 3.ENSICAToulouse Cedex 05France

Personalised recommendations