@article{Russo:2016:10.1109/TKDE.2016.2515604,
author = {Russo, AM and Ma, J and Lobo, J and Le, F},
doi = {10.1109/TKDE.2016.2515604},
journal = {IEEE Transactions on Knowledge and Data Engineering},
pages = {1489--1502},
title = {Declarative framework for specification, simulation and analysis of distributed applications},
url = {http://dx.doi.org/10.1109/TKDE.2016.2515604},
volume = {28},
year = {2016}
}

Download

TY  - JOUR
AB  - Researchers have recently shown that declarative database query languages, such as Datalog, could naturally be used to specify and implement network protocols and services. In this paper we present a declarative framework for the specification, execution, simulation and analysis of distributed applications. Distributed applications, including routing protocols, can be specified using a Declarative Networking language, called D2C, whose semantics captures the notion of a Distributed State Machine (DSM), i.e. a network of computational nodes that communicate with each other through the exchange of data. The D2C specification can be directly executed using the DSM computational infrastructure of our framework. The same specification can be simulated and formally verified. The simulation component integrates the DSM tool within a network simulation environment and allows developers to simulate network dynamics and collect data about the execution in order to evaluate application responses to network changes. The formal analysis component of our framework, instead, complements the empirical testing by supporting the verification of different classes of properties of distributed algorithms, including convergence of network routing protocols. To demonstrate the generality of our framework, we show how it can be used to analyse two classes of network routing protocols, a path vector and a Mobile Ad-Hoc Network (MANET) routing protocol, and execute a distributed algorithm for pattern formation in multi-robot systems.
AU  - Russo,AM
AU  - Ma,J
AU  - Lobo,J
AU  - Le,F
DO  - 10.1109/TKDE.2016.2515604
EP  - 1502
PY  - 2016///
SN  - 1558-2191
SP  - 1489
TI  - Declarative framework for specification, simulation and analysis of distributed applications
T2  - IEEE Transactions on Knowledge and Data Engineering
UR  - http://dx.doi.org/10.1109/TKDE.2016.2515604
UR  - http://hdl.handle.net/10044/1/28341
VL  - 28
ER  - 

Download