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, 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.
Type de document :
Rapport
[Research Report] RR-8628, Array. 2014, pp.29
Liste complète des métadonnées

https://hal.inria.fr/hal-01082274
Contributeur : Team Aoste <>
Soumis le : lundi 1 décembre 2014 - 16:44:40
Dernière modification le : samedi 17 septembre 2016 - 01:36:54
Document(s) archivé(s) le : lundi 2 mars 2015 - 13:36:29

Fichier

RR-8628.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01082274, version 1

Collections

Citation

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

Partager

Métriques

Consultations de
la notice

200

Téléchargements du document

140