CCSL denotational semantics - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2014

CCSL denotational semantics

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.
Fichier principal
Vignette du fichier
RR-8628.pdf (1.71 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01082274 , version 1 (01-12-2014)

Identifiants

  • HAL Id : hal-01082274 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More