[en] In model-driven software engineering (MDE), software is built through the incremental development, composition and transfor- mation of a variety of models. We are inevitably confronted with design models that contain a wide variety of inconsistencies. Interactive and automated support for detecting and resolving these inconsistencies is indispensable. We evaluate an approach to automate the generation of concrete models in which structural inconsistencies are resolved. We im- plemented this approach in the model finder Kodkod and assessed its suitability for model inconsistency resolution based on an objective set of criteria.
