Knowledge-Based distributed conflict resolution for multiparty interactions and priorities

Authors:
Saddek Bensalem;Marius Bozga;Jean Quilbeuf;Joseph Sifakis
Affiliations:
UJF-Grenoble 1 / CNRS VERIMAG UMR 5104, Grenoble, France;UJF-Grenoble 1 / CNRS VERIMAG UMR 5104, Grenoble, France;UJF-Grenoble 1 / CNRS VERIMAG UMR 5104, Grenoble, France;UJF-Grenoble 1 / CNRS VERIMAG UMR 5104, Grenoble, France
Venue:
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Year:
2012

Citing 15
Cited 2

The drinking philosophers problem

ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Parallel program design: a foundation

Parallel program design: a foundation
Process Synchronization: Design and Performance Evaluation of Distributed Algorithms

IEEE Transactions on Software Engineering
Knowledge and common knowledge in a distributed environment

Journal of the ACM (JACM)
Reasoning about knowledge

Reasoning about knowledge
Strong Interaction Fairness Via Randomization

IEEE Transactions on Parallel and Distributed Systems
Mathematical methods for calculating invariants in Petri nets

Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
An order-based algorithm for implementing multiparty synchronization: Research Articles

Concurrency and Computation: Practice & Experience
Modeling Heterogeneous Real-time Components in BIP

SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
Compositional Verification for Component-Based Systems and Application

ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
D-Finder: A Tool for Compositional Deadlock Detection and Verification

CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
From high-level component-based models to distributed implementations

EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Methods for knowledge based controlling of distributed systems

ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Incremental component-based construction and verification using invariants

Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design
Automated distributed implementation of component-based models with priorities

EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software

Optimized distributed implementation of multiparty interactions with observation

Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Knowledge based transactional behavior

HVC'12 Proceedings of the 8th international conference on Hardware and Software: verification and testing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Distributed decentralized implementation of systems of communicating processes raises non-trivial problems. Correct execution of multiparty interactions, subject to priority rules, requires sophisticated mechanisms for runtime conflict detection and resolution. We propose a method for detection of false conflicts which combines partial observation of the system's state and apriori knowledge extracted from invariants. We propose heuristics for determining optimal sets of observations leading to implementations with particular guarantees. We provide preliminary experimental results on an implementation of the method in the BIP framework.