객체지향 시스템의 객체들은 서브타입과 수퍼타입의 관계로 구성될 수 있다. 즉 서브타입은 수퍼타입의 구조와 행위를 상속하고 특화하는 방식의 계층적 구조를 가진다. 기존 시스템의 확장과 진화를 가능케 하기 위해서 수퍼타입과 서브타입간의 행위적 호환성은 둘 간의 대체가능성을 위하여 중요한 문제이다. 본 논문에서는 객체의 동적 행위를 기술하는 범용적인 표현 방법 중 하나인 유한상태기계로 표현된 객체의 동적 행위를 바탕으로 객체간의 행위적 호환성을 검사할 수 있는 기법인 메소드 규칙을 확장한 연속 메소드 규칙을 제시한다. 연속 메소드 규칙은 기존의 메소드 규칙(methods rule)을 바탕으로 두 객체의 자취를 조사함으로써 두 객체가 행위적 호환성이 있음을 보장한다. 또한 연속 메소드 규칙을 이용하여 행위적 호환성을 검증할 수 있는 알고리즘을 제시한다.
In object-oriented systems, objects are organized in hierarchies such that subtypes Inherit and specialize the structure and the behavior of supertypes. Behavioral compatibility is a very crucial issue to permit the substitution between object types, which supports the extension and evolution of object oriented system. This paper proposes successive methods rule that extending methods rule for checking behavioral compatibility between objects on the basis of their dynamic behaviors expressed in finite state machine which is one of the most frequently used notations for expressing dynamic behaviors of object. Based on the classical methods rule, successive methods rule is used for guarantee behavioral compatibility by checking the traces of two objects. And we describe an algorithm for verifying behavioral compatibility between objects using the successive methods rule.
