이 논문에서 우리는 OARTS(Object based Approach for Real-Time Systems)를 위한 시나리오를 표현하는 방법과 명세언어 및 확인기법을 제안한다. 이 방법은 지금까지 방법론 차원의 시나리오를 다루지 않았기 때문에 일반적인 모델링기법(사건추적도)에 명세언어와 확인방법을 포함한다. 본 논문은 객체에 기초한 통신 인터페이스인 외부 모듈 천이의 동기를 중심으로 내부 액션 천이와 외부 사건들의 열의 표현에 중점을 둔다. 실제의 예를 통하여 제안된 방법이 분석 단계의 요구사항들을 잘 반영하였으며 개념적인 확인기를 통하여 그 표현의 정당성을 확인할 수 있었다. 또한 이 방법은 일반적인 실시간 시나리오를 표현하기 위한 분석 도구로도 이용될 수 있을 것이다.
In this paper, we propose a scenario representing method, a specification language, and a verification technique for OARTS(Object based Approach for Real-Time Systems). As well as the general modeling method(event trace diagram), this study includes a specification language and a verification technique because there was no study about methodological level technique for scenario development as yet. Centering around the synchronization problem of transition of external modules which are the communication interfaces based on the objects, we lay stress on the representation of sequence of external events and internal action transitions. From the results of practical experiences, it has been ascertained that the proposed method reflect well the requirements in the analysis step, and its validity of the representation has been identified by a conceptual verifier. We support that it can serve as an analyzing tool for representing a general real-time scenarios also.
