병행성(concurrency)과 객체지향 패러다임을 통합하는 문제가 여러 해 동안 많은 사람들의 목표가 되어 왔다. 병행 프로그래밍과 객체지향 프로그래밍 기법을 결합한 병행 객체지향 프로그래밍 언어는 병행 응용 프로그램을 개발하는데 여러 가지 이점을 얻을 수 있다. 그러나 병행성과 상속성은 서로 충돌하는 특성을 가지기 때문에 캡슐화를 심각하게 파괴하지 않고는 동시에 사용하는 것이 어렵게 된다. 이러한 상속변칙 현상은 응용성을 제한하게 되고, 동기화가 발생하는 모든 문제를 처리하지 못하게 된다. 본 논문에서는 상속성과 객체 기반의 병행성 사이의 충돌 현상 해결에 행위 기술 방정식을 도입하였다. 그 결과, 여러 가지 상속 변칙 문제를 해결할 수 있고 메소드의 재정의가 불필요하게 되었다. 따라서 동기화와 함수 코드의 재사용을 인하여 유연성을 가진 병행성 모델을 제공할 수 있다.
The integration of concurrency and object-oriented programming paradigm has been a goal of researchers for over a decade. The concurrent object-oriented programming languages used for various concurrent applications development. However, concurrency and inheritance have conflicting characteristics, thereby inhibiting their simultaneous use without heavy breakage of encapsulation. This conflicting phenomenon is known as inheritance anomalies, have been limited in applicability and have not addressed all the issues that synchronization raises. In this paper, the behavior description equation is introduced for the solution for the conflicting phenomenon, between inheritance and object-based concurrency. As a result, it can solve the several inheritance anomalies and is not necessary to redefine method. Therefor, it offers flexible concurrency model with an emphasis on the reuse of both synchronization and function code.
