3/02/2011

UML 2 Semantics and Applications - PDF

UML 2 Semantics and ApplicationsBook Description
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 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 interaction designs
  • Semantics of activity diagrams
  • Verification of UML models
  • State invariants
  • Model transformation specification and verification

Additionally, 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.

Book Details

  • Hardcover: 400 pages
  • Publisher: Wiley (October, 2009)
  • Language: English
  • ISBN-10: 0470409088
  • ISBN-13: 978-0470409084
  • File Size: 6.5 MiB
  • Hits: 2,838 times