Skip to content

TimeSquare (CCSL Parser)

Document Actions

The CCSL is the Clock Constraint Specification Language inside the MARTE UML2 profile

The CCSL Parser tool corresponds to the CCSL language implementation and its full grammar definition.


  • A full parser for clock constraints into UML2 (Marte) models
  • a visual tree of parsed model clocks

How to use CCSL Parser?

Inside an UML model (with CCSL profiled elements), you can use the contextual menu in order to parse a constraint or the all model constraints.


Interests and outcomes

The language introduces a dedicated notation for (infinite periodic) binary words which are used to represent how a subclock can be defined by selecting instants amongst the ones of an underlying (master) clock. They may be seen as textual versions of chronograms.

The language also supports clock declarations and clock expressions.

Related links