Lano UML 2 Semantics and Applications

1. Auflage 2009
ISBN: 978-0-470-52261-5
Verlag: John Wiley & Sons
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)

E-Book, Englisch, 400 Seiten, E-Book

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.

Autoren/Hrsg.

Lano, Kevin

Über Autor(innen)

Kevin Lano is an Associate Professor in the Computer Science Department at King's College in London. He currently works on UML-RSDS: Reactive Systems Design Support where he runs the development of a method and toolset for system development using UML and MDA. Professor Lano is also an editor of the journal Software and Systems Modeling.