Bio-PEPA: A framework for the modelling and analysis of biological systems
Bio-PEPA: A framework for the modelling and analysis of biological systems
复制标题
DOI：
10.1016/j.tcs.2009.02.037
复制
发表时间：
2009-08-21
影响因子：
1.1
通讯作者：
Hillston, Jane
中科院分区：
文献类型：
--
作者：
Ciocchetta, Federica;Hillston, Jane
在这项工作中，我们提出了 Bio-PEPA，一种用于生化网络建模和分析的过程代数。它是 PEPA 的修改版，最初定义用于计算机系统的性能分析，以处理生物模型的某些特征，例如化学计量和一般动力学定律的使用。 Bio-PEPA 可以被视为生物系统的中间、形式、组合表示，可以对其进行不同类型的分析。 Bio-PEPA 丰富了一些等效概念。具体来说，PEPA 的同构和强互模拟已被考虑并扩展到我们的语言。最后，我们展示了生物模型到新语言的翻译，并报告了一些分析结果。 (C) 2009 Elsevier B.V. 保留所有权利。
In this work we present Bio-PEPA, a process algebra for the modelling and the analysis of biochemical networks. It is a modification of PEPA, originally defined for the performance analysis of computer systems, in order to handle some features of biological models, such as stoichiometry and the use of general kinetic laws. Bio-PEPA maybe seen as an intermediate, formal, compositional representation of biological systems, on which different kinds of analyses can be carried out. Bio-PEPA is enriched with some notions of equivalence. Specifically, the isomorphism and strong bisimulation for PEPA have been considered and extended to our language. Finally, we show the translation of a biological model into the new language and we report some analysis results. (C) 2009 Elsevier B.V. All rights reserved.