UML Semantics

By Kevin Lano

A coherent and integrated account of the leading UML 2 semanticswork and the practical applications of UML semantics development With contributions from leading experts in the field, the bookbegins with an introduction to UML and goes on to offer in-depthand 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 interactiondesigns Semantics of activity diagrams Verification of UML models State invariants Model transformation specification and verification Additionally, readers are provided with expert guidance on howto resolve semantic problems and a section on applications of UMLsemantics with model analysis. UML 2 Semantics andApplications is an ideal resource for researchers andtool-builders working in UML, among others. It is also an excellenttextbook for postgraduate teaching and research.

• Format: Hardcover
• Language: English
• ISBN: 0470409088
• ISBN13: 9780470409084
• Release Date: October 2009
• Publisher: John Wiley & Sons
• Length: 418 Pages
• Weight: 1.50 lbs.
• Dimensions: 1.0" x 6.2" x 9.3"