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.
[1]
Gregory D. Abowd,et al.
Formalizing style to understand descriptions of software architecture
,
1995,
TSEM.
[2]
Xiaolei Qian,et al.
Correct Architecture Refinement
,
1995,
IEEE Trans. Software Eng..
[3]
Victor Lesser,et al.
The Evolution of Blackboard Control Architectures
,
1992
.
[4]
Barry Boehm,et al.
Composing heterogeneous software architectures
,
1996
.
[5]
Alexander L. Wolf,et al.
Acm Sigsoft Software Engineering Notes Vol 17 No 4 Foundations for the Study of Software Architecture
,
2022
.
[6]
Iain D. Craig.
Formal specification of advanced AI architectures
,
1991,
Ellis Horwood series in artificial intelligence.