Resolving Model Inconsistencies with Automated Planning
Jorge Pinna Puissant, Tom Mens, Ragnhild Van Der Straeten, Der Straeten · 2010
Various approaches have been explored to detect and resolve software model inconsistencies in a generic and scalable way. In this position paper, we outline our research that aims to use the technique of automated planning for the purpose of resolving model inconsistencies. We discuss the scalability results of the approach obtained through several stress-tests and we propose several alternatives to the automated planning approach. Keywords inconsistency resolution, UML models, automated planning, scalability 1.