Effective application of net-theory to communication protocol development

Norio Shiratori, Eun Seok Lee, Ken Teruya

    研究成果: Article

    抜粋

    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

    • Hardware and Architecture
    • Information Systems
    • Electrical and Electronic Engineering

    フィンガープリント Effective application of net-theory to communication protocol development' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用