Clock Constraints Specification Language

The Clock Constraint Specification Language or CCSL, is a software language for modeling relations among so-called clocks. It is part of the time model defined in the UML Profile for MARTE.[1]

CCSL provides a concrete syntax to handle logical clocks. The term logical clock refers to Leslie Lamport's logical clocks and its usage in CCSL is directly inspired from synchronous languages (like Esterel or Signal).

A solver of CCSL constraints is implemented in the TimeSquare tool.[2]

References

  1. ↑ http://www.omgmarte.org/
  2. ↑ http://timesquare.inria.fr/
This article is issued from Wikipedia - version of the 2/21/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.