par Pinna Puissant, Jorge;Mens, Tom;Van Der Straeten, Ragnhild 
Référence Lecture notes in computer science, 7349 LNCS, page (146-161)
Publication Publié, 2012
Référence Lecture notes in computer science, 7349 LNCS, page (146-161)
Publication Publié, 2012
Article révisé par les pairs
| Résumé : | 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. |
