A coherent and integrated account of the leading UML 2 semanticswork and the practical applications of UML semantics developmentWith contributions from leading experts in the field, the bookbegins with an introduction to UML and goes on to offer in-depthand 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 interactiondesigns* Semantics of activity diagrams* Verification of UML models* State invariants* Model transformation specification and verificationAdditionally, readers are provided with expert guidance on howto resolve semantic problems and a section on applications of UMLsemantics with model analysis. UML 2 Semantics andApplications is an ideal resource for researchers andtool-builders working in UML, among others. It is also an excellenttextbook for postgraduate teaching and research.