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

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review

    6 Citations (Scopus)


    A knowledge-based system for protocol synthesis named KSPS is presented. The aim of KSPS is to help the protocol designer design a protocol without logical errors, such as unspecified receptions and state deadlocks. KSPS consists of three major components: a knowledge base, a user interface, and an inference engine. The construction of the knowledge base and the user interface is examined. The knowledge on protocol synthesis represented in the production model and in the procedure programming model is embedded in the knowledge base. A user-friendly interface with a multiwindow mechanism is designed which provides the graphic tools in this system. Consequently, the protocol designer without experience in protocol synthesis can easily design a protocol without logical errors.

    Original languageEnglish
    Pages (from-to)874-883
    Number of pages10
    JournalIEEE Journal on Selected Areas in Communications
    Issue number5
    Publication statusPublished - 1988 Jun

    ASJC Scopus subject areas

    • Computer Networks and Communications
    • Electrical and Electronic Engineering


    Dive into the research topics of 'KNOWLEDGE-BASED SYSTEM FOR PROTOCOL SYNTHESIS (KSPS).'. Together they form a unique fingerprint.

    Cite this