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 - Article/Dans un journal avec peer-review - Anglais - 15 page(s)

Mens Tom , Van Der Straeten Ragnhild , Simmonds Jocelyn, Jonckers Viviane, "Using description logic to maintain consistency between UML models" in Lecture Notes in Computer Science, 2863, 326-340

  • Edition : Springer, Berlin (Germany)
  • 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) 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. DL has the important property of being a decidable fragment of first-order predicate logic. 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.

Notes :
  • (Anglais) Proc. UML 2003 - The Unified Modeling Language
Identifiants :
  • ISBN : 3-540-20243-9