Using Description Logic to Maintain Consistency between UML Models

Ragnhild Van Der Straeten, Tom Mens, Jocelyn Simmonds, Viviane Jonckers

Onderzoeksoutput: Conference paper

133 Citaten (Scopus)

Samenvatting

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.
Originele taal-2English
Titel«UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications
Subtitel6th International Conference, San Francisco, CA, USA, October 20-24, 2003. Proceedings
UitgeverijSpringer
Pagina's326-340
ISBN van elektronische versie978-3-540-45221-8
ISBN van geprinte versie978-3-540-20243-1
StatusPublished - 2003
Evenement6th International Conference UML 2003 - The Unified Modeling Language, Modeling Languages and Applications, San Francisco, CA, USA, October 2003 -
Duur: 20 okt 200324 okt 2003
http://www.umlconference.org

Publicatie series

NaamLecture Notes in Computer Science
UitgeverijSpringer
Volume2863
ISSN van geprinte versie0302-9743

Other

Other6th International Conference UML 2003 - The Unified Modeling Language, Modeling Languages and Applications, San Francisco, CA, USA, October 2003
Periode20/10/0324/10/03
Internet adres

Bibliografische nota

Proceedings of 6th International Conference UML 2003 - The Unified Modeling Language, Perdita Stevens, Jon Whittle and Grady Booch (Eds.), San Francisco, USA, October 2003, pp. 326-340. (acceptance rate 15%)

Vingerafdruk

Duik in de onderzoeksthema's van 'Using Description Logic to Maintain Consistency between UML Models'. Samen vormen ze een unieke vingerafdruk.

Citeer dit