• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >A Logical and Computational Theory of Located Resource
【24h】

A Logical and Computational Theory of Located Resource

机译：定位资源的逻辑与计算理论

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

摘要

Experience of practical systems modelling suggests that the key conceptual components of a model of a system are processes, resources, locations and environment. In recent work, we have given a process-theoretic account of this view in which resources as well as processes are first-class citizens. This process calculus, SCRP, captures the structural aspects of the semantics of the Demos2k (D2K) modelling tool. D2K represents environment stochastically using a wide range of probability distributions and queue-like data structures. Associated with SCRP is a (bunched) modal logic, MBI, which combines the usual additive connectives of Hennessy-Milner logic with their multiplicative counterparts. In this article, we complete our conceptual framework by adding to SCRP and MBI an account of a notion of location that is simple, yet sufficiently expressive to capture naturally a wide range of forms of location, both spatial and logical. We also provide a description of an extension of the D2K tool to incorporate this notion of location.
机译：实际系统建模的经验表明，系统模型的关键概念组成部分是流程，资源，位置和环境。在最近的工作中，我们对这种观点进行了过程理论的解释，其中资源和过程都是一等公民。此过程演算SCRP捕获了Demos2k（D2K）建模工具的语义的结构方面。 D2K使用各种概率分布和类似队列的数据结构随机地表示环境。与SCRP关联的是一种（成束的）模态逻辑MBI，它将Hennessy-Milner逻辑的通常加法连接词与它们的乘法对应词结合在一起。在本文中，我们通过向SCRP和MBI添加有关位置概念的说明来完善我们的概念框架，该概念很简单，但足以表达自然地捕获各种形式的位置，包括空间和逻辑上的位置。我们还提供了D2K工具扩展的描述，以结合这种位置概念。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号