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

Zholtkevych Grygoriy 1 Frédéric Mallet 2, * Zaretska Iryna 1 Galyna Zholtkevych 1
* Auteur correspondant
2 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 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.
keyword : MARTE CCSL semantics
Type de document :
Chapitre d'ouvrage
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>
Liste complète des métadonnées

https://hal.inria.fr/hal-00926297
Contributeur : Frédéric Mallet <>
Soumis le : jeudi 9 janvier 2014 - 13:45:38
Dernière modification le : lundi 5 octobre 2015 - 17:01:40

Identifiants

Collections

Citation

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>

Partager

Métriques

Consultations de la notice

221