Skip to main content
SpringerLink
Log in

Clock constraint specification language: specifying clock constraints with UML/MARTE

  • Original Paper
  • Published:
Innovations in Systems and Software Engineering Aims and scope Submit manuscript

Abstract

The Object Management Group (OMG) unified modeling language (UML) profile for modeling and analysis of real-time and embedded systems (MARTE) aims at using the general-purpose modeling language UML in the domain of real-time and embedded (RTE) systems. To achieve this goal, it is absolutely required to introduce inside the mainly untimed UML an unambiguous time structure which MARTE model elements can rely on to build precise models amenable to formal analysis. The MARTE Time model has defined such a structure. We have also defined a non-normative concrete syntax called the clock constraint specification language (CCSL) to demonstrate what can be done based on this structure. This paper gives a brief overview of this syntax and its formal semantics, and shows how existing UML model elements can be used to apply this syntax in a graphical way and benefit from the semantics.

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. André C, Mallet F (2008) Clock constraints in UML/MARTE. Research Report 6540, INRIA. http://hal.inria.fr/inria-00280941/en/

  2. André C, Mallet F, de Simone R (2007) Modeling time(s). In: Engels G, Opdyke B, Schmidt DC, Weil F (eds) MoDELS, Lecture Notes Comput Sci, vol 4735. Springer, Berlin, pp 559–573

  3. Benveniste A, Caspi P, Edwards SA, Halbwachs N, Le Guernic P, de Simone R (2003) The synchronous languages twelve years later. Proc IEEE 91(1)

  4. Lee EA, Sangiovanni-Vincentelli AL (1998) A framework for comparing models of computation. IEEE Trans Comput Aided Des Integr Circuits Syst 17(12): 1217–1229

    Article  Google Scholar 

  5. Mallet F, André C (2008) UML/MARTE CCSL, signal and petri nets. Research Report 6545, INRIA. https://hal.inria.fr/inria-00283077

  6. Object Management Group (2007) Unified Modeling Language, Superstructure. Version 2.1.2 formal/2007-11-02

  7. Object Management Group (2008) UML Profile for MARTE, beta 2. OMG document number: ptc/08-07-09

  8. OMG (2008) Systems Modeling Language (SysML) Specification 1.1. OMG document number: ptc/08-05-17

Download references

Author information

Authors and Affiliations

  1. INRIA Sophia Antipolis Méditerranée, Université de Nice Sophia Antipolis, 2004 rte des Lucioles, BP 93, 06902, Sophia Antipolis Cedex, France

    Frédéric Mallet

Authors
  1. Frédéric Mallet
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Frédéric Mallet.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Mallet, F. Clock constraint specification language: specifying clock constraints with UML/MARTE. Innovations Syst Softw Eng 4, 309–314 (2008). https://doi.org/10.1007/s11334-008-0055-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11334-008-0055-2

Keywords

Search

Navigation