Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the łeUML\ge2001, October 1st, 2001 in Toronto, Canada. P-07, 174-190 (2001).

GI, Gesellschaft für Informatik, Bonn


Andy Evans (ed.), Robert B. France (ed.), Ana M. D. Moreira (ed.), Bernhard Rumpe (ed.)

Copyright © GI, Gesellschaft für Informatik, Bonn


Formal redesign of UML class diagrams

Piotr Kosiuczenko


In this paper we study a formal concept of redesign for object-oriented specifications. This concept corresponds to the UML notion of abstraction. The notion of refinement, which has been extensively studied also at the formal level, models well incremental approach where new requirements are added, but can not be changed. This assumption is usually not satisfied in software engineering process where permanent change is a constant factor. We study therefore a new notion which generalizes the notion of interpretation used in algebra. This notion is very flexible and allows us for comparison of different class diagrams even if one of them contains requirements excluded by another. To compare specifications, we map model elements in the first specification on the related model elements in the second specification. This mapping defines a UML trace; it can be lifted to the level of OCL as well as to the level of first order logic and then extended to an interpretation function. We also provide a formal foundation for our concepts and prove its soundness. We demonstrate the applicability of our approach in a series of examples.

Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-335-0

Last changed 04.10.2013 17:52:58