Maintaining Consistency between UML Models Using Description Logic

Abstract

La conception d'un logiciel est souvent modelisee comme un ensemble de diagrammes UML. Il est essentiel de preserver leur coherence, parce que ces diagrammes sont sujets a de frequentes modifications, dues aux evolutions successives. Les outils contemporains pour UML fournissent un support insatisfaisant pour maintenir la coherence entre differentes versions des diagrammes UML. Pour resoudre ce probleme, une extension du meta modele UML est developpee, et une classification des conflits d'incoherence est proposee. La detection et la resolution de ces conflits est exprimee en utilisant des regles en logique de descriptions. En effectuant un certain nombre d'experiences, nous montrons la faisabilite du formalisme de logique de descriptions pour preserver la coherence entre des modeles UML qui evoluent.