Knowledge based transactional behavior

Saddek Bensalem, Marius Bozga, Doron Peled, Jean Quilbeuf

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations


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 languageEnglish
Title of host publicationHardware and Software
Subtitle of host publicationVerification and Testing - 8th International Haifa Verification Conference, HVC 2012, Revised Selected Papers
PublisherSpringer Verlag
Number of pages16
ISBN (Print)9783642396106
StatePublished - 2013
Event8th International on Hardware and Software: Verification and Testing, HVC 2012 - Haifa, Israel
Duration: 6 Nov 20128 Nov 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7857 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference8th International on Hardware and Software: Verification and Testing, HVC 2012

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).


Dive into the research topics of 'Knowledge based transactional behavior'. Together they form a unique fingerprint.

Cite this