Chapter 6. Axiomatic Semantics of UML Class Diagrams
- Kevin Lano
Published Online: 19 OCT 2009
DOI: 10.1002/9780470522622.ch6
Copyright © 2009 John Wiley & Sons, Inc.
Book Title
UML 2 Semantics and Applications
Additional Information
How to Cite
Lano, K. (2009) Axiomatic Semantics of UML Class Diagrams, in UML 2 Semantics and Applications (ed K. Lano), John Wiley & Sons, Inc., Hoboken, NJ, USA. doi: 10.1002/9780470522622.ch6
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 class diagram axiomatic semantics;
- class theory construction;
- class diagrams semantics
Summary
This chapter contains sections titled:
Introduction
Real-Time Action Logic
Semantics of Class Diagrams
Application of the Semantics
RelatedWork
Conclusions
References