Abstract
Since many man-made systems consist of autonomous and interactive components, it is intrinsically difficult to analyze their abnormal behavior. The logical analysis of such a system is an indispensable process for high quality and reliable system development. In this paper, we propose an analysis method using two algebraic operations, named composition and minimization. Repetitive composition and minimization of component models with respect to a set of important events produces a new analysis model that has the same input output responses to an environment. An analysis example of the alternating bit protocol demonstrates the effectiveness of the proposed method showing that each message generated at the sender side eventually arrives to a receiver.
사람이 만든 시스템들은 서로 상호 작용하는 여러 개의 요소 시스템들로 이루어지기 때문에, 시스템 오류로 인한 비정상적인 현상이 발생하였을 경우 그 논리적 오류를 분석하는 것이 매우 어렵다. 또한 높은 품질과 안정적인 시스템 개발을 위해서는 논리적 해석 방법이 반드시 적용되어질 필요가 있다. 본 논문에서는 시스템의 합성과 축소화 두 연산을 정의하고 이것을 기반으로 시스템을 해석하는 방법을 제안한다. 제안한 방법에서는 시스템의 합성과 축소화 과정을 반복적으로 수행하되 내부 이벤트들을 간소화 시킴으로써 주요 입출력 이벤트들의 응답이 같음을 확인하는 방법이다. 제안한 방법의 효용성을 보이기 위해 기존의 간단한 통신 프로토콜에 대하여 적용하여 보았으며, 전송매체에 전달된 메시지는 수신측에 반드시 전달된다는 것을 확인할 수 있었다.
