Design and analysis techniques for concurrent blackboard systems

This paper gives a formal model for blackboard systems that provides a consistent method for describing a blackboard system. The formal model describes the basic components of a blackboard system and how the components interact. A set of blackboard system design tools has been developed and validate...

Full description

Saved in:
Bibliographic Details
Published inIEEE transactions on systems, man and cybernetics. Part A, Systems and humans Vol. 26; no. 6; pp. 669 - 680
Main Authors McManus, J.W., Bynum, W.L.
Format Journal Article
LanguageEnglish
Published IEEE 01.11.1996
Subjects
Analytical models
Centralized control
Concurrent computing
Control systems
Data structures
Object oriented modeling
Power system modeling
Problem-solving
System analysis and design
System testing
Online AccessGet full text

Cover

Abstract This paper gives a formal model for blackboard systems that provides a consistent method for describing a blackboard system. The formal model describes the basic components of a blackboard system and how the components interact. A set of blackboard system design tools has been developed and validated for implementing systems that are expressed using the formal model. The tools are used to test and refine a proposed blackboard system design before the design is implemented. The set of blackboard system design tools consists of a knowledge source organizer, a knowledge source input/output connectivity analyzer, a validated blackboard system simulation model, and a blackboard system code generator. The lack of design and analysis tools has hindered the full realization of the concurrency inherent in the blackboard problem-solving model. Use of a centralized control mechanism and knowledge source contention in accessing the blackboard have restricted the concurrency possible in previous systems. Using the design, simulation, and analysis tools, a fast, efficient, and powerful concurrent object-oriented blackboard system has been developed.
AbstractList This paper gives a formal model for blackboard systems that provides a consistent method for describing a blackboard system. The formal model describes the basic components of a blackboard system and how the components interact. A set of blackboard system design tools has been developed and validated for implementing systems that are expressed using the formal model. The tools are used to test and refine a proposed blackboard system design before the design is implemented. The set of blackboard system design tools consists of a knowledge source organizer, a knowledge source input/output connectivity analyzer, a validated blackboard system simulation model, and a blackboard system code generator. The lack of design and analysis tools has hindered the full realization of the concurrency inherent in the blackboard problem-solving model. Use of a centralized control mechanism and knowledge source contention in accessing the blackboard have restricted the concurrency possible in previous systems. Using the design, simulation, and analysis tools, a fast, efficient, and powerful concurrent object-oriented blackboard system has been developed.
This paper gives a Formal Model for Blackboard Systems that provides a consistent method for describing a blackboard system. The Formal Model describes the basic components of a blackboard system and how the components interact. A set of blackboard system design tools has been developed and validated for implementing systems that are expressed using the Formal Model. The tools are used to test and refine a proposed blackboard system design before the design is implemented. The set of blackboard system design tools consists of a Knowledge Source Organizer, a Knowledge Source Input/Output Connectivity Analyzer, a validated Blackboard System Simulation Model, and a Blackboard system Code Generator. The lack of design and analysis tools has hindered the full realization of the concurrency inherent in the blackboard problem-solving model. Use of a centralized control mechanism and knowledge source contention in accessing the blackboard have restricted the concurrency possible in previous systems. Using the design, simulation, and analysis tools, a fast, efficient, and powerful concurrent object-oriented blackboard system has been developed. (Author)
This paper gives a formal model for blackboard systems that provides a consistent method for describing a blackboard system. The formal model describes the basic components of a blackboard system and how the components interact. A set of blackboard system design tools has been developed and validated for implementing systems that are expressed using the formal model. The tools are used to test and refine a proposed blackboard system design before the design is implemented. The set of blackboard system design tools consists of a knowledge source organizer, a knowledge source input/output connectivity analyzer, a validated blackboard system simulation model, and a blackboard system code generator. The lack of design and analysis tools has hindered the full realization of the concurrency inherent in the blackboard problem-solving model. Use of a centralized control mechanism and knowledge source contention in accessing the blackboard have restricted the concurrency possible in previous systems. Using the design, simulation, and analysis tools, a fast, efficient, and powerful concurrent object-oriented blackboard system has been developed
Author McManus, J.W.
Bynum, W.L.
Author_xml – sequence: 1
  givenname: J.W.
  surname: McManus
  fullname: McManus, J.W.
  organization: NASA Langley Res. Center, Hampton, VA, USA
– sequence: 2
  givenname: W.L.
  surname: Bynum
  fullname: Bynum, W.L.
BookMark eNqN0T1PwzAQBmALFYm2MLExZWJBKT6fkzgbqOVLqsQCs-W4ZwikTrHTof-eVKlY6XC6k-7R6aR3wka-9cTYJfAZAC9vUeZqlklAoU7YGLJMpUKKfNTPXGEqpSjO2CTGL85BylKO2d2CYv3hE-NXfZlmF-uYdGQ_ff2zpZi4NiS29XYbAvkuqRpjv6vWhFUSd7GjdTxnp840kS4OfcreHx_e5s_p8vXpZX6_TK0E6FKwriiNUgVV0iqzwsqJkjtrELnNHBRYgoUy5xwrWUmHDgChIJBcFFZwnLLr4e4mtPvPOr2uo6WmMZ7abdSiv42YqyOgKJCX-D_MQQLv3zgCosqE6OHNAG1oYwzk9CbUaxN2GrjeB6T3AekhoF5fDbomoj95WP4CiUKLcg
CODEN ITSHFX
CitedBy_id crossref_primary_10_1108_03684920010342099
crossref_primary_10_1016_j_scico_2012_04_002
crossref_primary_10_4028_www_scientific_net_AMM_552_359
crossref_primary_10_1016_S0019_0578_00_00020_3
Cites_doi 10.1142/S0218001493000121
10.1142/S0218001493000133
10.23919/ACC.1988.4789715
10.1109/DASC.1990.111340
10.1016/0004-3702(85)90063-3
10.1109/TC.1977.5009289
10.2514/6.1989-3525
ContentType Journal Article
DBID AAYXX
CITATION
8FD
H8D
L7M
7SC
JQ2
L~C
L~D
7SP
7TB
FR3
DOI 10.1109/3468.541328
DatabaseName CrossRef
Technology Research Database
Aerospace Database
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts
ProQuest Computer Science Collection
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
Electronics & Communications Abstracts
Mechanical & Transportation Engineering Abstracts
Engineering Research Database
DatabaseTitle CrossRef
Technology Research Database
Aerospace Database
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts
Computer and Information Systems Abstracts – Academic
ProQuest Computer Science Collection
Computer and Information Systems Abstracts Professional
Mechanical & Transportation Engineering Abstracts
Electronics & Communications Abstracts
Engineering Research Database
DatabaseTitleList
Technology Research Database
Technology Research Database
Technology Research Database
Computer and Information Systems Abstracts
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
Sciences (General)
EISSN 1558-2426
EndPage 680
ExternalDocumentID 10_1109_3468_541328
541328
GroupedDBID -~X
0R~
29I
4.4
5VS
6IK
85S
97E
AAJGR
AASAJ
AAYOK
ABQJQ
ABVLG
ACGFS
AETIX
AI.
AIBXA
ALLEH
ALMA_UNASSIGNED_HOLDINGS
ATWAV
B-7
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
EBS
EJD
F5P
HZ~
IFIPE
IFJZH
IPLJI
JAVBF
LAI
M43
O9-
OCL
PZZ
RIA
RIE
RNS
VH1
VJK
XFK
AAYXX
CITATION
8FD
H8D
L7M
7SC
JQ2
L~C
L~D
7SP
7TB
FR3
ID FETCH-LOGICAL-c411t-1cf79a887eb4c8ad3bf290fca330c5f17391c196003b4b4f3f11317e14027c203
IEDL.DBID RIE
ISSN 1083-4427
IngestDate Fri Aug 16 01:19:05 EDT 2024
Sat Aug 17 02:07:05 EDT 2024
Fri Aug 16 05:22:09 EDT 2024
Fri Aug 16 23:00:55 EDT 2024
Fri Aug 23 00:30:49 EDT 2024
Wed Jun 26 19:30:53 EDT 2024
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Issue 6
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c411t-1cf79a887eb4c8ad3bf290fca330c5f17391c196003b4b4f3f11317e14027c203
Notes ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
OpenAccessLink https://ntrs.nasa.gov/api/citations/19920016014/downloads/19920016014.pdf
PQID 26138522
PQPubID 23500
PageCount 12
ParticipantIDs proquest_miscellaneous_28273093
proquest_miscellaneous_26141011
proquest_miscellaneous_28873368
proquest_miscellaneous_26138522
ieee_primary_541328
crossref_primary_10_1109_3468_541328
PublicationCentury 1900
PublicationDate 1996-11-01
PublicationDateYYYYMMDD 1996-11-01
PublicationDate_xml – month: 11
  year: 1996
  text: 1996-11-01
  day: 01
PublicationDecade 1990
PublicationTitle IEEE transactions on systems, man and cybernetics. Part A, Systems and humans
PublicationTitleAbbrev TSMCA
PublicationYear 1996
Publisher IEEE
Publisher_xml – name: IEEE
References lesser (ref15) 1983; 4
baum (ref1) 1989
hueschen (ref12) 1988
ref11
ref10
newell (ref20) 1962
ref16
ref18
corkill (ref3) 1989
craig (ref7) 1991
mcmanus (ref17) 1991
corkill (ref6) 0
velthuijsen (ref26) 1987
velthuijsen (ref24) 1992
hwang (ref13) 1985
englemore (ref9) 1988
ref23
bisiani (ref2) 1989
nii (ref22) 1988
corkill (ref4) 1989
mcmanus (ref19) 1990
corkill (ref5) 1991
nii (ref21) 1986; 7
ref8
velthuijsen (ref25) 1990
jagannathan (ref14) 1989
References_xml – start-page: 347
  year: 1989
  ident: ref1
  article-title: the erasmus system
  publication-title: Blackboard Architectures and Applications
  contributor:
    fullname: baum
– start-page: 77
  year: 1989
  ident: ref4
  article-title: advanced architectures: concurrency and parallelism
  publication-title: Blackboard Architectures and Applications
  contributor:
    fullname: corkill
– start-page: 1008
  year: 0
  ident: ref6
  article-title: gbb: a generic blackboard development system
  publication-title: Proc 5th National Conf on AI (AAAI-86)
  contributor:
    fullname: corkill
– ident: ref23
  doi: 10.1142/S0218001493000121
– ident: ref8
  doi: 10.1142/S0218001493000133
– year: 1991
  ident: ref17
  article-title: situation assessment in the paladin tactical decision generation system
  publication-title: Proc NATO-AGARD Guidance and Control Panel 53rd Symp
  contributor:
    fullname: mcmanus
– year: 1988
  ident: ref22
  article-title: frameworks for concurrent problem solving: a report on cage and poligon
  publication-title: AAAI-88 Workshop on Blackboard Systems
  contributor:
    fullname: nii
– start-page: 195
  year: 1988
  ident: ref12
  article-title: application of ai methods to aircraft guidance and control
  publication-title: 1988 American Control Conference ACC
  doi: 10.23919/ACC.1988.4789715
  contributor:
    fullname: hueschen
– start-page: 99
  year: 1989
  ident: ref3
  article-title: design alternatives for parallel and distributed blackboard systems
  publication-title: Blackboard Architectures and Applications
  contributor:
    fullname: corkill
– start-page: 137
  year: 1989
  ident: ref2
  article-title: parallelization of blackboard architectures and the agora system
  publication-title: Blackboard Architectures and Applications
  contributor:
    fullname: bisiani
– ident: ref16
  doi: 10.1109/DASC.1990.111340
– year: 1991
  ident: ref7
  publication-title: Formal Specification of Advanced AI Architectures
  contributor:
    fullname: craig
– ident: ref11
  doi: 10.1016/0004-3702(85)90063-3
– volume: 4
  start-page: 15
  year: 1983
  ident: ref15
  article-title: the distributed vehicle monitoring testbed: a tool for investigating distributed problem solving networks
  publication-title: Artificial Intelligence
  contributor:
    fullname: lesser
– year: 1990
  ident: ref19
  article-title: artificial intelligence (ai) based tactical guidance for fighter aircraft
  publication-title: Proc AIAA Guidance Navigation and Control Conference
  contributor:
    fullname: mcmanus
– ident: ref10
  doi: 10.1109/TC.1977.5009289
– ident: ref18
  doi: 10.2514/6.1989-3525
– volume: 7
  start-page: 38
  year: 1986
  ident: ref21
  article-title: blackboard systems: the blackboard model of problem solving and the evolution of blackboard architectures
  publication-title: AI Mag
  contributor:
    fullname: nii
– year: 1988
  ident: ref9
  publication-title: Blackboard Systems
  contributor:
    fullname: englemore
– year: 1989
  ident: ref14
  publication-title: Blackboard Architectures and Applications
  contributor:
    fullname: jagannathan
– year: 1992
  ident: ref24
  publication-title: The Nature and Applicability of the Blackboard Architecture
  contributor:
    fullname: velthuijsen
– start-page: 1157
  year: 1987
  ident: ref26
  article-title: a parallel balckboard system for robot control
  publication-title: Proc IJCAI-87
  contributor:
    fullname: velthuijsen
– start-page: 469
  year: 1990
  ident: ref25
  article-title: toward a formal model of blackboards architectures
  publication-title: Proc Computing Science in The Netherlands
  contributor:
    fullname: velthuijsen
– year: 1985
  ident: ref13
  publication-title: Computer Architecture and Parallel Processing
  contributor:
    fullname: hwang
– start-page: 41
  year: 1991
  ident: ref5
  article-title: blackboard systems
  publication-title: AI Expert
  contributor:
    fullname: corkill
– start-page: 329
  year: 1962
  ident: ref20
  article-title: some problems of basic organization in problem-solving programs
  publication-title: Conf on Self-Organizing Systems
  contributor:
    fullname: newell
SSID ssj0014494
Score 1.3564984
Snippet This paper gives a formal model for blackboard systems that provides a consistent method for describing a blackboard system. The formal model describes the...
This paper gives a Formal Model for Blackboard Systems that provides a consistent method for describing a blackboard system. The Formal Model describes the...
SourceID proquest
crossref
ieee
SourceType Aggregation Database
Publisher
StartPage 669
SubjectTerms Analytical models
Centralized control
Concurrent computing
Control systems
Data structures
Object oriented modeling
Power system modeling
Problem-solving
System analysis and design
System testing
Title Design and analysis techniques for concurrent blackboard systems
URI https://ieeexplore.ieee.org/document/541328
https://search.proquest.com/docview/26138522
https://search.proquest.com/docview/26141011
https://search.proquest.com/docview/28273093
https://search.proquest.com/docview/28873368
Volume 26
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV07T8MwELagEwxAC4jy9NABhqRx7CT2BgKqioGJSt2i2LEXpASRZOHXc7bTipcqhkhRdJEs--78ne_uM0ITKlSibaUal6YIWKxFUFjaysjQqFSSi1S7aovndL5gT8tk2fNsu14YrbUrPtOhfXW5_LJWnT0qmybgcWO-jbYzIXyr1jphwJi785AAoggYi7O-FY9EYkpZykP_67fNx92m8ssFu31ltu8bthtHR2jLSV7DrpWh-vhB1vjPIR-gvR5f4juvEEO0pasR2v3COjhCw96eG3zdk07fHKLbB1fKgYuqhMcTleA1wWuDAdtiCJ2Vp3PC0p77yRrUC3su6OYILWaPL_fzoL9dIVCMkDYgymSiAB-jJVO8KKk0sYiMKiiNVGJIRgVRYJ9g9pJJZqghBMCGhogszlQc0WM0qOpKnyCcKgCZsQSwXkLAkUCwrlIuOKNKZCWhZowmq2nP3zyJRu6Cj0jkdnVyP0tjNLITuBZZfb1arVAOqm_zGUWl667JIfijHPDjRgkGPodskOCA3yJBN0lwSxnJT_8c3RnacXXcrjvxHA3a905fAExp5aVT0E-tC-Ul
link.rule.ids 315,783,787,799,27938,27939,55088
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV07T8MwELZ4DMAAtIB410MHGNLGsZPYGwioCpROrdQtih17QUoRaRd-PWc7rXipYogURRfJsu_O3_nuPiPUpkLF2laqcWnygEVaBLmlrQwNDQsluUi0q7YYJv0xe5rEk5pn2_XCaK1d8Znu2FeXyy-mam6PyroxeNyIr6PN2MIK36y1TBkw5m49JIApAsaitG7GI6HoUpbwjv_52_bj7lP55YTdztLb8y3blSMktAUlr535THbUxw-6xn8Oeh_t1ggT33qVaKA1XTbRzhfewSZq1BZd4auadvr6AN3cu2IOnJcFPJ6qBC8pXisM6BZD8Kw8oROW9uRPTkHBsGeDrg7RuPcwuusH9f0KgWKEzAKiTCpy8DJaMsXzgkoTidConNJQxYakVBAFFgqGL5lkhhpCAG5oiMmiVEUhPUIb5bTUxwgnCmBmJAGuFxByxBCuq4QLzqgSaUGoOUHtxbRnb55GI3PhRygyuzqZn6UT1LQTuBRZfG0tVigD5bcZjbzU03mVQfhHOSDIlRIMvA5ZIcEBwYWCrpLgljSSn_45uhba6o9eBtngcfh8hrZdVbfrVTxHG7P3ub4A0DKTl05ZPwHQRehy
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Design+and+analysis+techniques+for+concurrent+blackboard+systems&rft.jtitle=IEEE+transactions+on+systems%2C+man+and+cybernetics.+Part+A%2C+Systems+and+humans&rft.au=McManus%2C+J.W.&rft.au=Bynum%2C+W.L.&rft.date=1996-11-01&rft.pub=IEEE&rft.issn=1083-4427&rft.eissn=1558-2426&rft.volume=26&rft.issue=6&rft.spage=669&rft.epage=680&rft_id=info:doi/10.1109%2F3468.541328&rft.externalDocID=541328
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1083-4427&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1083-4427&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1083-4427&client=summon