Loading...
UML 2 Semantics and Applications
ISBN: 978-0-470-52261-5
October 2009
400 pages
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.