A Computer-Aided Protocol Design by Production Systems Approach

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

Research output: Contribution to journalArticle

7 Citations (Scopus)

Abstract

A protocol design system is a collection of software tools for assisting protocol designers to specify, validate, and implement communication protocols. In this paper, we propose a computer-aided protocol design system based on the OPS5 production system approach. In reality, communication protocols are rule-based and data-driven without a fixed order in which the submodules can follow and computations in communication protocols are mainly symbolic with a few numerical computations. These characteristics fall into the applicable problem domain of OPS5. Using the OPS5 production system approach, communication rules (state transitions) are specified as triples of “object-attribute-value” and the modeling of state transitions are specified by production rules. For protocol validation, the modeling of global states, global state transitions, all logical errors and logical properties can be formally defined in terms of production rules. This paper also presents an incremental validation algorithm to facilitate protocol design. Based on a globally shared dataspace (working memory) in which different types and levels of information are all represented in a uniform structure (element), the OPS5 production system integrates both rule-based and procedure-based computations. Using this characteristic, the machine-dependent part can be abstractly specified through external procedure calls, the details of which can be coded in a procedure language until the implementation phase. Since computations in OPS5 are based on pattern matching, all of the attributes of elements that are in production rules or in external procedure calls can act as data templates for generic data types. This capability enhances the generic specification that allows different realization for various implementation environments. In this way, our computer-aided protocol design system can be used not only as a rapid prototyping tool for simulation but also as a real implementation tool for communication protocols.

Original languageEnglish
Pages (from-to)1748-1762
Number of pages15
JournalIEEE Journal on Selected Areas in Communications
Volume8
Issue number9
DOIs
Publication statusPublished - 1990 Jan 1

Fingerprint

Computer systems
Network protocols
Pattern matching
Rapid prototyping
Specifications
Data storage equipment
Communication

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Electrical and Electronic Engineering

Cite this

@article{d906b2fdf28d45bcb31b09a46d4bec47,
title = "A Computer-Aided Protocol Design by Production Systems Approach",
abstract = "A protocol design system is a collection of software tools for assisting protocol designers to specify, validate, and implement communication protocols. In this paper, we propose a computer-aided protocol design system based on the OPS5 production system approach. In reality, communication protocols are rule-based and data-driven without a fixed order in which the submodules can follow and computations in communication protocols are mainly symbolic with a few numerical computations. These characteristics fall into the applicable problem domain of OPS5. Using the OPS5 production system approach, communication rules (state transitions) are specified as triples of “object-attribute-value” and the modeling of state transitions are specified by production rules. For protocol validation, the modeling of global states, global state transitions, all logical errors and logical properties can be formally defined in terms of production rules. This paper also presents an incremental validation algorithm to facilitate protocol design. Based on a globally shared dataspace (working memory) in which different types and levels of information are all represented in a uniform structure (element), the OPS5 production system integrates both rule-based and procedure-based computations. Using this characteristic, the machine-dependent part can be abstractly specified through external procedure calls, the details of which can be coded in a procedure language until the implementation phase. Since computations in OPS5 are based on pattern matching, all of the attributes of elements that are in production rules or in external procedure calls can act as data templates for generic data types. This capability enhances the generic specification that allows different realization for various implementation environments. In this way, our computer-aided protocol design system can be used not only as a rapid prototyping tool for simulation but also as a real implementation tool for communication protocols.",
author = "Chung-Ming Huang and Chang, {Ye In} and Liu, {Ming T.}",
year = "1990",
month = "1",
day = "1",
doi = "10.1109/49.62860",
language = "English",
volume = "8",
pages = "1748--1762",
journal = "IEEE Journal on Selected Areas in Communications",
issn = "0733-8716",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "9",

}

A Computer-Aided Protocol Design by Production Systems Approach. / Huang, Chung-Ming; Chang, Ye In; Liu, Ming T.

In: IEEE Journal on Selected Areas in Communications, Vol. 8, No. 9, 01.01.1990, p. 1748-1762.

Research output: Contribution to journalArticle

TY - JOUR

T1 - A Computer-Aided Protocol Design by Production Systems Approach

AU - Huang, Chung-Ming

AU - Chang, Ye In

AU - Liu, Ming T.

PY - 1990/1/1

Y1 - 1990/1/1

N2 - A protocol design system is a collection of software tools for assisting protocol designers to specify, validate, and implement communication protocols. In this paper, we propose a computer-aided protocol design system based on the OPS5 production system approach. In reality, communication protocols are rule-based and data-driven without a fixed order in which the submodules can follow and computations in communication protocols are mainly symbolic with a few numerical computations. These characteristics fall into the applicable problem domain of OPS5. Using the OPS5 production system approach, communication rules (state transitions) are specified as triples of “object-attribute-value” and the modeling of state transitions are specified by production rules. For protocol validation, the modeling of global states, global state transitions, all logical errors and logical properties can be formally defined in terms of production rules. This paper also presents an incremental validation algorithm to facilitate protocol design. Based on a globally shared dataspace (working memory) in which different types and levels of information are all represented in a uniform structure (element), the OPS5 production system integrates both rule-based and procedure-based computations. Using this characteristic, the machine-dependent part can be abstractly specified through external procedure calls, the details of which can be coded in a procedure language until the implementation phase. Since computations in OPS5 are based on pattern matching, all of the attributes of elements that are in production rules or in external procedure calls can act as data templates for generic data types. This capability enhances the generic specification that allows different realization for various implementation environments. In this way, our computer-aided protocol design system can be used not only as a rapid prototyping tool for simulation but also as a real implementation tool for communication protocols.

AB - A protocol design system is a collection of software tools for assisting protocol designers to specify, validate, and implement communication protocols. In this paper, we propose a computer-aided protocol design system based on the OPS5 production system approach. In reality, communication protocols are rule-based and data-driven without a fixed order in which the submodules can follow and computations in communication protocols are mainly symbolic with a few numerical computations. These characteristics fall into the applicable problem domain of OPS5. Using the OPS5 production system approach, communication rules (state transitions) are specified as triples of “object-attribute-value” and the modeling of state transitions are specified by production rules. For protocol validation, the modeling of global states, global state transitions, all logical errors and logical properties can be formally defined in terms of production rules. This paper also presents an incremental validation algorithm to facilitate protocol design. Based on a globally shared dataspace (working memory) in which different types and levels of information are all represented in a uniform structure (element), the OPS5 production system integrates both rule-based and procedure-based computations. Using this characteristic, the machine-dependent part can be abstractly specified through external procedure calls, the details of which can be coded in a procedure language until the implementation phase. Since computations in OPS5 are based on pattern matching, all of the attributes of elements that are in production rules or in external procedure calls can act as data templates for generic data types. This capability enhances the generic specification that allows different realization for various implementation environments. In this way, our computer-aided protocol design system can be used not only as a rapid prototyping tool for simulation but also as a real implementation tool for communication protocols.

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

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

U2 - 10.1109/49.62860

DO - 10.1109/49.62860

M3 - Article

VL - 8

SP - 1748

EP - 1762

JO - IEEE Journal on Selected Areas in Communications

JF - IEEE Journal on Selected Areas in Communications

SN - 0733-8716

IS - 9

ER -