한국정보처리학회논문지 (The Transactions of the Korea Information Processing Society)
- 제3권6호
- /
- Pages.1522-1533
- /
- 1996
- /
- 1226-9190(pISSN)
통신 프로토콜 명세 언어 SDL을 위한 소프트웨어 개발 환경 구현
A study on implementation of software development environment for SDL
- Choe, Yeong-Han (Electronics And Telecommunications Research Institute) ;
- Kim, Seong-Un (Dept.of Information Communication Engineering, Pukyong National University)
- 발행 : 1996.11.01
초록
본 논문은 SDL로 쓰여진 통신 프로토콜을 검정하고 명세하기 위한 통신 소프트웨 어 개발 환경 구현에 대해 기술한다. 이 환경은 상업용 소프트웨어 개발을 위한 Concerto라 불리는 소프트웨어 팩토리를 이용해 구현되었다. Concerto는 실시간 시스 템 또는 통신프로토콜 분야의 응용소프트웨어 개발을 위해 설계된 소프트웨어 팩토리 로 해당 소프트웨어 개발 및 구현 자동화까지 여러 가지 도구들을 제공한다. 이러한 과정들은 여러 가지 형태의 formalism 즉 C언어,
This paper presents a programming environment for the edition and verification of specification language SDL. It is implemented in the Concerto software factory, which has been as a support for 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
키워드