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
* Corresponding author
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, Laboratoire I3S - 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
Document type :
Book sections
Complete list of metadatas

https://hal.inria.fr/hal-00926297
Contributor : Frédéric Mallet <>
Submitted on : Thursday, January 9, 2014 - 1:45:38 PM
Last modification on : Monday, November 5, 2018 - 3:36:03 PM

Identifiers

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⟩

Share

Metrics

Record views

339