UML 2 Semantics and Applications

A coherent and integrated account of the leading UML 2 semantics work and the practical applications of UML semantics developmentWith 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 sem [...]
Visa längre beskrivning

A coherent and integrated account of the leading UML 2 semantics work and the practical applications of UML semantics developmentWith 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 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 interaction designsSemantics of activity diagramsVerification of UML modelsState invariantsModel transformation specification and verificationAdditionally, 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.