Badger: A Regression Planner to Resolve Design Model Inconsistencies

Jorge Pinna Puissant, Ragnhild Van Der Straeten, Tom Mens

Onderzoeksoutput: Conference paper

9 Citaten (Scopus)


One of the main challenges in model-driven software engineering is to deal with design model inconsistencies. Automated techniques to detect and resolve these inconsistencies are essential. We propose to use the artificial intelligence technique of automated planning for the purpose of resolving software model inconsistencies. We implemented a regression planner in Prolog and validated it on the resolution of different types of structural inconsistencies for generated models of varying sizes. We discuss the scalability results of the approach obtained through several stress-tests and discuss the limitations of our approach.
Originele taal-2English
TitelProceedings of the ECMFA2012 conference
UitgeverijSpringer Verlag
Aantal pagina's16
StatusPublished - 2012
EvenementUnknown - Kongens Lyngby, Denmark
Duur: 2 jul 20125 jul 2012

Publicatie series

NaamLecture Notes in Computer Science


Verkorte titelECMFA2012
StadKongens Lyngby


Duik in de onderzoeksthema's van 'Badger: A Regression Planner to Resolve Design Model Inconsistencies'. Samen vormen ze een unieke vingerafdruk.

Citeer dit