Assessing the Kodkod Model Finder for Resolving Model Inconsistencies

Ragnhild Van Der Straeten, Jorge Pinna Puissant, Tom Mens

Research output: Chapter in Book/Report/Conference proceedingConference paper

27 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationLecture Notes in Computer Science
EditorsRobert France
PublisherSpringer Verlag
Publication statusPublished - 2011
EventUnknown -
Duration: 1 Jan 2011 → …

Publication series

NameLecture Notes in Computer Science


Period1/01/11 → …

Bibliographical note

Robert France


  • model-driven engineering
  • model finder
  • inconsistency resolution


Dive into the research topics of 'Assessing the Kodkod Model Finder for Resolving Model Inconsistencies'. Together they form a unique fingerprint.

Cite this