Skip to main content
SpringerLink
Log in

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

  • Regular Paper
  • Published:
Software & Systems Modeling Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Abdalla, M., Khendek, F., Butler, G.: New results on deriving SDL specification from MSCs. In: Proceedings of SDL Forum’99, Montreal (1999)

  2. Apvrille L., Courtiat J.-P., Lohr C., de Saqui-Sannes P.: TURTLE: a real-time UML profile supported by a formal validation toolkit. IEEE Trans. Softw. Eng. 30(7) (2004)

  3. Born, M., Holz, E., Kath, O.: A Method for the design and development of distributed applications using UML, TOOLS-Pacific, Sydney (2000)

  4. Clarck R.G., Moreira A.M.D.(2000). Use of E-LOTOS in adding formality to UML. J. Univers. Comput. Sci. 6(11): 1071–1087

    Google Scholar 

  5. Courtiat J.-P., Santos C.A.S., Lohr C., Outtaj B.(2000). Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. Comput Commun 23(12): 1104–1123

    Article  Google Scholar 

  6. Douglass, B.P.: Real-time UML Tutorial, OMG real-time and embedded distributed object computing workshop, Arlington (2002)

  7. Espinosa, J.M., Nabuco, O., Drira, K.: A UML model for session management in collaborative design for space activities. In: 8th European concurrent engineering conference (ECEC’2001), Valence (Espagne), pp. 170–174 (2001)

  8. Gerard S., Terrier F., Tanguy Y.(2002). Using the model paradigm for real-time systems development: ACCORD/UML In: Bruel J.-M., Bellahsene Z. (eds) Proceedings of the advances in object-oriented information systems, OOIS Workshops, LNCS 2426, pp. 260–269

  9. Gomaa, H.: Designing concurrent, distributed and real-time systems with UML, Addison Wesley, Reading. ISBN 0201657937 (2000)

  10. Haugen, O.: Comparing UML 2.0 Interactions and MSC-2000. In: SDL and MSC Workshop, (SAM’04), Ottawa 1–4 June 2004

  11. Huget, M.-P.: Extending agent UML protocol diagrams. In: Agent Oriented Software Engineering (AOSE-02), Giunchiglia, F., Odell, J., Weiss, G. (eds.) Bologna (2002)

  12. Jaragh, M., Saleh, K.A.: Modeling communications protocols using the unified modeling language, TENCON’2000. Intelligent Systems and Technologies for the New Millenium, Kuala Lumpur, Malaysia (2000)

  13. Jard, C., Jézéquel, J.-M., Pennaneach, F.: Towards using protocol validation tools in UML (in French). Techn Sci Inf 15(11), 1–15 (1998)

  14. Jürjens, J.: UMLsec: extending UML for secure systems development. UML 2002, Dresden, LNCS 2460, 30 September–4 October 2002

  15. Kavi, K., Kung, D.C., Bhaambhani, H., Pancholi, G., Kanikarla, M., Sah, R.: Extending UML to modeling and design of multi-agent systems. In: Workshop on Software Engineering for Large Multi-Agents Systems, associated with ICSE’ (2003)

  16. Kronos. http://www-verimag.imag.fr/TEMPORISE/kronos

  17. Lind, J.: Specifying agent interaction protocols with standard UML. In: 2nd International Workshop on Agent-Oriented Software Engineering (AOSE), LNCS 2222 (2001)

  18. Lohr, C.: Contribution to real-time system specification relying on the RT-LOTOS formal description technique (in French). Ph.D. Thesis, Institut National Polytechnique de Toulouse (2002)

  19. ITU-T, Message Sequence Charts: MSC-2000, Z.120, Geneva (1999)

  20. Object Management Group: Unified modeling language specification, version 1.5. http://www.omg.org/docs/formal/03-03-01.pdf, 2003

  21. Object Management Group: UML 2.0 Superstructure Specification. http://www.omg.org/docs/ptc/03-08-02.pdf

  22. Roullet, L.: SAGAM Demonstrator of a G.E.O. Satellite multimedia access system: architecture and integrated resource manager. In: European conference on satellite communication, Toulouse (1999)

  23. Selic, B.: A UML profile for modeling complex real-time architectures. http://www.omg.org/news/meetings/workshops /presentations/realtime2001/6-3%20Selic.presentation.pdf.

  24. Siu, I.W., Guo, Z.S.: The secure communication protocol for electronic ticket management system, University of Macau (2001)

  25. Verilog: ObjectGeode, Toulouse, France (1999)

  26. Wei, J., Cheung, S.C., Wang, X.: Exploiting automatic analysis of E-commerce protocols. 25th annual computer software and application conference, Chicago (2001)

  27. Zheng T., Khendek F.(2003). Time consistency of MSC-2000 specifications. Computer Networks, Elsevier 42(3): 303–322

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire LabSoC, GET/ENST, 2229 route des Crêtes, B.P. 193, 06904, Sophia-Antipolis Cedex, France

    Ludovic Apvrille

  2. Department DMI, ENSICA, 1 place Emile Blouin, 31056, Toulouse Cedex 05, France

    Pierre de Saqui-Sannes

  3. Electrical and Computer Engineering Department, Concordia University, 1455 de Maisonneuve W., Montreal, QC, H3G 1M8, Canada

    Ferhat Khendek

Authors
  1. Ludovic Apvrille
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pierre de Saqui-Sannes
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ferhat Khendek
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ludovic Apvrille.

Additional information

Communicated by Jan Juerjens.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Apvrille, L., de Saqui-Sannes, P. & Khendek, F. TURTLE-P: a UML profile for the formal validation of critical and distributed systems. Softw Syst Model 5, 449–466 (2006). https://doi.org/10.1007/s10270-006-0029-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10270-006-0029-5

Keywords

Search

Navigation