UML 2 Semantics and Applications (Hardcover)

Hardcover. A coherent and integrated account of the leading UML 2 semanticswork and the practical applications of UML semantics developmentWith 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 semanticsConsiderations and rationale for a UML system modelDefinition of the UML system modelUML descriptive semanticsAxiomatic semantics of UML class diagramsThe object constraint languageAxiomatic semantics of state machinesA coalgebraic semantic framework for reasoning about interactiondesignsSemantics of activity diagramsVerification of UML modelsState invariantsModel transformation specification and verificationAdditionally, 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. With an up-to-date view of the results of UML semantics and the practical applications of semantics development, this book presents the only coherent and integrated account of the leading UML 2 semantics work and its applications. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. …