A Practical Approach to Framing In Interface Specifications

인터페이스 명세에서 효과적인 프레임 방법

인터페이스 명세에서 프레임문제(frame problem)란 "특정부분 이외의 모든 프로그램 상태는 변화되지 않는다"는 것을 기술하는 문제이다. 본 논문에서는 프레임문제를 상속을 지원하는 객체지향명세에서 재조명하고 이에 대한 현실적인 접근방법을 제시한다. 먼저 프레임문제를 정형적으로 다루기 위하여 프레임관계(frame relation)라는 개념을 도입한다. 프레임관계는 연산자와 변수간의 관계로 특정 연산자가 어떤 변수를 수정할 수 있는가를 나타낸다. 슈퍼클래스의 프레임관계는 앵커관계(anchoring relation)를 통하여 서브클래스로 확장되는데, 앵커관계는 서브클래스 변수에서 슈퍼클래스 변수로의 사상이다. 앵커관계는 프레임문제 해결의 핵심적인 역할을 한다. 즉, 연산자가 슈퍼클래스의 특정 변수를 수정할 수 있다는 것은 그 변수에 앵커 된 모든 서브클래스 변수를 수정할 수 있다는 것을 의미한다. 앵커관계는 프레임문제의 현실적이고 효과적인 접근방법으로, 널리 보급된 선.후조건문 방식의 인터페이스명세에 잘 접목된다는 부가적인 장점을 가진다.