Two Semantic Models for Clock Relations in the Clock Constraint Specification Language - Archive ouverte HAL Access content directly
Book Sections Year : 2013

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

(1) , (2) , (1) , (1)
1
2

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

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More