객체지향 어플리케이션의 확장을 위한 클래스 계층 구조의 재구성에 대한 정형기법

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

객체 지향 개념에 토대를 둔 어플리케이션 개발에는 여러 가지 이점이 있으나, 그 중 하나로서, 기존 성과물의 재이용을 들 수 있다. 유효한 재이용 수법 중의 하나로서, 본 논문에서는 클래스 계층 구조를 바탕으로 하는 확장 재구성법에 대해 논한다 우선, 클래스 계층 구조를 보다 형식적인 형태로 정의하고 이론적인 논술이 가능토록 하기 위해서, 클래스 계층 구조를 유한 유방향 그래프 형태인 클래스 계층 그래프로 나타낸다 또한, 클래스 계층 그래프간의 순서관계로써 객체 확장관계 를 정의한다. 객체 확장관계를 만족하는 클래스 계층 그래프의 재구성법으로써, 다섯가지 기본조작을 정의하고, 정의된 기본 조작만을 이용하여 클래스계층 그래프를 확장 재구성할 수 있음을 보이기위해, 기본 조작의 정당성 및 완전성을 증명한다. 본 논문에서 제안한 객체 확장관계 및 기본 재구성기법은, 기존의 객체 지향 어플리케이션을 확장 재구성하고자 할 때 이론 적인 토대로서 이용할 수 있다.

There are some advantages of developing applications based on the object oriented concepts. One os 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 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 object-oriented application systems.