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.
CITATION STYLE
Van Der Straeten, R., Pinna Puissant, J., & Mens, T. (2011). Assessing the Kodkod model finder for resolving model inconsistencies. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6698 LNCS, pp. 69–84). https://doi.org/10.1007/978-3-642-21470-7_6
Mendeley helps you to discover research relevant for your work.