%0 Conference Proceedings
%T Knowledge-based Distributed Conflict Resolution for Multiparty Interactions and Priorities
%+ VERIMAG (VERIMAG - IMAG)
%A Bensalem, Saddek
%A Bozga, Marius
%A Quilbeuf, Jean
%A Sifakis, Joseph
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
%C Stockholm, Sweden
%Y Holger Giese
%Y Grigore Rosu
%I Springer
%3 Formal Techniques for Distributed Systems
%V LNCS-7273
%P 118-134
%8 2012-06-13
%D 2012
%R 10.1007/978-3-642-30793-5_8
%K Distributed System
%K Priorities
%K Knowledge
%K Partial Observation
%K Multiparty Interactions
%Z Computer Science [cs]
%Z Computer Science [cs]/Embedded SystemsConference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://hal.science/hal-00722485/document
%2 https://hal.science/hal-00722485/file/main.pdf
%L hal-00722485
%U https://hal.science/hal-00722485
%~ UGA
%~ IMAG
%~ CNRS
%~ UNIV-GRENOBLE1
%~ INPG
%~ VERIMAG
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-FMOODS
%~ IFIP-LNCS-7273