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 - 7 page(s)

Pinna Puissant Jorge, Mens Tom , Van Der Straeten Ragnhild, "Resolving Model Inconsistencies with Automated Planning" in LWI 2010: 3rd Workshop on Living with Inconsistencies in Software Development, Antwerp, Belgium, 2010

  • Codes CREF : Informatique appliquée logiciel (DI2570), Analyse de systèmes informatiques (DI2572)
  • 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 a generic and scalable way. In this position paper, we outline our research that aims to use the technique of automated planning for the purpose of resolving model inconsistencies. We discuss the scalability results of the approach obtained through several stress-tests and we propose several alternatives to the automated planning approach.