Effective application of net-theory to communication protocol development

Norio Shiratori, Eun Seok Lee, Ken Teruya

    Research output: Contribution to journalArticle

    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.

    Original languageEnglish
    Pages (from-to)1588-1593
    Number of pages6
    JournalIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
    VolumeE77-A
    Issue number10
    Publication statusPublished - 1994 Oct

    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

    Cite this

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

    In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E77-A, No. 10, 10.1994, p. 1588-1593.

    Research output: Contribution to journalArticle

    @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 -