A Formal Approach for the Reorganization of Class Hierarchies for the Extension of Object Oriented Applications


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 6, No. 3, pp. 589-602, Mar. 1999
10.3745/KIPSTE.1999.6.3.589,   PDF Download:

Abstract

There are some advantages of developing applications based on the object oriented concepts. One of them is that it is possible to reuse the existing designs and products. This paper provides a formal method for the reorganization of class hierarchies for the object extension in the object oriented design phase. In this paper, we introduce a class hierarchy model called class hierarchy graph to describe class hierarchy structures using vertices to represent classes, and edges to represent the inheritance and aggregation relationship between classes. Based on the graph, we define an order relation(called the object extension) between class hierarchy graphs. And also we present a set of five basic transformations preserving the object extension relation. The set is proven to be correct and complete. The results of this paper help form a theoretical basis for the extension and reorganization of object-oriented application systems.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
H. S. Hyung, K. D. Won, Y. H. Sool, "A Formal Approach for the Reorganization of Class Hierarchies for the Extension of Object Oriented Applications," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 6, no. 3, pp. 589-602, 1999. DOI: 10.3745/KIPSTE.1999.6.3.589.

[ACM Style]
Hwang Suk Hyung, Kim Dae Won, and Yang Hae Sool. 1999. A Formal Approach for the Reorganization of Class Hierarchies for the Extension of Object Oriented Applications. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 6, 3, (1999), 589-602. DOI: 10.3745/KIPSTE.1999.6.3.589.