Specification and Compatiblity Check of the Component compositions for the Reuse

재사용을 위한 요소간 결합의 명세 및 호환성 체크

In the object oriented methods, most of the objects are independent from the another. However to get their job done from the system's point of view, they must have some kind of connection established among them. This means that the cooperation among the objects through the interaction is just as important as the static side of the objects. Usually, checking for correctness, compatibility and reasoning of the objects is limited due to the fact that the interactions between the objects are expressed in the form of a line or a box. The reuse experts often claim that the design reuse is more important than code reuse, mostly because it can be applied in more contexts and so is more common. The composition of the objects is also considered as a very important definition in the area of framework which is generally known as a technique to support reuse at both the coding and the designing level. Therefore on this thesis, the composition of such objects has been studied to provide a formal means of evaluating the component's compatibility and better possibility for further improvement in the area of framework, by formalizing the component compositions using the LOTOS.

객체지향 방법론에서 대부분의 객체들은 독자적인 독립체이지만 시스템 전체적인 측면에서는 서로가 자기에게 주어진 역할을 완수하기 위해서 다른 객체와 상호 협력관계를 가져야만 한다. 이는 객체들의 정적인 측면도 중요하지만 다른 객체와의 interaction을 통한 상호 협력관계의 명세가 중요함을 의미한다. 일반적으로 객체들간의 상호작용을 선이나 박스 등과 같은 비정형적인 형태로 표현함으로써, 추론과 정확성 검증 그리고 호환성 체크와 같은 것이 어렵다는 한계를 갖고 있다. 재사용 전문가들은 설계의 재사용이 보다 일반적이고 광범위하게 적용되기 때문에 코드의 재사용보다 중요하다고 한다. 또한 프레임워크는 일반적으로 코드수준의 재사용과 설계단계의 재사용을 지원하는 재사용 기법으로 알려져 있는데, 여기에서도 각 객체들간의 결합성이 매우 중요한 개념으로 취급되고 있다. 따라서 본 논문에서는 LOTOS를 이용하여 요소들 간의 결합에 관한 표기를 정형화하고 아울러 호환성 여부를 체크할 수 있도록 함으로써 향후 프레임워크로 확장이 가능할 수 있는 토대를 마련하고자 한다.