Towards the formal specification of an OPS5 production system architecture

David I. Gold, R. T. Plant

Research output: Contribution to journalArticlepeer-review

4 Scopus citations


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. © 1994 John Wiley & Sons, Inc.

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

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Human-Computer Interaction
  • Artificial Intelligence


Dive into the research topics of 'Towards the formal specification of an OPS5 production system architecture'. Together they form a unique fingerprint.

Cite this