Construction of a protocol synthesis environment and its implementation

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

    Research output: Contribution to journalArticle

    Abstract

    A software environment for interactively synthesizing communication protocols without logical errors has been developed. It contains a synthesis algorithm which eliminates the logical errors, and a human interface which has a multiwindow environment, a graphical interface, colors and texts utilities. Moreover, it not only expresses the synthesized protocol as labeled directed graphs, but also provides advices on how to give the input for the protocol designer by using the colors and the texts utilities. Consequently, the protocol design has been facilitated. As an example, a call-establish phase of X.25 has been synthesized by using the software environment.

    Original languageEnglish
    Pages (from-to)34-49
    Number of pages16
    JournalSystems and Computers in Japan
    Volume21
    Issue number1
    Publication statusPublished - 1990 Jan

    Fingerprint

    Synthesis
    Network protocols
    Human Interface
    Software
    Communication Protocol
    Color
    Directed Graph
    Directed graphs
    Eliminate
    Express
    Text
    Design
    Graphics

    ASJC Scopus subject areas

    • Computational Theory and Mathematics

    Cite this

    Shiratori, N., Zhang, Y. X., Takahashi, K., & Noguchi, S. (1990). Construction of a protocol synthesis environment and its implementation. Systems and Computers in Japan, 21(1), 34-49.

    Construction of a protocol synthesis environment and its implementation. / Shiratori, Norio; Zhang, Yao Xue; Takahashi, Kaoru; Noguchi, Shoichi.

    In: Systems and Computers in Japan, Vol. 21, No. 1, 01.1990, p. 34-49.

    Research output: Contribution to journalArticle

    Shiratori, N, Zhang, YX, Takahashi, K & Noguchi, S 1990, 'Construction of a protocol synthesis environment and its implementation', Systems and Computers in Japan, vol. 21, no. 1, pp. 34-49.
    Shiratori N, Zhang YX, Takahashi K, Noguchi S. Construction of a protocol synthesis environment and its implementation. Systems and Computers in Japan. 1990 Jan;21(1):34-49.
    Shiratori, Norio ; Zhang, Yao Xue ; Takahashi, Kaoru ; Noguchi, Shoichi. / Construction of a protocol synthesis environment and its implementation. In: Systems and Computers in Japan. 1990 ; Vol. 21, No. 1. pp. 34-49.
    @article{0884169db49a4e2abf637f59c7579597,
    title = "Construction of a protocol synthesis environment and its implementation",
    abstract = "A software environment for interactively synthesizing communication protocols without logical errors has been developed. It contains a synthesis algorithm which eliminates the logical errors, and a human interface which has a multiwindow environment, a graphical interface, colors and texts utilities. Moreover, it not only expresses the synthesized protocol as labeled directed graphs, but also provides advices on how to give the input for the protocol designer by using the colors and the texts utilities. Consequently, the protocol design has been facilitated. As an example, a call-establish phase of X.25 has been synthesized by using the software environment.",
    author = "Norio Shiratori and Zhang, {Yao Xue} and Kaoru Takahashi and Shoichi Noguchi",
    year = "1990",
    month = "1",
    language = "English",
    volume = "21",
    pages = "34--49",
    journal = "Systems and Computers in Japan",
    issn = "0882-1666",
    publisher = "John Wiley and Sons Inc.",
    number = "1",

    }

    TY - JOUR

    T1 - Construction of a protocol synthesis environment and its implementation

    AU - Shiratori, Norio

    AU - Zhang, Yao Xue

    AU - Takahashi, Kaoru

    AU - Noguchi, Shoichi

    PY - 1990/1

    Y1 - 1990/1

    N2 - A software environment for interactively synthesizing communication protocols without logical errors has been developed. It contains a synthesis algorithm which eliminates the logical errors, and a human interface which has a multiwindow environment, a graphical interface, colors and texts utilities. Moreover, it not only expresses the synthesized protocol as labeled directed graphs, but also provides advices on how to give the input for the protocol designer by using the colors and the texts utilities. Consequently, the protocol design has been facilitated. As an example, a call-establish phase of X.25 has been synthesized by using the software environment.

    AB - A software environment for interactively synthesizing communication protocols without logical errors has been developed. It contains a synthesis algorithm which eliminates the logical errors, and a human interface which has a multiwindow environment, a graphical interface, colors and texts utilities. Moreover, it not only expresses the synthesized protocol as labeled directed graphs, but also provides advices on how to give the input for the protocol designer by using the colors and the texts utilities. Consequently, the protocol design has been facilitated. As an example, a call-establish phase of X.25 has been synthesized by using the software environment.

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

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

    M3 - Article

    AN - SCOPUS:0025254798

    VL - 21

    SP - 34

    EP - 49

    JO - Systems and Computers in Japan

    JF - Systems and Computers in Japan

    SN - 0882-1666

    IS - 1

    ER -