The Library
The formal specification of a blackboard framework
Tools
Craig, Iain D. (1991) The formal specification of a blackboard framework. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
|
PDF (Department of Computer Science Research Report)
cs-rr-181.pdf - Other - Requires a PDF viewer. Download (140Kb) | Preview |
Abstract
The blackboard architecture is a complex, though powerful, model of problem-solving, and opinions vary as to its interpretation. The use of formal specifications for blackboard systems appears warranted by their complexity, their application in real-time and safety critical domains, and because of the informality of the construct itself. This paper describes the Z specification of a blackboard framework, the aims, and the methods by which it was executed. At present, the specification is only a top-level one (and occupies over 100 A4 pages, including proofs and explanatory text): this has allowed concentration on the interpretation of the architecture, and has allowed the formal proof of a number of properties which have, hitherto, had 'folklore' status. The specification exercise revealed a number of areas in which further work was required. The blackboard specification is one of a number of Z specifications of AI architectures that we have undertaken: the problem areas first identified in the blackboard specification have reappeared in the others, and we suggest ways of solving the problems which are, perhaps, of general utility.
Item Type: | Report | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Library of Congress Subject Headings (LCSH): | Blackboard systems (Computer programs), Formal methods (Computer science) | ||||
Series Name: | Department of Computer Science research report | ||||
Publisher: | University of Warwick. Department of Computer Science | ||||
Official Date: | 1991 | ||||
Dates: |
|
||||
Number: | Number 181 | ||||
Number of Pages: | 19 | ||||
DOI: | CS-RR-181 | ||||
Institution: | University of Warwick | ||||
Theses Department: | Department of Computer Science | ||||
Status: | Not Peer Reviewed | ||||
Publication Status: | Unpublished | ||||
Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |
Downloads
Downloads per month over past year