By Topic

PDPS: a protocol design system by production systems approach

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Chung-Ming Huang ; Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA ; Chang, Y.-I. ; Liu, M.T.

The Protocol Design Production System (PDPS) is proposed for a protocol design system using the production systems approached based on OPS5. Using this approach, communication protocols are specified as triples of object-attribute-value, and the occurrences of send and receive transitions in the communication protocols can be specified by production rules. The inference of reachable global states and all logical errors are formally defined in terms of production rules. An incremental verification algorithm based on the production systems approach is also presented. From this approach, one can obtain the advantages of clear knowledge representations, strong modularity, modifiability, and expressability. Furthermore, since more production systems integrate the abstract specifications and the procedural computations into a single system, the special-purpose compiler which is used to facilitate the automation of communication protocol implementation is no longer required between the specification phase and the implementation phase. By combining the production systems with the RETE pattern matching algorithm and a parallel multiprocessor machine like the Encore Multimax, the proposed PDPS can achieve a remarkable performance in parallel execution

Published in:

Systems Integration, 1990. Systems Integration '90., Proceedings of the First International Conference on

Date of Conference:

23-26 Apr 1990