Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 54-62 |
| Number of pages | 9 |
| Journal | Systems and Computers in Japan |
| Volume | 19 |
| Issue number | 12 |
| Publication status | Published - 1988 Dec |
ASJC Scopus subject areas
- Computational Theory and Mathematics
- Hardware and Architecture
- Information Systems
- Theoretical Computer Science