Two Semantic Models for Clock Relations in the Clock Constraint Specification Language - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2013

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

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.

Keywords

No file

Dates and versions

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

Identifiers

Cite

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⟩
163 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More