기관회원 [로그인]
소속기관에서 받은 아이디, 비밀번호를 입력해 주세요.
개인회원 [로그인]

비회원 구매시 입력하신 핸드폰번호를 입력해 주세요.
본인 인증 후 구매내역을 확인하실 수 있습니다.

회원가입
서지반출
통신 프로토콜 명세 언어 SDL을 위한 소프트웨어 개발 환경 구현
[STEP1]서지반출 형식 선택
파일형식
@
서지도구
SNS
기타
[STEP2]서지반출 정보 선택
  • 제목
  • URL
돌아가기
확인
취소
  • 통신 프로토콜 명세 언어 SDL을 위한 소프트웨어 개발 환경 구현
  • A study on implementation of software development environment for SDL
저자명
최영한,김성운,Choe. Yeong-Han,Kim. Seong-Un
간행물명
정보처리논문지
권/호정보
1996년|3권 6호|pp.1522-1533 (12 pages)
발행정보
한국정보처리학회
파일정보
정기간행물|
PDF텍스트
주제분야
기타
이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
서지반출

기타언어초록

본 논문은 SDL로 쓰여진 통신 프로토콜을 검정하고 명세하기 위한 통신 소프트웨 어 개발 환경 구현에 대해 기술한다. 이 환경은 상업용 소프트웨어 개발을 위한 Concerto라 불리는 소프트웨어 팩토리를 이용해 구현되었다. Concerto는 실시간 시스 템 또는 통신프로토콜 분야의 응용소프트웨어 개발을 위해 설계된 소프트웨어 팩토리 로 해당 소프트웨어 개발 및 구현 자동화까지 여러 가지 도구들을 제공한다. 이러한 과정들은 여러 가지 형태의 formalism 즉 C언어, $C^{++}$, structured 도구화 기법 및 HOOD(Hierarchical 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 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 $C^{++}$, languages, structured documentation, HOOD methodology (Hierarchical Object Orient Design). In this paper, as an important tools in the process of communication protocol software development, we describe fist describe the principles of this environment, then we illustrate its application by means of a simple example, the Inres protocol. Moreover, we study how hypertext mechanism of Concert to create logical links between a protocol and its asscoiated service.