The Library
Formal techniques in the development of blackboard systems
Tools
Tools
Tools
Craig, Iain D. (1995) Formal techniques in the development of blackboard systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
|
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-199.pdf - Other - Requires a PDF viewer. Download (327Kb) | Preview |
Abstract
This paper describes a formal method for the development of blackboard systems. The method is based, in part, on the informal one. Apart from the difference in emphasis (formal rather than informal), the new approach rests upon a formal definition of the architecture. The essential idea is that the mapping between the formal model of the problem domain ( which is intended to be similar to the formal models proposed by, for example, Hayes) and the blackboard shell should be supported by formal proofs of correctness in a way identical to formal software engineering. The control structure for the resulting system is derived by considering the blackboard as being transformed from an initial state to a set of potential final states. Each of the final states represents one of the possible answers that the system may produce. The paths from initial to final states can be treated either as traces or by regarding the entire control problem as formalizable in a temporal logic.
| 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: | 24 January 1995 | ||||
| Dates: |
|
||||
| Number: | Number 199 | ||||
| Number of Pages: | 25 | ||||
| DOI: | CS-RR-199 | ||||
| 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
