Badger: A Regression Planner to Resolve Design Model Inconsistencies

Jorge Pinna Puissant, Ragnhild Van Der Straeten, Tom Mens

Onderzoeksoutput: Conference paper

9 Citaten (Scopus)

Samenvatting

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
Pagina's146-161
Aantal pagina's16
Volume7349
StatusPublished - 2012
EvenementUnknown - Kongens Lyngby, Denmark
Duur: 2 jul 20125 jul 2012

Publicatie series

NaamLecture Notes in Computer Science

Conference

ConferenceUnknown
Verkorte titelECMFA2012
Land/RegioDenmark
StadKongens Lyngby
Periode2/07/125/07/12

Vingerafdruk

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

Citeer dit