Declarative framework for specification, simulation and analysis of distributed applications
File(s)
Accepted version
Author(s)
Russo, AM
Ma, J
Lobo, J
Le, F
Type
Journal Article
Abstract
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.
Date Issued
2016-06-01
Date Acceptance
2015-11-29
Citation
IEEE Transactions on Knowledge and Data Engineering, 2016, 28 (6), pp.1489-1502
ISSN
1558-2191
Publisher
IEEE
Start Page
1489
End Page
1502
Journal / Book Title
IEEE Transactions on Knowledge and Data Engineering
Volume
28
Issue
6
Copyright Statement
© 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Sponsor
IBM United Kingdom Ltd
Grant Number
PO4603106973
Subjects
Science & Technology
Technology
Computer Science, Artificial Intelligence
Computer Science, Information Systems
Engineering, Electrical & Electronic
Computer Science
Engineering
Information Systems
08 Information and Computing Sciences
Publication Status
Published
Date Publish Online
2016-01-07