Assessing the Kodkod Model Finder for Resolving Model Inconsistencies

Ragnhild Van Der Straeten, Jorge Pinna Puissant, Tom Mens

Onderzoeksoutput: Conference paper

27 Citaten (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.
Originele taal-2English
TitelLecture Notes in Computer Science
RedacteurenRobert France
UitgeverijSpringer Verlag
StatusPublished - 2011
EvenementUnknown -
Duur: 1 jan 2011 → …

Publicatie series

NaamLecture Notes in Computer Science


Periode1/01/11 → …

Bibliografische nota

Robert France


Duik in de onderzoeksthema's van 'Assessing the Kodkod Model Finder for Resolving Model Inconsistencies'. Samen vormen ze een unieke vingerafdruk.

Citeer dit