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.