[论文解读] The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics

Thomas Wright, Ian Stark|arXiv (Cornell University)|Apr 19, 2018

Gene Regulatory Network Analysis参考文献 65被引用 3

一句话总结

bond-calculus 是一种过程演算，通过亲和力模式和通用动力学定律，对具有非线性动力学、多路交互和动态结合的复杂生物系统进行建模。它在连续 pi-演算的基础上，基于向量场和线性算子的组合语义进行扩展，支持常微分方程（ODE）生成和随机模拟，如在 Kuznetsov 的肿瘤-免疫相互作用模型中所展示的那样。

ABSTRACT

We present the bond-calculus, a process algebra for modelling biological and chemical systems featuring nonlinear dynamics, multiway interactions, and dynamic bonding of agents. Mathematical models based on differential equations have been instrumental in modelling and understanding the dynamics of biological systems. Quantitative process algebras aim to build higher level descriptions of biological systems, capturing the agents and interactions underlying their behaviour, and can be compiled down to a range of lower level mathematical models. The bond-calculus builds upon the work of Kwiatkowski, Banks, and Stark's continuous pi-calculus by adding a flexible multiway communication operation based on affinity patterns and general kinetic laws. We develop a compositional semantics based on vector fields and linear operators, which we use to define the time evolution of this system. This enables simulation and analysis via differential equation generation or stochastic simulation. Finally, we apply our framework to an existing biological model: Kuznetsov's classic model of tumour immune interactions.

研究动机与目标

• 解决现有过程演算在建模涉及非线性动力学、多路反应和动态结合的复杂生物相互作用时的局限性。
• 开发一种统一的形式化方法，整合亲和力模式、通用动力学定律和对称多路通信，以实现更直观和准确的生物建模。
• 通过支持 ODE 推导和随机模拟的组合语义，扩展连续 pi-演算，同时保持模块化和可读性。
• 通过高层、组合性的语言，实现对复杂生物系统（如免疫-肿瘤相互作用）的形式化规范和分析。
• 提供一个简化复杂生化系统建模的框架，同时保持与既定数学方法和模拟技术的兼容性。

提出的方法

• bond-calculus 引入了一种基于亲和力模式的新通信原语，通过模式匹配实现代理之间的位点特异性兼容性匹配。
• 它支持对称多路结合，能够自然地对生物系统中常见的 n 元相互作用（如蛋白质复合物形成）进行建模。
• 形式语义通过向量场和线性算子定义，为混合物和亲和力网络提供组合表示。
• 该框架支持从过程代数项自动生成常微分方程（ODE），从而实现高效的数值模拟。
• 通过与 StochPy 和 Gillespie 算法的集成，支持随机模拟，能够分析有限种群效应。
• 语义具有组合性，并通过将反应类型从二元和一元质量作用动力学推广，扩展了连续 pi-演算。

实验结果

研究问题

• RQ1 过程演算如何有效建模具有多路交互和动态结合的复杂生物系统？
• RQ2 统一的形式化方法能否整合亲和力模式、通用动力学定律和组合语义，以提升模型的表达力和可读性？
• RQ3 bond-calculus 在多大程度上能够实现对具有非线性动力学的生物系统的精确 ODE 和随机模拟？
• RQ4 bond-calculus 在建模现实世界生物现象（如肿瘤-免疫相互作用）方面，与现有过程演算相比表现如何？
• RQ5 bond-calculus 的组合语义能否支持混合模拟和模型检测等高级分析技术？

主要发现

• bond-calculus 使用高层、组合性规范成功建模了 Kuznetsov 的肿瘤-免疫相互作用模型，准确捕捉了动态结合和多路交互。
• 该框架能够从过程代数项自动提取 ODE，支持高效模拟，并与既定数学模型进行验证。
• 使用 Gillespie 算法的随机模拟揭示了肿瘤消亡等动力学行为，这些行为因有限种群效应而无法被 ODE 近似捕捉。
• 亲和力模式的使用简化了位点特异性相互作用的规范，提高了多智能体系统中模型的清晰度并降低了复杂性。
• 组合语义同时支持确定性和随机分析，为后续的形式化验证和模拟技术提供了灵活的基础。
• bond-calculus 通过支持通用动力学定律和对称 n 元交互，扩展了连续 pi-演算，显著拓宽了其在复杂生物系统中的适用范围。