2 Hits in 1.2 sec

Model Finding in the EMF Ecosystem

Jesús Sánchez Cuadrado, Martin Gogolla
2020 Journal of Object Technology  
It has a rich ecosystem of plug-ins and tools built with and for it, including the option of enriching meta-models with OCL constraints.  ...  This feature can be used for a number of purposes, including model verification and model synthesis.  ...  In this way, the allAttributes operation is unfolded for n = 2 as follows: Iterate. The iterate operation is also not supported in the USE MV. We use a similar approach as with recursive operations.  ... 
doi:10.5381/jot.2020.19.2.a10 fatcat:ae44bf66g5bhpbjyslvkbmk2n4

A Formal Framework for Prototyping Executable Semantics in ATL [chapter]

Artur Boronat
2018 Lecture Notes in Computer Science  
Furthermore, FMA-ATL uses ATL as front-end language and it can be reused as-is for verification, including its tool support.  ...  ATL is a well-established model transformation language both in industry and in academia, where it is used as a reference language for studying different types of model transformations and their properties  ...  The author would like to thank Frédéric Jouault and Massimo Tisi for insightful discussions on the semantics of ATL, and the anonymous reviewers for their observations, which helped improve this work greatly  ... 
doi:10.1007/978-3-319-93317-7_8 fatcat:rmukphpjsnbpdcni5seyvkpn7m