Software & Systems Modeling

, Volume 14, Issue 1, pp 461–481

Resolving model inconsistencies using automated regression planning

  • Jorge Pinna Puissant
  • Ragnhild Van Der Straeten
  • Tom Mens
Special Section Paper

DOI: 10.1007/s10270-013-0317-9

Cite this article as:
Pinna Puissant, J., Van Der Straeten, R. & Mens, T. Softw Syst Model (2015) 14: 461. doi:10.1007/s10270-013-0317-9


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.


Automated planning Inconsistency resolution Software modeling 

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Jorge Pinna Puissant
    • 1
  • Ragnhild Van Der Straeten
    • 2
  • Tom Mens
    • 1
  1. 1.Service de Génie Logiciel, Institut COMPLEXYSUniversité de MonsMonsBelgium
  2. 2.Software Languages LabVrije Universiteit BrusselBrusselsBelgium

Personalised recommendations