DI-UMONS : Dépôt institutionnel de l’université de Mons

Recherche transversale
Rechercher
(titres de publication, de périodique et noms de colloque inclus)
2010-12-23 - Colloque/Article dans les actes avec comité de lecture - Anglais - 10 page(s)

Pinna Puissant Jorge, Mens Tom , Van Der Straeten Ragnhild, "Automated Planning for Resolving Model Inconsistencies – A Scalability Study" in ME 2010 International Workshop on Models and Evolution, Oslo, Norway, 2010

  • Codes CREF : Informatique appliquée logiciel (DI2570)
  • Unités de recherche UMONS : Génie Logiciel (S852)
Texte intégral :

Abstract(s) :

(Anglais) Various approaches have been explored to detect and resolve software model inconsistencies. In this article, we outline our research that uses the artificial intelligence technique of automated planning for the purpose of resolving software model inconsistencies. We discuss the feasibility and scalability of a progression planner, and provide initial results of using a regression planner to improve the scalability.