Knowledge-based construction of distributed constrained systems

Susanne Graf 1 Sophie Quinton 2
2 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : 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.
Type de document :
Article dans une revue
International Journal on Software and Systems Modeling, 2015, 〈10.1007/s10270-014-0451-z〉
Liste complète des métadonnées
Contributeur : Sophie Quinton <>
Soumis le : vendredi 15 janvier 2016 - 16:41:17
Dernière modification le : jeudi 7 février 2019 - 16:18:27




Susanne Graf, Sophie Quinton. Knowledge-based construction of distributed constrained systems. International Journal on Software and Systems Modeling, 2015, 〈10.1007/s10270-014-0451-z〉. 〈hal-01257059〉



Consultations de la notice