ECL: the Event Constraint Language, an Extension of OCL with Events - Inria - Institut national de recherche en sciences et technologies du numérique
Reports (Research Report) Year : 2012

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

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.

Domains

Embedded Systems
Fichier principal
Vignette du fichier
ECL_RR_2012.pdf (591.98 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Team Kairos  : Connect in order to contact the contributor

https://inria.hal.science/hal-00721169

Submitted on : Thursday, July 26, 2012-5:07:48 PM

Last modification on : Monday, February 26, 2024-11:22:07 AM

Long-term archiving on : Friday, December 16, 2016-3:42:02 AM

Download

Dates and versions

hal-00721169 , version 1 (26-07-2012)
hal-00721169 , version 2 (31-07-2012)

Identifiers

  • HAL Id : hal-00721169 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
566 View
762 Download

Share

More