Knowledge for the Distributed Implementation of Constrained Systems

Deriving distributed implementations from global specifications has been extensively studied for different application domains, under different assumptions and constraints. We explore here the knowledge perspective: a process decides to take a local action when it has the knowledge to do so. We discuss typical knowledge atoms that are useful for expressing local enabling conditions with respect to different notions of correctness, as well as different means for obtaining knowledge and for representing it locally in an efficient manner. Our goal is to use such a knowledge-based representation of the distribution problem for either deriving distributed implementations automatically from global specifications on which some constraint is enforced, or for improving the efficiency of existing protocols by exploiting local knowledge. We also argue that such a knowledge-based presentation helps achieving the necessary correctness proofs.

[1]  Doron A. Peled,et al.  Methods for Knowledge Based Controlling of Distributed Systems , 2010, ATVA.

[2]  Stephen A. Edwards,et al.  The synchronous languages 12 years later , 2003, Proc. IEEE.

[3]  Rajive L. Bagrodia,et al.  Process Synchronization: Design and Performance Evaluation of Distributed Algorithms , 1989, IEEE Trans. Software Eng..

[4]  Teruo Higashino,et al.  Deriving protocol specifications from service specifications written in LOTOS , 1996, Distributed Computing.

[5]  Mohamed Nassim Seghir,et al.  A Lightweight Approach for Loop Summarization , 2011, ATVA.

[6]  Sophie Quinton,et al.  Building Distributed Controllers for Systems with Priorities , 2011, J. Log. Algebraic Methods Program..

[7]  Joseph Sifakis,et al.  Priority Scheduling of Distributed Systems Based on Model Checking , 2009, CAV.

[8]  Robert L. Probert,et al.  Synthesis of Communication Protocols: Survey and Assessment , 1991, IEEE Trans. Computers.

[9]  Doron A. Peled,et al.  Achieving Distributed Control through Model Checking , 2010, CAV.

[10]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.

[11]  Joseph Sifakis,et al.  Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities , 2012, FMOODS/FORTE.

[12]  Ronald Fagin,et al.  Modelling knowledge and action in distributed systems , 2005, Distributed Computing.

[13]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[14]  Walter Murray Wonham,et al.  Decentralized supervisory control of discrete-event systems , 1987, Inf. Sci..

[15]  S. Laurie Ricker,et al.  Know means no: Incorporating knowledge into discrete-event control systems , 2000, IEEE Trans. Autom. Control..

[16]  Sven Schewe,et al.  Synthesis of Distributed Control through Knowledge Accumulation , 2011, CAV.

[17]  Reinhard Gotzhein,et al.  Deriving protocol specifications from service specifications , 1986, SIGCOMM '86.

[18]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[19]  S. Laurie Ricker,et al.  Knowledge Is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems , 2007, IEEE Transactions on Automatic Control.

[20]  Walter Murray Wonham,et al.  Modular Control and Coordination of Discrete-Event Systems , 1998, Discret. Event Dyn. Syst..

[21]  Doron A. Peled,et al.  Monitoring Distributed Systems Using Knowledge , 2011, FMOODS/FORTE.

[22]  Paul Caspi,et al.  Execution of Distributed Reactive Systems , 1995, Euro-Par.

[23]  Hirozumi Yamaguchi,et al.  Deriving protocol specifications from service specifications written as Predicate/Transition-nets , 2007, Comput. Networks.

[24]  David Lee,et al.  Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings , 2009, FMOODS/FORTE.

[25]  Seif Haridi,et al.  EURO-PAR '95 Parallel Processing , 1995, Lecture Notes in Computer Science.

[26]  Daniel Brand,et al.  Towards Analyzing and Synthesizing Protocols , 1980, IEEE Trans. Commun..

[27]  José Antonio Pérez,et al.  An order‐based algorithm for implementing multiparty synchronization , 2004, Concurr. Pract. Exp..