A Graph Solver for Automatically Generating Consistent Models

Get to know the new model generator which automatically creates well-formed instance models.
February 28, 2018

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 at the official site of Modeling Languages.

Get in touch

Contact us to find out more about our solutions, book a discussion with our experts, enroll in our evaluation program, or request a quote.

Contact us
Small arrow indicating more content
Three client management experts contributing in asynchronous communication.Two client management experts contributing in a phonecall.