Chapter 14. Model Transformation Specification and Verification
- Kevin Lano
Published Online: 19 OCT 2009
DOI: 10.1002/9780470522622.ch14
Copyright © 2009 John Wiley & Sons, Inc.
Book Title
UML 2 Semantics and Applications
Additional Information
How to Cite
Lano, K. (2009) Model Transformation Specification and Verification, in UML 2 Semantics and Applications (ed K. Lano), John Wiley & Sons, Inc., Hoboken, NJ, USA. doi: 10.1002/9780470522622.ch14
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:
- model transformation in software development;
- model transformation specification;
- quality improvement transformations - flexible, concise, comprehensible and complete
Summary
This chapter contains sections titled:
Introduction
Categories of Model Transformation
Specification of Model Transformations
Refinement Transformations
Quality Improvement Transformations
Design Patterns
Enhancement Transformations
Implementation of Model Transformations
Summary
References