5 Hits in 0.86 sec

Using ATL Transformation Services in the MDEForge Collaborative Modeling Platform [chapter]

Juri Di Rocco, Davide Di Ruscio, Alfonso Pierantonio, Jesús Sánchez Cuadrado, Juan de Lara, Esther Guerra
2016 Lecture Notes in Computer Science  
This demo paper illustrates the extensibility of MDEForge by integrating ATL services for the remote execution, automated testing, and static analysis of ATL transformations.  ...  To this end, we propose MDEForge: an extensible, collaborative modeling platform that provides remote model management facilities and prevents the user from focussing on time-consuming, and less creative  ...  RQ4 -Search ATL transformations: the default MDEForge search methods have to be extended in order to enable the specification of advanced queries, e.g., search all ATL transformations that produce models  ... 
doi:10.1007/978-3-319-42064-6_5 fatcat:2ompuqrarjcn7mj5yqulsjxq44

Towards Interactive, Test-driven Development of Model Transformations

Jesús Sánchez Cuadrado
2020 Journal of Object Technology  
The approach has been implemented for ATL and integrated into AnATLyzer using USE Model Validator as the backend model finder.  ...  This paper explores an approach for test-driven development of model transformations based on creating test cases using a model finder in an interactive manner.  ...  Acknowledgments I am thankful to Martin Gogolla for being a source of inspiration for all the modelling community.  ... 
doi:10.5381/jot.2020.19.3.a18 fatcat:ikuwvk7ifre4xavcoeztopnwzi

Efficient model partitioning for distributed model transformations

Amine Benelallam, Massimo Tisi, Jesús Sánchez Cuadrado, Juan de Lara, Jordi Cabot
2016 Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering - SLE 2016  
To validate our approach, we apply it to an existing distributed MT engine for the ATL language, built on top of MapReduce.  ...  As the models that need to be handled in model-driven engineering grow in scale, scalable algorithms for model transformation (MT) are becoming necessary.  ...  We build our footprints extraction algorithm on top of anATLyzer [7] , a static analysis tool for model transformation in ATL.  ... 
doi:10.1145/2997364.2997385 fatcat:etriptln2fgv3nkjkfwq6jebm4

Quick fixing ATL model transformations

Jesus Sanchez Cuadrado, Esther Guerra, Juan de Lara
2015 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)  
Based on a static analyser for ATL model transformations which we have previously built, we present a method and a system to propose quick fixes for transformation errors.  ...  We provide an evaluation based on an existing faulty transformation, and automatically generated transformation mutants, showing overall good results.  ...  IMPLEMENTATION Our proposal is backed by an implementation atop anAT-Lyzer, our static analyser for ATL, which is integrated with the Eclipse/ATL IDE.  ... 
doi:10.1109/models.2015.7338245 dblp:conf/models/CuadradoGL15 fatcat:gkij3wbkfrhxvbbpjhw4n2u7gm

Model Finding in the EMF Ecosystem

Jesús Sánchez Cuadrado, Martin Gogolla
2020 Journal of Object Technology  
This feature can be used for a number of purposes, including model verification and model synthesis.  ...  We have assessed the usability of the approach by implementing three advanced application scenarios and evaluated its verification capabilities by analyzing OCL constraints from an external OCL dataset  ...  Let us give an example where both EMF/OCL and ATL OCL are applied: The following listing shows an ATL transformation in which source meta-model invariants are considered via the @constraints annotation  ... 
doi:10.5381/jot.2020.19.2.a10 fatcat:ae44bf66g5bhpbjyslvkbmk2n4