Model Transformation Specification and Verification
Kevin Lano, David Clark · 2008
Model transformations are becoming increasingly important in software development, particularly as part of model-driven development approaches (MDD). This paper defines an approach for specifying transformations as constraints, and for verifying the correctness of these transformations.