- 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.
Book Details
- Hardcover: 400 pages
- Publisher: Wiley (October, 2009)
- Language: English
- ISBN-10: 0470409088
- ISBN-13: 978-0470409084
- File Size: 6.5 MiB
- Hits: 2,838 times