Declarative framework for specification, simulation and analysis of distributed applications

摘要

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.