...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Theory and Practice of Logic Programming >Abstract diagnosis for timed concurrent constraint programs
【24h】

Abstract diagnosis for timed concurrent constraint programs

机译：定时并发约束程序的抽象诊断

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The timed concurrent constraint language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat. In this paradigm, the notion of store-as-value is replaced by the notion of store-as-constraint, which introduces some differences w.r.t. other approaches to concurrency. In this paper, we provide a general framework for the debugging of tccp programs. To this end, we first present a new compact, bottom-up semantics for the language that is well suited for debugging and verification purposes in the context of reactive systems. We also provide an abstract semantics that allows us to effectively implement debugging algorithms based on abstract interpretation. Given a tccp program and a behavior specification, our debugging approach automatically detects whether the program satisfies the specification. This differs from other semi-automatic approaches to debugging and avoids the need to provide symptoms in advance. We show the efficacy of our approach by introducing two illustrative examples. We choose a specific abstract domain and show how we can detect that a program is erroneous.
机译：定时并发约束语言（简称tccp）是一种基于Saraswat简单但功能强大的并发约束范例的并发逻辑语言。在这种范式中，“按价值存储”概念被“按约束存储”概念取代，这引入了一些差异。其他并发方法。在本文中，我们提供了调试tccp程序的通用框架。为此，我们首先针对该语言提出一种新的紧凑，自下而上的语义，该语义非常适合在反应系统的上下文中进行调试和验证。我们还提供了一种抽象语义，使我们能够基于抽象解释有效地实现调试算法。给定一个tccp程序和一个行为规范，我们的调试方法将自动检测该程序是否满足该规范。这不同于其他半自动调试方法，并且无需提前提供症状。通过介绍两个说明性示例，我们展示了我们方法的有效性。我们选择一个特定的抽象域，并说明如何检测程序是错误的。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号