병행객체지향 언어에서 행위 방정식을 이용한 상속 변칙

Inheritance Anomaly using Behavior Equation in Concurrent Object-Oriented Programming Languages

상속 변칙이 발생하는 기본적인 이유는 병행객체에 대해 동기화 코드가 메소드 코드와 적당하게 분할되지 않을 때, 파생 클래스를 만들어내기 위한 코드의 확장이 슈퍼 클래스에 존재하는 동기화 코드와 메소드 코드를 변경하도록 할 때, 그리고 병행 객체지향 언어에서 상속성과 병행성이 결합할 때 발생한다. 강조할 점은 상속 변칙을 피하는 방법이다. 그래서 본 논문에서는 새로운 모델인 객체 모델을 제안하고 행위 방정식을 사용하여 병행 객체지향 언어에서 나타나는 상속 변칙의 문제를 최소화시키고자 한다.

The fundamental reason why inheritance anomaly occurs is that for a concurrent object, when synchronization code is not properly separated from the method code, the extension of code to produce a derived class may force the change of both the synchronization code and the method code in the super class, and inheritance is integrated inheritance in a simple and satisfactory way within a concurrent object-oriented language. The main emphasis on how to avoid or minimize inheritance anomaly. Therefore, in this paper we propose a new model, object model, and will minimizes the problem of inheritance anomaly found in concurrent object-oriented programming languages using Behavior Equation.