Resolving model inconsistencies using automated regression planning

Jorge Pinna Puissant, Ragnhild Van Der Straeten, Tom Mens

Research output: Contribution to journalArticlepeer-review

34 Citations (Scopus)


One of the main challenges in model-driven software engineering is to automate the resolution of design model inconsistencies. We propose to use the artificial intelligence technique of automated planning for the purpose of resolving such inconsistencies through the generation of one or more resolution plans. We implemented Badger, a regression planner in Prolog that generates such plans. We assess its scalability on the resolution of different types of structural inconsistencies in UML models using both generated models and reverse-engineered models of varying sizes, the largest ones containing more than 10,000 model elements. We illustrate the metamodel-independence of our approach by applying it to the resolution of code smells in a Java program. We discuss how the user can adapt the order in which resolution plans are presented by modifying the cost function of the planner algorithm.
Original languageEnglish
Pages (from-to)461-481
JournalSoftware & Systems Modeling
Issue number1
Publication statusPublished - Feb 2015


  • automated planning
  • Inconsistency resolution
  • Software modeling


Dive into the research topics of 'Resolving model inconsistencies using automated regression planning'. Together they form a unique fingerprint.

Cite this