ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

L'Objet

1262-1137
logiciel, bases de données, réseaux
Publication abandonné
 

 ARTICLE VOL 10/2-3 - 2004  - pp.231-244  - doi:10.3166/objet.10.2-3.231-244
TITLE
Maintaining Consistency between UML Models Using Description Logic

RÉSUMÉ
La conception d'un logiciel est souvent modélisée comme un ensemble de diagrammes UML. Il est essentiel de préserver leur cohérence, parce que ces diagrammes sont sujets à de fréquentes modifications, dues aux évolutions successives. Les outils contemporains pour UML fournissent un support insatisfaisant pour maintenir la cohérence entre différentes versions des diagrammes UML. Pour résoudre ce problème, une extension du méta modèle UML est développée, et une classification des conflits d'incohérence est proposée. La détection et la résolution de ces conflits est exprimée en utilisant des règles en logique de descriptions. En effectuant un certain nombre d'expériences, nous montrons la faisabilité du formalisme de logique de descriptions pour préserver la cohérence entre des modèles UML qui évoluent.


ABSTRACT
A software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve their consistency, since these diagrams are subject to continuous changes due to successive refinements or evolutions. Contemporary UML tools provide unsatisfactory support for maintaining the consistency between different versions of UML diagrams. To solve this problem, an extension of the UML metamodel is developed, and a classification of inconsistency problems is proposed. Detection and resolution of consistency conflicts is expressed by means of rules in description logic. By carrying out a number of concrete experiments, we show the feasibility of the description logic formalism for the purpose of maintaining consistency between evolving UML models.


AUTEUR(S)
Jocelyn SIMMONDS, Ragnhild VAN DER STRAETEN, Viviane JONCKERS, Tom MENS

MOTS-CLÉS
préservation de cohérence, UML, logique de descriptions, évolution des modèles.

KEYWORDS
consistency maintenance, UML, description logic, model evolution.

LANGUE DE L'ARTICLE
Anglais

 PRIX
• Abonné (hors accès direct) : 34.95 €
• Non abonné : 34.95 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (190 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
made by WAW Lavoisier