Abstract
Component-based systems (including distributed programs and multiagent systems) involve a lot of coordination. This coordination is done in the background, and is transparent to the operation of the system. The reason for this overhead is the interplay between concurrency and non-deterministic choice: processes alternate between progressing independently and coordinating with other processes, where coordination can involve multiple choices of the participating components. This kind of interactions appeared as early as some of the main communication-based programming languages, where overhead effort often causes a restriction on the possible coordination. With the goal of enhancing the efficiency of coordination for component-based systems, we propose here a method for coordination-based on the precalculation of the knowledge of processes and coordination agents. This knowledge can be used to lift part of the communication or synchronization that appears in the background of the execution to support the interaction. Our knowledge-based method is orthogonal to the actual algorithms or primitives that are used to guarantee the synchronization: it only removes messages conveying information that knowledge can infer.
Original language | English |
---|---|
Title of host publication | Hardware and Software |
Subtitle of host publication | Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Revised Selected Papers |
Publisher | Springer Verlag |
Pages | 40-55 |
Number of pages | 16 |
ISBN (Print) | 9783642396106 |
DOIs | |
State | Published - 2013 |
Event | 8th International on Hardware and Software: Verification and Testing, HVC 2012 - Haifa, Israel Duration: 6 Nov 2012 → 8 Nov 2012 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 7857 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 8th International on Hardware and Software: Verification and Testing, HVC 2012 |
---|---|
Country/Territory | Israel |
City | Haifa |
Period | 6/11/12 → 8/11/12 |
Bibliographical note
Funding Information:The research leading to these results has received funding from the European Community’s Seventh Framework Programme [FP7] under grant agreements no 248776 (PRO3D) and no 257414 (ASCENS) and from ARTEMIS JU grant agreement 2009-1-100230 (SMECY).
Funding
The research leading to these results has received funding from the European Community’s Seventh Framework Programme [FP7] under grant agreements no 248776 (PRO3D) and no 257414 (ASCENS) and from ARTEMIS JU grant agreement 2009-1-100230 (SMECY).
Funders | Funder number |
---|---|
ARTEMIS JU | 2009-1-100230 |
Seventh Framework Programme | 257414, 248776 |