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 …

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 …

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 …

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

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 …

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 …

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 …

Concurrency problems such as starvation and deadlocks should be identified early in the
design process. As larger, more complex concurrent systems are being developed, this is …