抄録
To increase the productivity of communication software development for information networks, it is necessary to establish the techniques of automatic implementation and verification of protocols. This paper presents a user-friendly interactive protocol implementation support system which produces software corresponding to a given protocol specification. In this system, when specification is given using a protocol specification language NESDEL, a corresponding program is generated interactively by obtaining programs are written in IDL, a communication software oriented programming language. One of the most important problems in designing this system is how to represent and acquire information necessary to generate software from a protocol. We show that the concept of frame in knowledge engineering is effective in constructing a user-friendly interface to represent such information and to obtain necessary information from the user.
| 本文言語 | English |
|---|---|
| ページ（範囲） | 54-62 |
| ページ数 | 9 |
| ジャーナル | Systems and Computers in Japan |
| 巻 | 19 |
| 号 | 12 |
| 出版ステータス | Published - 1988 12月 |
ASJC Scopus subject areas
- 計算理論と計算数学
- ハードウェアとアーキテクチャ
- 情報システム
- 理論的コンピュータサイエンス