Clock constraint specification language: specifying clock constraints with UML/MARTE |
| |
Authors: | Frédéric Mallet |
| |
Affiliation: | (1) INRIA Sophia Antipolis Méditerranée, Université de Nice Sophia Antipolis, 2004 rte des Lucioles, BP 93, 06902 Sophia Antipolis Cedex, France |
| |
Abstract: | The Object Management Group (OMG) unified modeling language (UML) profile for modeling and analysis of real-time and embedded
systems (MARTE) aims at using the general-purpose modeling language UML in the domain of real-time and embedded (RTE) systems.
To achieve this goal, it is absolutely required to introduce inside the mainly untimed UML an unambiguous time structure which
MARTE model elements can rely on to build precise models amenable to formal analysis. The MARTE Time model has defined such
a structure. We have also defined a non-normative concrete syntax called the clock constraint specification language (CCSL)
to demonstrate what can be done based on this structure. This paper gives a brief overview of this syntax and its formal semantics,
and shows how existing UML model elements can be used to apply this syntax in a graphical way and benefit from the semantics. |
| |
Keywords: | Unified modeling language Time model Constraints MARTE |
本文献已被 SpringerLink 等数据库收录! |
|