한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

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

Study on the Semantics of Communication Protocols in Message Squence Charts

  • 방기석 (고려대학교 컴퓨터학과 정형기법연구실) ;
  • 류광열 (고려대학교 컴퓨터학과 정형기법연구실) ;
  • 오정기 (극동 정보통신 대학교) ;
  • 최진영 (고려대하교 컴퓨터학과 정형기법연구실)
  • 발행 : 2000.04.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

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

키워드