Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Declarative framework for specification, simulation and analysis of distributed applications
Ma J., Le F., Russo A., Lobo J. IEEE Transactions on Knowledge and Data Engineering28 (6):1489-1502,2016.Type:Article
Date Reviewed: Sep 23 2016

Distributed applications are normally overlaid on a network of computing elements (nodes). Their specification requires the declaration of each task and role of each node over a period of time, along with protocols and services. The authors assert that a declarative networking (DN) database query language such as Datalog can be used, provided rules are built into the DN framework. They propose a framework called D2C (which defines a declarative language) based on their earlier work.

The framework incorporates execution, simulation, and analytical tasks and rules, including: (1) message alerts to neighboring nodes based on costs; (2) cost updates; (3) a state automata model for each node on the basis of named tuples, with a trigger for each state change; (4) rules for state transitions; and (5) a three-layer execution architecture at each node. Each node has an application and service layer, a declarative computing layer, and a data sharing and communication layer. A rules engine (distributed state machine, DSM) runs at each node, taking D2C state transition declaration as input, and executes it while handling the inter-node communication. In addition, DSM facilitates an environment for developers to simulate and visualize the application. A developer implements the distributed algorithm through D2C declarative statements, whose semantics is based on tuples for tasks, location, and time. In logic mode, in-built answer set programming (ASP) provides the response in terms of routing and computational effectiveness of the algorithm. To illustrate, the authors discuss routing protocols (early ARPANET) and pattern formation in a multi-robot system.

This well-written paper has 46 references. It describes the achievements of a defense-funded project. The paper will interest practitioners and researchers in distributed computing.

Reviewer:  Anoop Malaviya Review #: CR144786 (1612-0892)
Bookmark and Share
  Reviewer Selected
 
 
Distributed Applications (C.2.4 ... )
 
 
Routing Protocols (C.2.2 ... )
 
Would you recommend this review?
yes
no
Other reviews under "Distributed Applications": Date
The art of distributed applications
Corbin J., Springer-Verlag New York, Inc., New York, NY, 1991. Type: Book (9780387972473)
Jun 1 1992
Client-server computing
Sinha A. Communications of the ACM 35(7): 77-98, 1992. Type: Article
Jan 1 1994
APPC/MVS distributed application support
Voss F. IBM Systems Journal 31(2): 381-408, 1992. Type: Article
May 1 1994
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy