Towards the formal specification of an OPS5 production system architecture

David I. Gold, Robert Plant

Research output: Contribution to journalArticle

4 Citations (Scopus)

Abstract

The article presents a formal specification for many important aspects of the OPS5 production systems framework. The article illustrates how an abstract formal specification of a production system can be created and the benefits this provides to those involved in the development of knowledge-based systems. The formal specification is preceded by an informal specification of a production system upon which the formal model is based and the development is illustrated through the use of concrete examples. The notation used is that of `Z' (J. M. Spivey, The Z Notation, Prentice-Hall, Englewood Cliffs, NJ, 1990), a language based upon typed set theory. This language has been used to success in the specification of critical conventional software systems (I. Hayes, Technical Monograph PRG-46, Oxford University Computing Laboratory, Oxford, England, 1985) and which is formal enough to allow for the creation of rigorous specifications, yet is of a form that makes these specifications `readable.' The aim of the article is to show that formal techniques can be applied to areas of knowledge-based system development, thus promoting correctness, reliability, and understanding.

Original languageEnglish (US)
Pages (from-to)739-768
Number of pages30
JournalInternational Journal of Intelligent Systems
Volume9
Issue number8
StatePublished - Aug 1994

Fingerprint

Specifications
Knowledge based systems
Specification languages
Set theory
Formal specification

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Towards the formal specification of an OPS5 production system architecture. / Gold, David I.; Plant, Robert.

In: International Journal of Intelligent Systems, Vol. 9, No. 8, 08.1994, p. 739-768.

Research output: Contribution to journalArticle

@article{04c757d872aa4d869355ad251168b13f,
title = "Towards the formal specification of an OPS5 production system architecture",
abstract = "The article presents a formal specification for many important aspects of the OPS5 production systems framework. The article illustrates how an abstract formal specification of a production system can be created and the benefits this provides to those involved in the development of knowledge-based systems. The formal specification is preceded by an informal specification of a production system upon which the formal model is based and the development is illustrated through the use of concrete examples. The notation used is that of `Z' (J. M. Spivey, The Z Notation, Prentice-Hall, Englewood Cliffs, NJ, 1990), a language based upon typed set theory. This language has been used to success in the specification of critical conventional software systems (I. Hayes, Technical Monograph PRG-46, Oxford University Computing Laboratory, Oxford, England, 1985) and which is formal enough to allow for the creation of rigorous specifications, yet is of a form that makes these specifications `readable.' The aim of the article is to show that formal techniques can be applied to areas of knowledge-based system development, thus promoting correctness, reliability, and understanding.",
author = "Gold, {David I.} and Robert Plant",
year = "1994",
month = "8",
language = "English (US)",
volume = "9",
pages = "739--768",
journal = "International Journal of Intelligent Systems",
issn = "1055-615X",
number = "8",

}

TY - JOUR

T1 - Towards the formal specification of an OPS5 production system architecture

AU - Gold, David I.

AU - Plant, Robert

PY - 1994/8

Y1 - 1994/8

N2 - The article presents a formal specification for many important aspects of the OPS5 production systems framework. The article illustrates how an abstract formal specification of a production system can be created and the benefits this provides to those involved in the development of knowledge-based systems. The formal specification is preceded by an informal specification of a production system upon which the formal model is based and the development is illustrated through the use of concrete examples. The notation used is that of `Z' (J. M. Spivey, The Z Notation, Prentice-Hall, Englewood Cliffs, NJ, 1990), a language based upon typed set theory. This language has been used to success in the specification of critical conventional software systems (I. Hayes, Technical Monograph PRG-46, Oxford University Computing Laboratory, Oxford, England, 1985) and which is formal enough to allow for the creation of rigorous specifications, yet is of a form that makes these specifications `readable.' The aim of the article is to show that formal techniques can be applied to areas of knowledge-based system development, thus promoting correctness, reliability, and understanding.

AB - The article presents a formal specification for many important aspects of the OPS5 production systems framework. The article illustrates how an abstract formal specification of a production system can be created and the benefits this provides to those involved in the development of knowledge-based systems. The formal specification is preceded by an informal specification of a production system upon which the formal model is based and the development is illustrated through the use of concrete examples. The notation used is that of `Z' (J. M. Spivey, The Z Notation, Prentice-Hall, Englewood Cliffs, NJ, 1990), a language based upon typed set theory. This language has been used to success in the specification of critical conventional software systems (I. Hayes, Technical Monograph PRG-46, Oxford University Computing Laboratory, Oxford, England, 1985) and which is formal enough to allow for the creation of rigorous specifications, yet is of a form that makes these specifications `readable.' The aim of the article is to show that formal techniques can be applied to areas of knowledge-based system development, thus promoting correctness, reliability, and understanding.

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

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

M3 - Article

AN - SCOPUS:0028484320

VL - 9

SP - 739

EP - 768

JO - International Journal of Intelligent Systems

JF - International Journal of Intelligent Systems

SN - 1055-615X

IS - 8

ER -