객체지향 어플리케이션의 확장을 위한 클래스 계층 구조의 재구성에 대한 정현기법 = Software Engineering :A Formal Approach for the Reorganization of Class Hierarchies for the Extension of Object Oriented Applications

다국어 초록 (Multilingual 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.