8481 articles  [english version]

hal-00721169, version 2

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

Julien Deantoni (Auteur à contacter de préférence) a, 1, Fré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