Title :
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
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;
Conference_Titel :
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-4053-1
DOI :
10.1109/ICSMC.1997.638114
