Blackboard systems formalized within a software architectural style

Author

Stiger, P.R. ; Gamble, R.F.

Author_Institution

Dept. of Math. & Comput. Sci., Tulsa Univ., OK, USA

Volume

2

fYear

1997

fDate

12-15 Oct 1997

Firstpage

1204

Abstract

This paper presents a formal model of the blackboard system within the context of a software architectural style, i.e., components, connectors, and configurations. We present a refinement of a generic controller component to perform a choice among the knowledge source that can execute against the blackboard. In addition, we demonstrate the benefits of depicting the blackboard system as an architectural style, such as reusability, understandability, and the ability to use formal software analysis and integration techniques. We discuss our formal model of the blackboard software architecture in comparison with previous formalizations of blackboard systems to show that the generic architectural style can be specialized to meet the criteria of serial, parallel, and distributed blackboard systems

Keywords

blackboard architecture; formal specification; formal verification; distributed blackboard systems; formal model; formal software analysis; formal software integration techniques; generic architectural style; generic controller component; knowledge source; parallel blackboard systems; reusability; serial blackboard systems; software architectural style; understandability; Computer architecture; Connectors; Context modeling; Educational institutions; Formal specifications; Logic; Software architecture; Software design; Software reusability; Software systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on

Conference_Location

Orlando, FL

ISSN

1062-922X

Print_ISBN

0-7803-4053-1

Type

conf

DOI

10.1109/ICSMC.1997.638114

Filename

638114