A knowledge-based system for protocol synthesis (KSPS)

Author

Zhang, Yao-Xue ; Takahashi, Kaoru ; Shiratori, Norio ; Noguchi, Shoichi

Author_Institution

Res. Inst. of Electr. Commun., Tohoku Univ., Sendai, Japan

Volume

6

Issue

5

fYear

1988

fDate

6/1/1988 12:00:00 AM

Firstpage

874

Lastpage

883

Abstract

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 of 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

Keywords

errors; expert systems; protocols; user interfaces; KSPS; expert systems; graphic tools; inference engine; knowledge-based system; logical errors; multiwindow mechanism; procedure programming model; production model; protocol synthesis; state deadlocks; unspecified receptions; user interface; Computer errors; Embedded computing; Engines; Graphics; Knowledge based systems; Production systems; Protocols; System recovery; User interfaces;

fLanguage

English

Journal_Title

Selected Areas in Communications, IEEE Journal on

Publisher

ieee

ISSN

0733-8716

Type

jour

DOI

10.1109/49.639

Filename

639