A user friendly software environment for protocol synthesis

Norio Shiratori, Yao Xue Zhang, Kaoru Takahashi, Shoichi Noguchi

    Research output: Contribution to journalArticle

    5 Citations (Scopus)

    Abstract

    An attempt is made to design a user-friendly software environment for protocol synthesis based on the FSM (finite state machine), and to show the validity of applying AI (artificial intelligence) techniques to the construction of such a system. For that purpose, the authors have first designed a user-friendly software environment, named SEPS, using the programming language C, which belongs to the procedural programming paradigm. The aim of SEPS is to help a protocol designer to easily design a protocol and avoid logical errors like unspecified receptions and state deadlocks. In order to enhance the productivity of protocol development, a user-friendly interface has been designed which employs the multiwindow mechanism and provides the graphic tools in this system. Consequently, a protocol designer without any experience in protocol synthesis can easily design a protocol without logical errors. The authors have also designed a knowledge-based software environment for protocol synthesis, named KSPS, using the expert system tool OPS83. KSPS has the same functions as SEPS. The advantages of KSPS over SEPS in terms of extension, modification, and maintenance of protocol development systems are shown.

    Original languageEnglish
    Pages (from-to)477-486
    Number of pages10
    JournalIEEE Transactions on Computers
    Volume40
    Issue number4
    DOIs
    Publication statusPublished - 1991 Apr

    Fingerprint

    Synthesis
    Network protocols
    Software
    Deadlock
    Finite automata
    State Machine
    System Development
    Knowledge-based
    Computer programming
    Expert System
    Computer programming languages
    Expert systems
    User Interface
    User interfaces
    Productivity
    Artificial intelligence
    Programming Languages
    Artificial Intelligence
    Maintenance
    Programming

    ASJC Scopus subject areas

    • Hardware and Architecture
    • Electrical and Electronic Engineering

    Cite this

    Shiratori, N., Zhang, Y. X., Takahashi, K., & Noguchi, S. (1991). A user friendly software environment for protocol synthesis. IEEE Transactions on Computers, 40(4), 477-486. https://doi.org/10.1109/12.88467

    A user friendly software environment for protocol synthesis. / Shiratori, Norio; Zhang, Yao Xue; Takahashi, Kaoru; Noguchi, Shoichi.

    In: IEEE Transactions on Computers, Vol. 40, No. 4, 04.1991, p. 477-486.

    Research output: Contribution to journalArticle

    Shiratori, N, Zhang, YX, Takahashi, K & Noguchi, S 1991, 'A user friendly software environment for protocol synthesis', IEEE Transactions on Computers, vol. 40, no. 4, pp. 477-486. https://doi.org/10.1109/12.88467
    Shiratori, Norio ; Zhang, Yao Xue ; Takahashi, Kaoru ; Noguchi, Shoichi. / A user friendly software environment for protocol synthesis. In: IEEE Transactions on Computers. 1991 ; Vol. 40, No. 4. pp. 477-486.
    @article{b4965cc0e77543b5acfca03157624eb5,
    title = "A user friendly software environment for protocol synthesis",
    abstract = "An attempt is made to design a user-friendly software environment for protocol synthesis based on the FSM (finite state machine), and to show the validity of applying AI (artificial intelligence) techniques to the construction of such a system. For that purpose, the authors have first designed a user-friendly software environment, named SEPS, using the programming language C, which belongs to the procedural programming paradigm. The aim of SEPS is to help a protocol designer to easily design a protocol and avoid logical errors like unspecified receptions and state deadlocks. In order to enhance the productivity of protocol development, a user-friendly interface has been designed which employs the multiwindow mechanism and provides the graphic tools in this system. Consequently, a protocol designer without any experience in protocol synthesis can easily design a protocol without logical errors. The authors have also designed a knowledge-based software environment for protocol synthesis, named KSPS, using the expert system tool OPS83. KSPS has the same functions as SEPS. The advantages of KSPS over SEPS in terms of extension, modification, and maintenance of protocol development systems are shown.",
    author = "Norio Shiratori and Zhang, {Yao Xue} and Kaoru Takahashi and Shoichi Noguchi",
    year = "1991",
    month = "4",
    doi = "10.1109/12.88467",
    language = "English",
    volume = "40",
    pages = "477--486",
    journal = "IEEE Transactions on Computers",
    issn = "0018-9340",
    publisher = "IEEE Computer Society",
    number = "4",

    }

    TY - JOUR

    T1 - A user friendly software environment for protocol synthesis

    AU - Shiratori, Norio

    AU - Zhang, Yao Xue

    AU - Takahashi, Kaoru

    AU - Noguchi, Shoichi

    PY - 1991/4

    Y1 - 1991/4

    N2 - An attempt is made to design a user-friendly software environment for protocol synthesis based on the FSM (finite state machine), and to show the validity of applying AI (artificial intelligence) techniques to the construction of such a system. For that purpose, the authors have first designed a user-friendly software environment, named SEPS, using the programming language C, which belongs to the procedural programming paradigm. The aim of SEPS is to help a protocol designer to easily design a protocol and avoid logical errors like unspecified receptions and state deadlocks. In order to enhance the productivity of protocol development, a user-friendly interface has been designed which employs the multiwindow mechanism and provides the graphic tools in this system. Consequently, a protocol designer without any experience in protocol synthesis can easily design a protocol without logical errors. The authors have also designed a knowledge-based software environment for protocol synthesis, named KSPS, using the expert system tool OPS83. KSPS has the same functions as SEPS. The advantages of KSPS over SEPS in terms of extension, modification, and maintenance of protocol development systems are shown.

    AB - An attempt is made to design a user-friendly software environment for protocol synthesis based on the FSM (finite state machine), and to show the validity of applying AI (artificial intelligence) techniques to the construction of such a system. For that purpose, the authors have first designed a user-friendly software environment, named SEPS, using the programming language C, which belongs to the procedural programming paradigm. The aim of SEPS is to help a protocol designer to easily design a protocol and avoid logical errors like unspecified receptions and state deadlocks. In order to enhance the productivity of protocol development, a user-friendly interface has been designed which employs the multiwindow mechanism and provides the graphic tools in this system. Consequently, a protocol designer without any experience in protocol synthesis can easily design a protocol without logical errors. The authors have also designed a knowledge-based software environment for protocol synthesis, named KSPS, using the expert system tool OPS83. KSPS has the same functions as SEPS. The advantages of KSPS over SEPS in terms of extension, modification, and maintenance of protocol development systems are shown.

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

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

    U2 - 10.1109/12.88467

    DO - 10.1109/12.88467

    M3 - Article

    AN - SCOPUS:0026142689

    VL - 40

    SP - 477

    EP - 486

    JO - IEEE Transactions on Computers

    JF - IEEE Transactions on Computers

    SN - 0018-9340

    IS - 4

    ER -