본 논문은 SDL로 쓰여진 통신 프로토콜을 검정하고 명세하기 위한 통신 소프트웨어 개발 환경 구현에 대해 기술한다. 이 환경은 상업용 소프트웨어 개발을 위한 Conerto라 불리는 소프트웨어 팩토리를 이용해 구현되었다. Conerto는 실시간 시스템 또는 통신 포로토콜 분야의 응용 소프트웨어 개발을 위해 설계된 소프트웨어 팩토리로 해당 소프트웨어 개발 및 구현 자동화까지 여러 가지 도구들을 제공한다. 이러한 과정ㄷ르은 여러 가지 형태의 formation 즉 C 언어, C++, structured 도구화 기법 및 HOOD(Hirachical Object Oriented Design) 방법의 손쉬운 통합들을 통해 이루어지는데, 본 논문에서는 통신 프로토콜 소프트웨어 개발 과정에서 필요한 도구들인 SDL(System Description Language) 명세(specification)를 위한 그래픽 편집기 구현과 SDL 명세에 대한 동적 분석기(dynamic analysis tool) 등의 구현에 대해 설명한다. 먼저 구현된 확경에 대한 주요한 기술들을 설명하고, 실제 통신 프로토콜에 적용하기 위해 Inres 프로토콜을 예를 들어 설명하였다. 또, Concerto의 하이퍼텍스트 매커니즘이 해당 프로토콜과 상용되는 서비스 사이의 논리적인 링크를 어떻게 생성하는지에 대한 방법을 기술하였다.

This paper presents a programming environment for the edition and verification of the specification language SDL. It is implemented in the Concerto software factory, which has been designed as a support fir the development of real size software. Concerto is a software factory designed for application development in the fields of computer communication protocols or real time system. It offers various kinds of tools to produce software, organize this production and automate it. Concerto allows a smooth integration of various formalism such as the C and C languages, structured documentation, HOOD methodology(Hierarchical Object Oriented Design). In this paper, as an important tools in the process of communication protocol software development, we describe an implementations of SDL graphical editor tool and a tools for the dynamic analysis of SDL specifications. We frist describe the principles of this environment, then we illustrate its application by means of a simple example, the Inres protocol. Moreover, we study how the hypertext mechanism of Concerto enables to create logical links between a protocol and its associated service.