Chapter 14. Model Transformation Specification and Verification

  1. Kevin Lano
  1. Kevin Lano

Published Online: 19 OCT 2009

DOI: 10.1002/9780470522622.ch14

UML 2 Semantics and Applications

UML 2 Semantics and Applications

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

  1. Department of Computer Science, King's College London, London, UK

Author Information

  1. Department of Computer Science, King's College London, London, UK

Publication History

  1. Published Online: 19 OCT 2009
  2. Published Print: 19 OCT 2009

ISBN Information

Print ISBN: 9780470409084

Online ISBN: 9780470522622

SEARCH

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