Construction of a protocol synthesis environment and its implementation

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

*この研究の対応する著者

    研究成果査読

    抄録

    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.

    本文言語English
    ページ(範囲)34-49
    ページ数16
    ジャーナルSystems and Computers in Japan
    21
    1
    出版ステータスPublished - 1990 1

    ASJC Scopus subject areas

    • 計算理論と計算数学

    フィンガープリント

    「Construction of a protocol synthesis environment and its implementation」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル