• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Software and systems modeling >Knowledge-based construction of distributed constrained systems
【24h】

Knowledge-based construction of distributed constrained systems

机译：基于知识的分布式约束系统构建

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

摘要

The problem of deriving distributed implementations from global specifications has been extensively studied for a number of application domains. We explore it here from the knowledge perspective: A process may decide to take a local action when it has enough knowledge to do so. Such knowledge may be acquired by communication through primitives available on the platform or by static analysis. In this paper, we want to combine control and distribution, that is, we need to impose some global control constraint on a system executed in a distributed fashion. To reach that goal, we compare two approaches: either build a centralized controlled system, distribute its controller and then implement this controlled system on a distributed platform; or alternatively, directly enforce the control constraint while implementing the distributed system on the platform. We show how to achieve a solution following the second approach and explain why this is a pragmatic and more efficient strategy than the other, previously proposed one.
机译：对于许多应用领域，已经广泛研究了从全局规范派生分布式实现的问题。我们从知识的角度对此进行探讨：一个过程可以在有足够知识的情况下决定采取局部行动。可以通过平台上可用的原语进行通信或通过静态分析来获取此类知识。在本文中，我们希望将控制和分布结合起来，也就是说，我们需要对以分布式方式执行的系统施加一些全局控制约束。为了实现该目标，我们比较了两种方法：要么建立一个集中的受控系统，分配其控制器，然后在分布式平台上实现该受控系统；要么建立一个集中的受控系统，然后分配该控制器。或者，在平台上实施分布式系统时直接执行控制约束。我们将展示如何按照第二种方法来实现解决方案，并解释为什么这是一种比以前提出的策略更实用，更有效的策略。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号