A Graph Solver for Automatically Generating Consistent Models

February 28, 2018    

Dániel Varró’s article released in Modeling Languages

The article is about a new model generator which automatically creates well-formed instance models that satisfy consistency constraints. The generator is based on a graph solver that natively operates over EMF-based (graph) models and combines advanced graph algorithms (like partial models, graph shapes, incremental graph queries) with rule-based exploration driven by traditional SAT solving techniques.

The article is available here.

    Eclipse MDE