http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
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
Includes bibliographical references and index