HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Syntax and Semantics of the Clock Constraint Specification Language (CCSL)

Charles André 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : The UML Profile for Modeling and Analysis of Real-Time and Embedded (MARTE) systems has recently been adopted by the OMG. Its Time Model extends the informal and simplistic Simple Time package proposed by UML2 and offers a broad range of capabilities required to model real-time systems. The MARTE OMG specification introduces a Time Structure inspired from Time models of the concurrency theory and proposes a new clock constraint specification language (CCSL) to specify, within the context of UML, logical and chronometric time constraints. This report specifies the syntax and a formal semantics of a subset of CCSL, called kernel CCSL. This semantics is to be the reference semantics of CCSL.
Document type :
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

Contributor : Charles André Connect in order to contact the contributor
Submitted on : Monday, June 15, 2009 - 11:30:27 AM
Last modification on : Friday, January 21, 2022 - 3:15:43 AM
Long-term archiving on: : Wednesday, September 22, 2010 - 1:03:58 PM


Files produced by the author(s)


  • HAL Id : inria-00384077, version 2



Charles André. Syntax and Semantics of the Clock Constraint Specification Language (CCSL). [Research Report] RR-6925, INRIA. 2009, pp.37. ⟨inria-00384077v2⟩



Record views


Files downloads