...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE Transactions on Knowledge and Data Engineering >Declarative Framework for Specification, Simulation and Analysis of Distributed Applications
【24h】

Declarative Framework for Specification, Simulation and Analysis of Distributed Applications

机译：分布式应用程序的规范，仿真和分析的声明性框架

获取原文
获取原文并翻译 | 示例
   

获取外文期刊封面封底 >>

       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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 capture 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 analyze 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.
机译：研究人员最近发现，声明性数据库查询语言（例如Datalog）自然可以用于指定和实现网络协议和服务。在本文中，我们为分布式应用程序的规范，执行，仿真和分析提供了一个声明性框架。可以使用称为D2C的声明性网络语言来指定包括路由协议在内的分布式应用程序，该语言的语义捕获了分布式状态机（DSM）的概念，即通过数据交换相互通信的计算节点网络。 。 D2C规范可以使用我们框架的DSM计算基础结构直接执行。可以模拟相同的规范并进行正式验证。模拟组件将DSM工具集成到网络模拟环境中，并允许开发人员模拟网络动态并收集有关执行的数据，以便评估应用程序对网络变化的响应。相反，我们框架的形式化分析组件通过支持验证分布式算法的不同类别的属性（包括网络路由协议的收敛性）来补充经验测试。为了证明我们框架的通用性，我们展示了如何将其用于分析两类网络路由协议，即路径向量和移动自组织网络（MANET）路由协议，并执行分布式算法以在多模式下形成模式-机器人系统。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号