A Model and Analysis of the AKAP Scaffold
A Model and Analysis of the AKAP Scaffold
复制标题
DOI：
10.1016/j.entcs.2010.12.002
复制
发表时间：
2010-12
期刊：
影响因子：
--
通讯作者：
Oana Andrei;Muffy Calder
中科院分区：
文献类型：
--
作者：
Oana Andrei;Muffy Calder
我们研究了支架介导的cAMP和Raf-1/MEK/ERK通路之间的串扰所涉及的生化过程。我们的系统建模的连续时间马尔可夫链的水平和分析使用连续随机逻辑和符号概率模型检查PRISM的属性。我们考虑两种属性的模型，因果事件和脉动行为，为了制定这些属性，我们丰富了模型的趋势公式。该系统目前正在进行湿实验室研究，我们的方法是与实验人员合作开发的。
We study the biochemical processes involved in scaffold-mediated crosstalk between the cAMP and the Raf-1/MEK/ERK pathways. We model the system by a continuous time Markov chain with levels and analyse properties using Continuous Stochastic Logic and the symbolic probabilistic model checker PRISM. We consider two kinds of properties of the model, causal events and pulsating behaviour, and, in order to formulate these properties, we enrich the model with trend formulas. The system is currently under wet-lab investigation and our approach was developed in collaboration with the experimentalists.