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. © 2012 Springer-Verlag.
CITATION STYLE
Pinna Puissant, J., Van Der Straeten, R., & Mens, T. (2012). Badger: A regression planner to resolve design model inconsistencies. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7349 LNCS, pp. 146–161). https://doi.org/10.1007/978-3-642-31491-9_13
Mendeley helps you to discover research relevant for your work.