@inproceedings{9534c61d05894331927053b6fe8338d1,
title = "Assessing the Kodkod Model Finder for Resolving Model Inconsistencies",
abstract = "In model-driven software engineering (MDE), software is built through the incremental development, composition and transformation of a variety of models. During MDE 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 that automatically generates a set of concrete models in which structural inconsistencies are resolved. We implemented this approach in the model finder Kodkod. We assess its suitability for model inconsistency resolution based on an objective set of criteria.",
keywords = "model-driven engineering, model finder, inconsistency resolution",
author = "{Van Der Straeten}, Ragnhild and {Pinna Puissant}, Jorge and Tom Mens",
note = "Robert France; null ; Conference date: 01-01-2011",
year = "2011",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
editor = "Robert France",
booktitle = "Lecture Notes in Computer Science",
address = "Germany",
}