Two Semantic Models for Clock Relations in the Clock Constraint Specification Language - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2013

Two Semantic Models for Clock Relations in the Clock Constraint Specification Language

Résumé

The Clock Constraint Specification Language (CCSL) has been defined as a formal companion language of the UML Profile for MARTE to allow defining causal and temporal constraints. This chapter attempts to refine the mathematical foundations of the time model of CCSL. It proposes two semantic models both considering ordered binary relations on CCSL clocks and establishes the equivalence of the two models.

Mots clés

Fichier non déposé

Dates et versions

hal-00926297 , version 1 (09-01-2014)

Identifiants

Citer

Zholtkevych Grygoriy, Frédéric Mallet, Zaretska Iryna, Galyna Zholtkevych. Two Semantic Models for Clock Relations in the Clock Constraint Specification Language. Ermolayev, Vadim and Mayr, Heinrich C. Communications in Computer and Information Science, 412, Springer, pp.190-209, 2013, Communications in Computer and Information Science, 978-3-319-03997-8. ⟨10.1007/978-3-319-03998-5_10⟩. ⟨hal-00926297⟩
164 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More