Rule-based systems formalized within a software architectural style

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

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

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
Volume12
Issue number1
DOIs
StatePublished - Apr 1999

Fingerprint

Knowledge based systems
Specification languages
Reusability
Large scale systems
Systems analysis
Specifications
Software
Rule-based systems
Knowledge-based systems
Rule-based

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

Rule-based systems formalized within a software architectural style. / Gamble, R. F.; Stiger, P. R.; Plant, Robert.

In: Knowledge-Based Systems, Vol. 12, No. 1, 04.1999, p. 13-26.

Research output: Contribution to journalArticle

Gamble, R. F. ; Stiger, P. R. ; Plant, Robert. / Rule-based systems formalized within a software architectural style. In: Knowledge-Based Systems. 1999 ; Vol. 12, No. 1. pp. 13-26.
@article{0da3cea441f7451b99e457c2246001f9,
title = "Rule-based systems formalized within a software architectural style",
abstract = "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.",
author = "Gamble, {R. F.} and Stiger, {P. R.} and Robert Plant",
year = "1999",
month = "4",
doi = "10.1016/S0950-7051(99)00004-0",
language = "English (US)",
volume = "12",
pages = "13--26",
journal = "Knowledge-Based Systems",
issn = "0950-7051",
publisher = "Elsevier",
number = "1",

}

TY - JOUR

T1 - Rule-based systems formalized within a software architectural style

AU - Gamble, R. F.

AU - Stiger, P. R.

AU - Plant, Robert

PY - 1999/4

Y1 - 1999/4

N2 - 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.

AB - 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.

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

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

U2 - 10.1016/S0950-7051(99)00004-0

DO - 10.1016/S0950-7051(99)00004-0

M3 - Article

VL - 12

SP - 13

EP - 26

JO - Knowledge-Based Systems

JF - Knowledge-Based Systems

SN - 0950-7051

IS - 1

ER -