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)
2003-01-01 - Colloque/Article dans les actes avec comité de lecture - Anglais - 7 page(s)

Mens Tom , Van Der Straeten Ragnhild , Simmonds Jocelyn, "Maintaining consistency between UML models using description logic" in Workshop on Object-Oriented Reengineering

  • Codes CREF : Logiciel d'application (DI2574), 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) A software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve consistency between these diagrams. Moreover, through evolution those diagrams get modified leading to possible inconsistency between different versions of the diagrams. State- of-the-art UML CASE tools provide poor support for consistency maintenance. To solve this problem, an extension of the UML metamodel enabling support for consistency maintenance and a classification of inconsistency problems is proposed. To achieve the detection and resolution of consistency conflicts, the use of description logic (DL) is presented. By means of a number of concrete experiments in Loom, we show the feasibility of using this formalism for the purpose of maintaining consistency between (evolving) UML models.