A knowledge-based specification technique for protocol development

Zhang Yaoxue, Shi Meilin, Norio Shiratori

    Research output: Contribution to journalArticlepeer-review

    Abstract

    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
    Volume8
    Issue number2
    DOIs
    Publication statusPublished - 1993 Apr

    Keywords

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

    ASJC Scopus subject areas

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

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

    Cite this