Two Basic Correctness Properties for ATL Transformations: Executability and Coverage
Model transformations play a cornerstone role with the emergence of Model Driven Engineering (MDE), where models are transformed from higher to lower levels of abstraction. In consequence, the quality of the whole transformation process strongly depends on the quality of the model transformations. However, even though there is a wide set of research proposals focused on model transformations, there is still further work to be done regarding its analysis and verification. In particular, there is a lack of efficient methods to analyze rule correctness with respect to the source and target meta-models.