Due to the ever increasing complexity of embedded and cyber‐physical systems,
corresponding design solutions relying on modelling languages such as Unified Modelling …

Modeling languages such as the unified modeling language (UML) or the systems modeling
language (SysML) in combination with constraint languages such as the object constraint …

This paper describes a new modelling language for the effective design and validation of
Java annotations. Since their inclusion in the 5th edition of Java, annotations have grown …

Only four decades after the first manned flight to the moon, a common device such as a
smartphone consists of more complex technology than the “high-end” computers that …

The use of formal models to describe early versions of the structure and the behavior of a
system has become common practice in industry. UML and OCL are the de-facto …

For the development of complex systems-composed of hardware, software, or both-more
and more high-level descriptions have been introduced over the past years. Starting from an …

The validation and verification of models becomes increasingly important as the complexity
and overall costs of later development stages increase. Although, a variety of tools exists for …

UML/OCL models are used to describe system models in early stages of the design process.
In order to detect design flaws in these models as soon as possible (ideally before the …

The Unified Modeling Language (UML) together with the Object Constraint Language (OCL)
are the description means for modeling and specifying, eg, software systems in early stages …

Several methods and tools have been proposed which supports designers in verifying
embedded systems in early phases of the design process, eg at the Electronic System Level …