蛋白质与膜相互作用的双图模型
Bigraphical models for protein and membrane interactions
摘要：
我们提出了一个bigraphical的框架，适合在蛋白质水平和膜水平的生物系统建模。我们正式的特征对应于生物意义的系统，和双图重写规则表示生物学上可接受的相互作用。在蛋白质水平上，这些双图反应系统正好对应于卡帕演算系统。膜水平的相互作用仅由两个一般规则表示，其应用可以由蛋白质水平的相互作用以定义良好且精确的方式触发。该框架可用于比较和合并不同抽象级别的模型;特别是，较高级别（例如移动性）的活动可以根据低级别（即，蛋白质）相互作用。作为例子，我们正式在我们的框架中的泡和吞噬过程。
英文摘要：
We present a bigraphical framework suited for modeling biological systems both at protein level and at membrane level. We characterize formally bigraphs corresponding to biologically meaningful systems, and bigraphic rewriting rules representing biologically admissible interactions. At the protein level, these bigraphic reactive systems correspond exactly to systems of kappa-calculus. Membrane-level interactions are represented by just two general rules, whose application can be triggered by protein-level interactions in a well-deïned and precise way. This framework can be used to compare and merge models at different abstraction levels; in particular, higher-level (e.g. mobility) activities can be given a formal biological justification in terms of low-level (i.e., protein) interactions. As examples, we formalize in our framework the vesiculation and the phagocytosis processes.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
