Abstract | ||
---|---|---|
Model transformations are used to automate model manipulation in Model-Driven Engineering (MDE). In particular, model-to-model transformations produce target models (conformant to a target meta-model) from source ones (conformant to a source meta-model). While transformation correctness is crucial in MDE, developing transformations is error-prone due to the difficulty in testing them. This problem is further aggravated if the source and target meta-models contain OCL integrity constraints, as every transformed source model should satisfy the target integrity constraints.In order to attack this problem, we present a novel method that translates target OCL constraints to the source meta-model using the transformation definition. This way, if a source model satisfies the advanced constraint, the transformed model will satisfy the target constraint. The method has been implemented for the ATL transformation language and integrated with the anATLyzer tool. We show its benefits in combination with model finders, and the promising results of its validation using mutation techniques and transformations developed by third parties. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1109/MODELS.2017.12 | 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) |
Keywords | Field | DocType |
Model-driven engineering,model transformations,integrity constraints,OCL,quality | Petri net,Systems engineering,Model-driven architecture,Computer science,Transformation language,Correctness,Context model,Source model,Theoretical computer science,Data integrity | Conference |
ISBN | Citations | PageRank |
978-1-5386-3493-6 | 5 | 0.45 |
References | Authors | |
33 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jesús Sánchez Cuadrado | 1 | 550 | 35.69 |
Esther Guerra | 2 | 504 | 45.53 |
Juan de Lara | 3 | 1596 | 132.28 |
Robert Clarisó | 4 | 474 | 27.51 |
Jordi Cabot | 5 | 1677 | 132.70 |