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


Vol. 6,  No. 3, pp. 589-602, Mar.  1999
10.3745/KIPSTE.1999.6.3.589


PDF
  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
  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.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals