ESTELLE Preprocessor의 설계 및 구현

  • 인소란 (홍익대학교 이공대학원 전자계산과) ;
  • 곽호영 (홍익대학교 대학원)
  • Published : 1987.10.01

Abstract

본고는 FDT(Formal Description Technique)에 속하는, 통신 프로토콜의 규격기술에 사용되는 기법언어인 ESTELLE 언어를 대상으로 이를 5-PASCAL로 전환해주는 preprocessor의 설계 및 구현에 대한 연구결과이다. ESTELLE의 특성은 상태전이 처리 측면에 concurrent 개념을 지니고 있다. 가장 최적화된 방법으로는concurrent 개념을 모두 수용해주는 H/W와 S/W환경이 구비된 조건에서 concurrent 언어로 전환하는 것이 타당하나 본 고에서는 ESTELLE 언어와 구성상 유사한 PASCAL 중 sequential PASCAL을 target 언어로 하였다.

Keywords