A knowledge-based specification technique for protocol development

Zhang Yaoxue, Shi Meilin, Norio Shiratori

    研究成果: Article査読

    抄録

    This paper proposes a knowledge-based specification technique (KST) for protocol development. This technique semi-automatically translates a protocol described in an informal description (natural languages or graphs) into one described in formal specifications (Estelle and SDL). The translation processes are supported by knowledge stored in the knowledge base. This paper discusses the concept, the specification control mechanism of KST and the rules and algorithms for production of FSM's which is the basis of Estelle and SDL.

    本文言語English
    ページ(範囲)188-192
    ページ数5
    ジャーナルJournal of Computer Science and Technology
    8
    2
    DOI
    出版ステータスPublished - 1993 4

    ASJC Scopus subject areas

    • ソフトウェア
    • ハードウェアとアーキテクチャ
    • コンピュータ グラフィックスおよびコンピュータ支援設計

    フィンガープリント

    「A knowledge-based specification technique for protocol development」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル