PDPS

A protocol design system by production systems approach

Chung-Ming Huang, Ye In Chang, Ming T. Liu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

The authors propose the Protocol Design Production System (PDPS) for a protocol design system using the production systems approach based on OPS5. Using the production systems approach, communication protocols are specified as triples of object-attribute-value, and the occurences 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 most 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.

Original languageEnglish
Title of host publicationProc First Int Conf Syst Integr ICSI 90
PublisherPubl by IEEE
Pages186-195
Number of pages10
ISBN (Print)0818690275
Publication statusPublished - 1990 Dec 1
EventProceedings of the First International Conference on Systems Integration - ICSI '90 - Morristown, NJ, USA
Duration: 1990 Apr 231990 Apr 26

Publication series

NameProc First Int Conf Syst Integr ICSI 90

Other

OtherProceedings of the First International Conference on Systems Integration - ICSI '90
CityMorristown, NJ, USA
Period90-04-2390-04-26

Fingerprint

Computer systems
Network protocols
Specifications
Pattern matching
Knowledge representation
Automation

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Cite this

Huang, C-M., Chang, Y. I., & Liu, M. T. (1990). PDPS: A protocol design system by production systems approach. In Proc First Int Conf Syst Integr ICSI 90 (pp. 186-195). (Proc First Int Conf Syst Integr ICSI 90). Publ by IEEE.
Huang, Chung-Ming ; Chang, Ye In ; Liu, Ming T. / PDPS : A protocol design system by production systems approach. Proc First Int Conf Syst Integr ICSI 90. Publ by IEEE, 1990. pp. 186-195 (Proc First Int Conf Syst Integr ICSI 90).
@inproceedings{00b8e6af9b04488b8fb505da515e9b90,
title = "PDPS: A protocol design system by production systems approach",
abstract = "The authors propose the Protocol Design Production System (PDPS) for a protocol design system using the production systems approach based on OPS5. Using the production systems approach, communication protocols are specified as triples of object-attribute-value, and the occurences 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 most 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.",
author = "Chung-Ming Huang and Chang, {Ye In} and Liu, {Ming T.}",
year = "1990",
month = "12",
day = "1",
language = "English",
isbn = "0818690275",
series = "Proc First Int Conf Syst Integr ICSI 90",
publisher = "Publ by IEEE",
pages = "186--195",
booktitle = "Proc First Int Conf Syst Integr ICSI 90",

}

Huang, C-M, Chang, YI & Liu, MT 1990, PDPS: A protocol design system by production systems approach. in Proc First Int Conf Syst Integr ICSI 90. Proc First Int Conf Syst Integr ICSI 90, Publ by IEEE, pp. 186-195, Proceedings of the First International Conference on Systems Integration - ICSI '90, Morristown, NJ, USA, 90-04-23.

PDPS : A protocol design system by production systems approach. / Huang, Chung-Ming; Chang, Ye In; Liu, Ming T.

Proc First Int Conf Syst Integr ICSI 90. Publ by IEEE, 1990. p. 186-195 (Proc First Int Conf Syst Integr ICSI 90).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - PDPS

T2 - A protocol design system by production systems approach

AU - Huang, Chung-Ming

AU - Chang, Ye In

AU - Liu, Ming T.

PY - 1990/12/1

Y1 - 1990/12/1

N2 - The authors propose the Protocol Design Production System (PDPS) for a protocol design system using the production systems approach based on OPS5. Using the production systems approach, communication protocols are specified as triples of object-attribute-value, and the occurences 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 most 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.

AB - The authors propose the Protocol Design Production System (PDPS) for a protocol design system using the production systems approach based on OPS5. Using the production systems approach, communication protocols are specified as triples of object-attribute-value, and the occurences 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 most 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.

UR - http://www.scopus.com/inward/record.url?scp=0025544339&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0025544339&partnerID=8YFLogxK

M3 - Conference contribution

SN - 0818690275

T3 - Proc First Int Conf Syst Integr ICSI 90

SP - 186

EP - 195

BT - Proc First Int Conf Syst Integr ICSI 90

PB - Publ by IEEE

ER -

Huang C-M, Chang YI, Liu MT. PDPS: A protocol design system by production systems approach. In Proc First Int Conf Syst Integr ICSI 90. Publ by IEEE. 1990. p. 186-195. (Proc First Int Conf Syst Integr ICSI 90).