UML 2 Semantics and Applications
- 7h 5m
- Kevin Lano (ed)
- John Wiley & Sons (US)
- 2009
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.
About the Author
Kevin Lano is an Associate Professor in the Computer Science Department at King's College in London. He currently works on UML-RSDS: Reactive Systems Design Support where he runs the development of a method and toolset for system development using UML and MDA. Professor Lano is also an editor of the journal Software and Systems Modeling.
In this Book
-
Introduction to the Unified Modeling Language
-
The Role of Semantics
-
Considerations and Rationale for a UML System Model
-
Definition of the System Model
-
Formal Descriptive Semantics of UML and Its Applications
-
Axiomatic Semantics of UML Class Diagrams
-
Object Constraint Language: Metamodeling Semantics
-
Axiomatic Semantics of State Machines
-
Interactions
-
Co-Algebraic Semantic Framework for Reasoning about Interaction Designs
-
Semantics of Activity Diagrams
-
Verification of UML Models
-
Design Verification with State Invariants
-
Model Transformation Specification and Verification
