A knowledge-based specification technique for protocol development

Zhang Yaoxue*, Shi Meilin, Norio Shiratori

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review


    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.

    Original languageEnglish
    Pages (from-to)188-192
    Number of pages5
    JournalJournal of Computer Science and Technology
    Issue number2
    Publication statusPublished - 1993 Apr


    • finite state machine
    • knowledge engineering
    • Network
    • protocol
    • specification

    ASJC Scopus subject areas

    • Software
    • Hardware and Architecture
    • Computer Graphics and Computer-Aided Design


    Dive into the research topics of 'A knowledge-based specification technique for protocol development'. Together they form a unique fingerprint.

    Cite this