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.
