Rule-based systems formalized within a software architectural style

R. F. Gamble, P. R. Stiger, R. T. Plant

Research output: Contribution to journalArticlepeer-review

2 Scopus citations


This article considers the utilization of architectural styles in the formal design of knowledge-based systems. The formal model of a style is an approach to systems modeling that allows software developers to understand and prove properties about the system design in terms of its components, connectors, configurations, and constraints. This allows commonality of design to be easily understood and captured, leading to a better understanding of the role that an architectural abstraction would have in another complex system, embedded context, or system integration. In this article, a formal rule-based architectural style is presented in detail using the Z notation. The benefits of depicting the rule-based system as an architectural style include reusability, understandability, and the allowance for formal software analysis and integration techniques. The ability to define the rule-based architectural style in this way, illustrates the power, clarity, and flexibility of this specification form over traditional formal specification approaches. In addition, it extends current verification approaches for knowledge-based systems beyond the knowledge base only.

Original languageEnglish (US)
Pages (from-to)13-26
Number of pages14
JournalKnowledge-Based Systems
Issue number1
StatePublished - Apr 1999

ASJC Scopus subject areas

  • Management Information Systems
  • Software
  • Information Systems and Management
  • Artificial Intelligence


Dive into the research topics of 'Rule-based systems formalized within a software architectural style'. Together they form a unique fingerprint.

Cite this