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. 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 programming languages (like Esterel or Signal). A solver of CCSL constraints is implemented in the TimeSquare tool.
Wikipage disambiguates
Link from a Wikipage to another Wikipage
primaryTopic
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. 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 programming languages (like Esterel or Signal). A solver of CCSL constraints is implemented in the TimeSquare tool.
has abstract
The Clock Constraint Specifica ...... mented in the TimeSquare tool.
@en
Wikipage page ID
41,766,625
page length (characters) of wiki page
Wikipage revision ID
956,860,648
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
type
comment
The Clock Constraint Specifica ...... mented in the TimeSquare tool.
@en
label
Clock Constraints Specification Language
@en