< Terug naar vorige pagina

Publicatie

Assessing the Kodkod Model Finder for Resolving Model Inconsistencies

Boekbijdrage - Boekhoofdstuk Conferentiebijdrage

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.
Boek: Lecture Notes in Computer Science
Series: Lecture Notes in Computer Science
Jaar van publicatie:2011
Trefwoorden:model-driven engineering, model finder, inconsistency resolution
  • Scopus Id: 79959193653