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.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
