抄録
This paper presents an effective application of Net-theory for all the stages of the communication protocol development process. Net-theory provides a basic mathematical model and tool for development of communication protocol. The special usability of Net-theory is that 1) visual representation of the system's stadic/dynamic structure, so that users may easily understand the represented contents, 2) formal specifications based on mathematical basis of Net-theory admit automatic verification, implementation and conformance testing. We have seen that Net-theory which has the above usability can provide a systematic and advanced paradigm for effective communication protocol development.
| 本文言語 | English |
|---|---|
| ページ（範囲） | 1588-1593 |
| ページ数 | 6 |
| ジャーナル | IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences |
| 巻 | E77-A |
| 号 | 10 |
| 出版ステータス | Published - 1994 10月 |
ASJC Scopus subject areas
- ハードウェアとアーキテクチャ
- 情報システム
- 電子工学および電気工学