UML 2 Semantics and Applications
About this book
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.
Tools to learn more effectively

Saving Books

Keyword Search

Annotating Text

Listen to it instead
Information
Table of contents
- UML 2 SEMANTICS AND APPLICATIONS
Frequently asked questions
- Essential is ideal for learners and professionals who enjoy exploring a wide range of subjects. Access the Essential Library with 800,000+ trusted titles and best-sellers across business, personal growth, and the humanities. Includes unlimited reading time and Standard Read Aloud voice.
- Complete: Perfect for advanced learners and researchers needing full, unrestricted access. Unlock 1.4M+ books across hundreds of subjects, including academic and specialized titles. The Complete Plan also includes advanced features like Premium Read Aloud and Research Assistant.
Please note we cannot support devices running on iOS 13 and Android 7 or earlier. Learn more about using the app
