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

    Fingerprint

    Communication Protocol
    Network protocols
    Usability
    Conformance Testing
    Dynamical systems
    Automatic Verification
    Mathematical models
    Formal Specification
    System Dynamics
    Development Process
    Testing
    Paradigm
    Mathematical Model

    ASJC Scopus subject areas

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

    これを引用

    Effective application of net-theory to communication protocol development. / Shiratori, Norio; Lee, Eun Seok; Teruya, Ken.

    :: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 巻 E77-A, 番号 10, 10.1994, p. 1588-1593.

    研究成果: Article

    @article{47c20f4273924c82b7031bcf924c9b5a,
    title = "Effective application of net-theory to communication protocol development",
    abstract = "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.",
    author = "Norio Shiratori and Lee, {Eun Seok} and Ken Teruya",
    year = "1994",
    month = "10",
    language = "English",
    volume = "E77-A",
    pages = "1588--1593",
    journal = "IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences",
    issn = "0916-8508",
    publisher = "Maruzen Co., Ltd/Maruzen Kabushikikaisha",
    number = "10",

    }

    TY - JOUR

    T1 - Effective application of net-theory to communication protocol development

    AU - Shiratori, Norio

    AU - Lee, Eun Seok

    AU - Teruya, Ken

    PY - 1994/10

    Y1 - 1994/10

    N2 - 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.

    AB - 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.

    UR - http://www.scopus.com/inward/record.url?scp=0028530255&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=0028530255&partnerID=8YFLogxK

    M3 - Article

    AN - SCOPUS:0028530255

    VL - E77-A

    SP - 1588

    EP - 1593

    JO - IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

    JF - IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

    SN - 0916-8508

    IS - 10

    ER -