Abstract

객체지향분석 및 설계 결과를 재이용하기 위해서는, 설계결과를 목적에 맞추어 등가 변환시키거나, 기존의 설계결과를 완전히 포함하도록 확장 변환시키는 기법이 필요하다. 이와 같은 변환을 실현하기 위하여, 기존의 클래스계층구조의 재구성에 관한 기법들이 연구되어왔다. 그러나, 기존의 클래스계층구조의 재구성에 관한 연구에서는 클래스계층구조의 클래스간의 계승계층 및 집약계층의 데이터멤버에만 초점을 맞추었고, 객체지향개념에서 중요한 요소 중의 하나인 객체의 동적측면을 나타내는 멤버함수에 대해서는 전혀 언급되지 않았다. 본 논문에서는, 클래스계층구조에 멤버함수, 즉, 메소드의 개념을 도입하였고, 클래스계층구조를 보다 형식적으로 표현하기 위하여 문법표현을 정의하였다. 클래스계층 구조의 성질을 증명하는데 있어서 문법표현은 유용하게 사용될 수 있다. 본 논문에서 정의한 문법표현은, 클래스계층구조의 성질을 논의하고자 할 때, 클래스계층구조의 제반 성질들을 기술하기 위한 도구로써 사용할 수 있다.

Keywords