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

Julien Deantoni (1, 2) , Frédéric Mallet (2, 1)

1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
2 UNS - Université Nice Sophia Antipolis (1965 - 2019)

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.

Mots clés: CCSL; OCL; time constraints; semantics; MoC

Domaines: Systèmes embarqués

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