A coherent and integrated account of the leading UML 2 semantics work and the practical applications of UML semantics development

With contributions from leading experts in the field, the book begins with an introduction to UML and goes on to offer in-depth and up-to-date coverage of:

The role of semantics

Considerations and rationale for a UML system model

Definition of the UML system model

UML descriptive semantics

Axiomatic semantics of UML class diagrams

The object constraint language

Axiomatic semantics of state machines

A coalgebraic semantic framework for reasoning about interaction designs

Semantics of activity diagrams

Verification of UML models

State invariants

Model transformation specification and verification

Additionally, readers are provided with expert guidance on how to resolve semantic problems and a section on applications of UML semantics with model analysis. "UML 2 Semantics and Applications" is an ideal resource for researchers and tool-builders working in UML, among others. It is also an excellent textbook for postgraduate teaching and research.