CCSL denotational semantics

Julien Deantoni 1, 2 Charles André 1, 2 Régis Gascon 1
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 :
Reports
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-01082274
Contributor : Team Kairos <>
Submitted on : Monday, December 1, 2014 - 4:44:40 PM
Last modification on : Monday, November 5, 2018 - 3:36:03 PM
Long-term archiving on : Monday, March 2, 2015 - 1:36:29 PM

File

RR-8628.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01082274, version 1

Citation

Julien Deantoni, Charles André, Régis Gascon. CCSL denotational semantics. [Research Report] RR-8628, Inria. 2014, pp.29. ⟨hal-01082274⟩

Share

Metrics

Record views

442

Files downloads

269