• Citer

Assessing the Kodkod model finder for resolving model inconsistencies

par Van Der Straeten, Ragnhild ;Pinna Puissant, Jorge;Mens, Tom
Référence Lecture notes in computer science, 6698 LNCS, page (69-84)
Publication Publié, 2011

Article révisé par les pairs

• Détails
• Contenu

Résumé :

In model-driven software engineering (MDE), software is built through the incremental development, composition and transformation 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 implemented this approach in the model finder Kodkod and assessed its suitability for model inconsistency resolution based on an objective set of criteria. © 2011 Springer-Verlag.