Knowledge-based construction of distributed constrained systems

The problem of deriving distributed implementations from global specifications has been extensively studied for a number of application domains. We explore it here from the knowledge perspective: A process may decide to take a local action when it has enough knowledge to do so. Such knowledge may be acquired by communication through primitives available on the platform or by static analysis. In this paper, we want to combine control and distribution, that is, we need to impose some global control constraint on a system executed in a distributed fashion. To reach that goal, we compare two approaches: either build a centralized controlled system, distribute its controller and then implement this controlled system on a distributed platform; or alternatively, directly enforce the control constraint while implementing the distributed system on the platform. We show how to achieve a solution following the second approach and explain why this is a pragmatic and more efficient strategy than the other, previously proposed one.

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

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

[3]  Joseph Sifakis,et al.  Priority scheduling of distributed systems based on model checking , 2009, Formal Methods Syst. Des..

[4]  Stephen A. Edwards,et al.  The Synchronous Languages Twelve Years Later , 1997 .

[5]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

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

[7]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

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

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

[10]  Doron A. Peled,et al.  Achieving distributed control through model checking , 2012, Formal Methods Syst. Des..

[11]  Reinhard Gotzhein,et al.  Deriving protocol specifications from service specifications including parameters , 1990, TOCS.

[12]  Doron A. Peled,et al.  Verification of distributed programs using representative interleaving sequences , 1992, Distributed Computing.

[13]  Hirozumi Yamaguchi,et al.  Synthesis of protocol entities specifications from service specifications in a Petri net model with registers , 1995, Proceedings of 15th International Conference on Distributed Computing Systems.

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

[15]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

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

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

[18]  M.T. Liu,et al.  Synthesizing protocol specifications from service specifications in FSM model , 1988, [1988] Proceedings. Computer Networking Symposium.

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

[20]  W. Murray Wonham,et al.  Think Globally, Act Locally: Decentralized Supervisory Control , 1991, 1991 American Control Conference.

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

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

[23]  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.

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

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

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

[27]  Sophie Quinton,et al.  Knowledge for the Distributed Implementation of Constrained Systems , 2013, IFM.

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

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

[30]  Frédéric Boussinot,et al.  The ESTEREL language , 1991, Proc. IEEE.

[31]  Leslie Lamport,et al.  How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs , 2016, IEEE Transactions on Computers.

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

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

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

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

[36]  Stéphane Lafortune,et al.  A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems , 2002, Discret. Event Dyn. Syst..

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