Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | «UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications |
| Subtitle of host publication | 6th International Conference, San Francisco, CA, USA, October 20-24, 2003. Proceedings |
| Publisher | Springer |
| Pages | 326-340 |
| ISBN (Electronic) | 978-3-540-45221-8 |
| ISBN (Print) | 978-3-540-20243-1 |
| Publication status | Published - 2003 |
| Event | 6th International Conference UML 2003 - The Unified Modeling Language, Modeling Languages and Applications, San Francisco, CA, USA, October 2003 - Duration: 20 Oct 2003 → 24 Oct 2003 http://www.umlconference.org |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer |
| Volume | 2863 |
| ISSN (Print) | 0302-9743 |
Other
| Other | 6th International Conference UML 2003 - The Unified Modeling Language, Modeling Languages and Applications, San Francisco, CA, USA, October 2003 |
|---|---|
| Period | 20/10/03 → 24/10/03 |
| Internet address |