A declarative approach to distributed computing: Specification, execution and analysis
-
Published:2013-07
Issue:4-5
Volume:13
Page:815-830
-
ISSN:1471-0684
-
Container-title:Theory and Practice of Logic Programming
-
language:en
-
Short-container-title:Theory and Practice of Logic Programming
Author:
MA JIEFEI,LE FRANCK,WOOD DAVID,RUSSO ALESSANDRA,LOBO JORGE
Abstract
AbstractThere is an increasing interest in using logic programming to specify and implement distributed algorithms, including a variety of network applications. These are applications where data and computation are distributed among several devices and where, in principle, all the devices can exchange data and share the computational results of the group. In this paper we propose a declarative approach to distributed computing whereby distributed algorithms and communication models can be (i) specified as action theories of fluents and actions; (ii) executed as collections of distributed state machines, where devices are abstracted as (input/output) automata that can exchange messages; and (iii) analysed using existing results on connecting causal theories and Answer Set Programming. Results on the application of our approach to different classes of network protocols are also presented.
Publisher
Cambridge University Press (CUP)
Subject
Artificial Intelligence,Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Impact of Propositional Messages on Termination of Declarative Distributed Systems;Selected Reflections in Language, Logic, and Information;2023-12-28
2. Decidability Borders of Verification of Communicating Datalog Agents;Multi-Agent Systems;2023
3. Probabilistic QoS-aware Placement of VNF Chains at the Edge;Theory and Practice of Logic Programming;2021-02-15
4. On evidence preservation requirements for forensic-ready systems;Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering;2017-08-21
5. Efficient Distributed Query Processing;IEEE Transactions on Automation Science and Engineering;2016-07