Object-extending Class Transformations (1991)
| Venue: | Formal Aspects of Computing, the International Journal of Formal Methods |
| Citations: | 27 - 10 self |
BibTeX
@TECHREPORT{Lieberherr91object-extendingclass,
author = {Karl J. Lieberherr and Walter L. Hürsch and Cun Xiao and Edward H. Bersoff and Alan M. Davis [bd},
title = {Object-extending Class Transformations},
institution = {Formal Aspects of Computing, the International Journal of Formal Methods},
year = {1991}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Reorganization and evolution of class hierarchies is important for object-oriented system development and has received considerable attention in the literature. The contributions of this paper are: (1) A formal study of a set of extension relations and transformations on class hierarchies. (2) A presentation of a small set of primitive transformations which form a minimal and complete basis for the extension relations. (3) An analysis of the impact of these transformations on the object level. The study leads to a better understanding of evolution and reuse of object-oriented software and class hierarchies. It also provides a terminology and a means of classification for design reuse. The theory presented in this paper is based on the Demeter data model, which gives a concise mathematical foundation for classes and their inheritance and part-of relationships. Parts of the theory have been implemented in the Demeter System TM C++, a CASE tool for object-oriented design and programming...
