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. © Springer International Publishing Switzerland 2013.
Author supplied keywords
Cite
CITATION STYLE
Zholtkevych, G., Mallet, F., Zaretska, I., & Zholtkevych, G. (2013). Two Semantic Models for Clock Relations in the Clock Constraint Specification Language. In Communications in Computer and Information Science (Vol. 412 CCIS, pp. 190–209). Springer Verlag. https://doi.org/10.1007/978-3-319-03998-5_10
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
