A Study on the Specification of Communication Protocols Using Ada

Ada 언어를 이용한 통신 프로토콜의 명세화에 관한 연구

In this paper, in first we show a main concept of Ada language and the architectures and functions of transport model for OSI, and than represent the possibility of describing the transport interface using Ada language. It is gived a following result. As we specify communication protocol using the Ada, we can to create of program for processing the communication protocol or for processing protocol itself. It is know to us to represent the effect debugging of softeware.

본 논문은 Ada의 주요개념과 OSI 전송을 위한 전송모델의 구조 및 기능을 알아본후 전송 인터페이스를 Ada언어로 기술가능함을 제시하였다. 이는 Ada언어를 사용하여 통신 프로토콜을 명세화하므로서 통신 프로토콜처리용의 프로그램생성이나 프로토콜 제품의 작성을 Ada언어로 수행될 수 있도록 함으로서 소프트웨어 검증등에 좋은 효과를 제공하기 위함이다.