Resolving Model Inconsistencies With Automated Planning
Various approaches have been explored to detect and resolve software model inconsistencies in a generic and scalable way. In this position paper, the authors outline their research that aims to use the technique of automated planning for the purpose of resolving model inconsistencies. They discuss the scalability results of the approach obtained through several stress-tests and they propose several alternatives to the automated planning approach. In Model-Driven software Engineering (MDE), model inconsistencies inevitably arise, because a (software) system description is composed of a wide variety of diverse models, some of which are developed and maintained in parallel, and most of which are subject to continuous evolution.