Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2000.04a
- /
- Pages.745-750
- /
- 2000
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
A Practical Approach to Framing In Interface Specifications
인터페이스 명세에서 효과적인 프레임 방법
- Cheon, Yoon-Sik (ETRI Computer & Software Technology Laboratories) ;
- Kim, Heung-Nam (ETRI Computer & Software Technology Laboratories)
- Published : 2000.04.14
Abstract
인터페이스 명세에서 프레임문제(frame problem)란 "특정부분 이외의 모든 프로그램 상태는 변화되지 않는다"는 것을 기술하는 문제이다. 본 논문에서는 프레임문제를 상속을 지원하는 객체지향명세에서 재조명하고 이에 대한 현실적인 접근방법을 제시한다. 먼저 프레임문제를 정형적으로 다루기 위하여 프레임관계(frame relation)라는 개념을 도입한다. 프레임관계는 연산자와 변수간의 관계로 특정 연산자가 어떤 변수를 수정할 수 있는가를 나타낸다. 슈퍼클래스의 프레임관계는 앵커관계(anchoring relation)를 통하여 서브클래스로 확장되는데, 앵커관계는 서브클래스 변수에서 슈퍼클래스 변수로의 사상이다. 앵커관계는 프레임문제 해결의 핵심적인 역할을 한다. 즉, 연산자가 슈퍼클래스의 특정 변수를 수정할 수 있다는 것은 그 변수에 앵커 된 모든 서브클래스 변수를 수정할 수 있다는 것을 의미한다. 앵커관계는 프레임문제의 현실적이고 효과적인 접근방법으로, 널리 보급된 선.후조건문 방식의 인터페이스명세에 잘 접목된다는 부가적인 장점을 가진다.
Keywords