Construction of a protocol synthesis environment and its implementation

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

    Research output: Contribution to journalArticle


    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
    Issue number1
    Publication statusPublished - 1990 Jan

    ASJC Scopus subject areas

    • Computational Theory and Mathematics

    Fingerprint Dive into the research topics of 'Construction of a protocol synthesis environment and its implementation'. Together they form a unique fingerprint.

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