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.