Coalgebraic semantic model for the clock constraint specification language. The Clock Constraint Specification Language ({sc ccsl}) has initially been introduced as part of the uml Profile for marte dedicated to the modeling and analysis of real-time and embedded systems. ccsl proposes a set of simple patterns classically used to specify causal and temporal properties of ({sc uml}/EMF) models. The paper proposes a new semantic model for {sc ccsl} based on the notion of “clock coalgebra”. Co-algebra promises to give a unified framework to study the behavior and semantics of reactive systems and, more generally, infinite data structures. They appear as being the adequate mathematical structure to capture the infinite nature of ccsl operators. This paper proposes a co-algebraic structure for {sc ccsl}, or rather a natural generalization of {sc ccsl} that we call generalized clock constraints: GenCCSL. We establish that GenCCSL covers the class of {sc ccsl} constraints and we give examples of GenCCSL constraints that cannot be expressed with classical {sc ccsl}. Then, we discuss the properties of the newly introduced class, including ways to detect valid and invalid GenCCSL behaviors, as well as deciding whether a GenCCSL constraint is also a {sc ccsl} one.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 1 article , 1 standard article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Mallet, Frédéric; Zholtkevych, Grygoriy: Coalgebraic semantic model for the clock constraint specification language (2015)