Live Sequence Charts (LSC) extend Message Sequence Charts (MSC), mainly by
distinguishing possible from necessary behavior. They thus enable the specification of rich …

Scenario languages are widely used in software development. Typical usage scenarios,
forbidden behaviors, test cases, and many more aspects can be depicted with graphical …

The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML
behavioral state machines are used for modeling the dynamic behavior of object-oriented …

A major challenge in software development process is to advance error detection to early
phases of the software life cycle. For this purpose, the Verification and Validation (V&V) of …

Specifying and verifying properties of the modelled system has been mostly neglected by
domain-specific modelling (DSM) approaches. At best, this is only partially supported by …

UML 2 semantics and applications UML 2 SEMANTICS AND APPLICATIONS Page 2 UML 2
SEMANTICS AND APPLICATIONS Edited by KEVIN LANO A JOHN WILEY & SONS, INC …

The increasing complexity of embedded systems renders software verification more
complex, requiring monitoring and formal techniques, like model-checking. However, to use …

Software models are the core development artifact in model-based engineering (MBE). The
MBE paradigm promotes the use of software models to describe structure and behavior of …

Abstract Model transformations are an important cornerstone of model‐driven engineering, a
discipline which facilitates the abstraction of relevant information of a system as models. The …

Graphical depictions of distributed systems' behaviors in the form of Sequence Diagrams
(SD) are widely used, with formalisms such as Message Sequence Charts (MSC) or UML …