Verimag

bibtex

@article{GQ14,
    title = {Distributed Implementation of Constrained Systems based on Knowledge },
    author = {Graf, Susanne and Quinton, Sophie},
    year = {2014},
    journal = {Journal on Software and Systems Modeling, SoSym},
    publisher = {Springer},
    team = {DCS},
    xeditor = {Einar Broch Johnson Luigia Petre},
    abstract = {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.},
}

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 830940