UML 2 semantics and applications
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Hoboken, NJ :
John Wiley & Sons ,
c2009
|
| Subjects: |
Table of Contents:
- 1. Introduction to the unified modeling language
- 2. The role of semantics
- 3. Considerations and rationale for a UML system model
- 4. Definition of the system model
- 5. Formal descriptive semantics of UML and its applications
- 6. Axiomatic semantics of UML class diagrams
- 7. Object constraints language: metamodeling semantics
- 8. Axiomatic semantics of state machines
- 9. Interactions
- 10. Co-algebraic framework for reasoning about interaction designs
- 11. Semantics of activity diagrams
- 12. Verification of UML models
- 13. Design verification with state invariants
- 14. Model transformation specification and verification