Skip to Main content Skip to Navigation

ECL: the Event Constraint Language, an Extension of OCL with Events

Julien Deantoni 1, * Frédéric Mallet 1
* Corresponding author
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 Clock Constraint Specification Language (\ccsl) has been informally introduced in the specifications of the \uml Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE). In a previous report entitled ''Syntax and Semantics of the Clock Constraint Specification Language'', we equipped a kernel of \ccsl with an operational semantics. In the present report we pursue this clarification effort by giving a mathematical characterization to each \ccsl constructs.
Document type :
Complete list of metadata

Cited literature [37 references]  Display  Hide  Download
Contributor : Team Kairos Connect in order to contact the contributor
Submitted on : Tuesday, July 31, 2012 - 11:58:07 AM
Last modification on : Friday, January 21, 2022 - 3:16:56 AM
Long-term archiving on: : Friday, March 31, 2017 - 11:33:05 AM


Files produced by the author(s)


  • HAL Id : hal-00721169, version 2



Julien Deantoni, Frédéric Mallet. ECL: the Event Constraint Language, an Extension of OCL with Events. [Research Report] RR-8031, INRIA. 2012, pp.24. ⟨hal-00721169v2⟩



Les métriques sont temporairement indisponibles