MSC로 작성된 통신 프로토콜 명세의 의미론 연구

Study on the Semantics of Communication Protocols in Message Squence Charts

  • 방기석 (고려대학교 컴퓨터학과 정형기법연구실) ;
  • 류광열 (고려대학교 컴퓨터학과 정형기법연구실) ;
  • 오정기 (극동 정보통신 대학교) ;
  • 최진영 (고려대하교 컴퓨터학과 정형기법연구실)
  • 발행 : 2000.04.01

초록

메시지 순서도(Message Sequence Chart,MSC)는 ITU-T에서 국제적인 표준으로 제안되어 주로 전기 통신 교환 시스템과 같은 실시간 시스템을 위한 통신 행위에 대한 개괄적인 표현 방법으로서 널리 사용되어지고 있으며 요구 명세, 인터페이스 명세, 시뮬레이션 및 검정을 위해 사용되어지고 있다. MSC의 장점이라면 표현된 시스템의 행위를 직관적으로 이해할 수 있게 해주는 그래픽 표현을 제공하는 것이다. 의미론 입장에서 보면 MSC는 폴세스 대수 ACP의 변형인 PA$\varepsilon$에 의해 의미를 부여받고 있긴 하지만 이해하기가 난해한 것이 사실이다. 본 논문에서는 MSC의 동작적 의미를 분석하며 ACSR로 변환하여 그 의미를 보다 쉽게 파악하는 방법론에 대해 다룬다.

키워드