Distributed state machines: a declarative framework for the management of distributed systems

Authors:
Jorge Lobo;David Wood;Dinesh Verma;Seraphin Calo
Affiliations:
IBM Research, Hawthorne, NY;IBM Research, Hawthorne, NY;IBM Research, Hawthorne, NY;IBM Research, Hawthorne, NY
Venue:
Proceedings of the 8th International Conference on Network and Service Management
Year:
2012

Citing 7
Cited 0

The stable paths problem and interdomain routing

IEEE/ACM Transactions on Networking (TON)
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies

Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
A Distributed Load Balancing Algorithm for Structured P2P Systems

ISCC '06 Proceedings of the 11th IEEE Symposium on Computers and Communications
The design and implementation of declarative networks

The design and implementation of declarative networks
Declarative networking

Communications of the ACM - Scratch Programming for All
Dedalus: datalog in time and space

Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Declarative distributed computing

Correct Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we describe the implementation of a declarative framework to support the development of distributed management applications. The framework is based on an extension of declarative networking, an asynchronous computational model that uses recursive SQL as its foundation and has been successfully used for the implementation of multiple networking protocols including opinion-based preferential routing as well as standard path vector and link state routing protocols. The SQL implementation enables analysis capabilities that can help avoid implementation and logic errors.