Model Finding in the EMF Ecosystem.
Jesús Sánchez Cuadrado, Martin Gogolla · The Journal of Object Technology · 2020
The EMF framework is the main meta-modelling framework used nowadays.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.However, the EMF ecosystem lacks usable model finding approaches.Given a meta-model, a model finder automatically searches for models that satisfy a given set of formulas (e.g., OCL constraints).This feature can be used for a number of purposes, including model verification and model synthesis.In this paper, we present an approach to support model finding in the EMF ecosystem that is designed to realize several scenarios including model consistency, example generation, partial solution completion and scrolling.Moreover, it allows several OCL variants to be plugged-in via an intermediate representation.This approach has been realized in a tool called EFinder.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 containing about 300 valid EMF/OCL specifications.Our model finder is able to process about 65% of these EMF/OCL models.