An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra
An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra
复制标题
从生物建模叙事语言到过程代数的自动翻译
DOI：
10.1007/978-3-540-75140-3_10
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
C. Priami
中科院分区：
文献类型：
--
作者：
M. L. Guerriero;J. Heath;C. Priami
这项工作的目的是双重的。首先，我们提出了一个高层次的文本建模语言，这意味着是生物直观的，因此很容易使用的生命科学家在建模细胞内系统。其次，我们将所提出的语言自动翻译成Beta绑定器，这是一种生物启发的过程演算，允许生命科学家正式分析和模拟他们的模型。我们使用Gp130信号通路作为案例研究。
The aim of this work is twofold. First, we propose an high level textual modelling language, which is meant to be biologically intuitive and hence easily usable by life scientists in modelling intracellular systems. Secondly, we provide an automatic translation of the proposed language into Beta-binders, a bio-inspired process calculus, which allows life scientists to formally analyse and simulate their models. We use the Gp130 signalling pathway as a case study.