Badger: A Regression Planner to Resolve Design Model Inconsistencies

Jorge Pinna Puissant, Ragnhild Van Der Straeten, Tom Mens

Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

9 Citations (Scopus)

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the ECMFA2012 conference
PublisherSpringer Verlag
Pages146-161
Number of pages16
Volume7349
Publication statusPublished - 2012
Event8th European Conference on Modelling Foundations and Applications - Kongens Lyngby, Denmark
Duration: 2 Jul 20125 Jul 2012

Publication series

NameLecture Notes in Computer Science

Conference

Conference8th European Conference on Modelling Foundations and Applications
Abbreviated titleECMFA2012
CountryDenmark
CityKongens Lyngby
Period2/07/125/07/12

Keywords

  • automated planning
  • inconsistency resolution
  • MDE

Fingerprint Dive into the research topics of 'Badger: A Regression Planner to Resolve Design Model Inconsistencies'. Together they form a unique fingerprint.

Cite this