• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Electronic Notes in Theoretical Computer Science >Verification of Spatial and Temporal Modalities in Biochemical Systems
【24h】

Verification of Spatial and Temporal Modalities in Biochemical Systems

机译：验证生化系统中的时空形态

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

摘要

Biochemical systems such as metabolic and signaling pathways tend to be arranged in a physical space: the product of one reaction must be in the right place to become the reactant for the subsequent reaction in the pathway. Moreover, in some cases, the behavior of the systems can depend on both, the location of the reactants as well as on the time needed for the reaction to occur. We address the problem of specifying and verifying properties of biochemical systems that exhibit both temporal and spatial modalities at the same time. For that, we use as specification language a fragment of intuitionistic linear logic with subexponentials (SELL). The subexponential signature allows us to capture the spatial relations among the different components of the system and the timed constraints for reactions to occur. We show that our framework is general enough to give a declarative semantics to P-Systems and we show that such logical characterization has a strong level of adequacy. Hence, derivations in SELL follow exactly the behavior of the modeled system.
机译：生化系统（例如代谢途径和信号传导途径）往往布置在物理空间中：一个反应的产物必须在正确的位置，才能成为该途径中后续反应的反应物。此外，在某些情况下，系统的行为可能取决于反应物的位置以及反应发生所需的时间。我们解决了指定和验证同时显示时间和空间形态的生化系统特性的问题。为此，我们将直觉线性逻辑与次指数（SELL）的片段用作规范语言。次指数签名使我们能够捕获系统不同组件之间的空间关系以及发生反应的定时约束。我们证明我们的框架足够通用，可以为P-Systems提供声明性语义，并且我们证明这种逻辑特征具有很强的充分性。因此，SELL中的派生正好遵循建模系统的行为。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号