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

  • Frédéric Mallet
Original Paper


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.


Unified modeling language Time model Constraints MARTE 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    André C, Mallet F (2008) Clock constraints in UML/MARTE. Research Report 6540, INRIA.
  2. 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–573Google Scholar
  3. 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)Google Scholar
  4. 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–1229CrossRefGoogle Scholar
  5. 5.
    Mallet F, André C (2008) UML/MARTE CCSL, signal and petri nets. Research Report 6545, INRIA.
  6. 6.
    Object Management Group (2007) Unified Modeling Language, Superstructure. Version 2.1.2 formal/2007-11-02Google Scholar
  7. 7.
    Object Management Group (2008) UML Profile for MARTE, beta 2. OMG document number: ptc/08-07-09Google Scholar
  8. 8.
    OMG (2008) Systems Modeling Language (SysML) Specification 1.1. OMG document number: ptc/08-05-17Google Scholar

Copyright information

© Springer-Verlag London Limited 2008

Authors and Affiliations

  1. 1.INRIA Sophia Antipolis MéditerranéeUniversité de Nice Sophia AntipolisSophia Antipolis CedexFrance

Personalised recommendations