Chapter 12. Verification of UML Models
- Kevin Lano
Published Online: 19 OCT 2009
DOI: 10.1002/9780470522622.ch12
Copyright © 2009 John Wiley & Sons, Inc.
Book Title
UML 2 Semantics and Applications
Additional Information
How to Cite
Lano, K. (2009) Verification of UML Models, in UML 2 Semantics and Applications (ed K. Lano), John Wiley & Sons, Inc., Hoboken, NJ, USA. doi: 10.1002/9780470522622.ch12
Editor Information
Department of Computer Science, King's College London, London, UK
Publication History
- Published Online: 19 OCT 2009
- Published Print: 19 OCT 2009
ISBN Information
Print ISBN: 9780470409084
Online ISBN: 9780470522622
- Summary
- Chapter
- References
Keywords:
- UML model verification and class diagrams;
- state machine diagrams and inconsistent state machine;
- sequence diagrams and syntactic correctness conditions
Summary
This chapter contains sections titled:
Introduction
Class Diagrams
State Machine Diagrams
Sequence Diagrams
Summary
References