통신망 프로토콜은 정보통신망의 중추 신경계를 형성하면서 통신망 시스팀을 구성하는 각 부분들과 전체적으로 조화있게 동작하여야 한다. 최근에 이르러 통신망의 규모 및 복잡성이 증대되고 통신망 시스팀을 구성하고 있는 부분적인 시스팀들이 여러 회사에서 생산됨에 따라, 통신망 프로토콜에 대한 규격을 보다 정확한 방식으로 기술하는 것이 필요하게 되었다. 프로토콜을 정확하게 기술하기 위하여는, 통신망 프로토콜을 정확하고 모호하지 않게 표현 할 수 있는 형식 표현 기법(FDT : Formal Description Technique)이 정의되어야 한다. 지금까지 널리 받아들여지고 있는 대표적인 FDT에는 ESTELLE(ISO 422), LOTOS(ISO 423), SDL 및 Petri Net 등이 있으며, 이들 FDT에 관한 연구는 국제 기구인 ISO, CCITT를 중심으로 하여 활발히 진행되고 있다. 본고에서는 ISO 의 subgroup B 를 중심으로 연구되고 있는 FDT인 ESTELLE를 중심으로 하여 ESTELLE의 기본 개념 및 ESTELLE프로그램의 구성에 대하여 소개하고자 한다.