hal-00721169, version 2
ECL: the Event Constraint Language, an Extension of OCL with Events
Julien Deantoni
a, 1Frédéric Mallet
a, 1
N° RR-8031 (2012)
Résumé : 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.
- a – Université de Nice Sophia Antipolis (UNS)
- 1 : AOSTE (INRIA Rocquencourt / INRIA Sophia Antipolis / Laboratoire I3S)
- INRIA – Université Nice Sophia Antipolis [UNS] – CNRS : UMR7271
- Domaine : Informatique/Systèmes embarqués
- Mots-clés : CCSL – OCL – time constraints – semantics – MoC
- Référence interne : RR-8031
- Versions disponibles : v1 (27-07-2012) v2 (31-07-2012)
- hal-00721169, version 2
- http://hal.inria.fr/hal-00721169
- oai:hal.inria.fr:hal-00721169
- Contributeur : Team Aoste
- Soumis le : Mardi 31 Juillet 2012, 11:58:07
- Dernière modification le : Lundi 17 Septembre 2012, 15:06:38
Documents associés
Exporter