A Model and Analysis of the AKAP Scaffold

Authors:
Oana Andrei;Muffy Calder
Affiliations:
Department of Computing Science, University of Glasgow, Glasgow, United Kingdom;Department of Computing Science, University of Glasgow, Glasgow, United Kingdom
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2010

Citing 10
Cited 3

Model-Checking Algorithms for Continuous-Time Markov Chains

IEEE Transactions on Software Engineering
Modeling and querying biomolecular interaction networks

Theoretical Computer Science - Special issue: Computational systems biology
Temporal logic patterns for querying dynamic models of cellular interaction networks

Bioinformatics
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology

CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA

Electronic Notes in Theoretical Computer Science (ENTCS)
Analysing Biochemical Oscillation through Probabilistic Model Checking

Electronic Notes in Theoretical Computer Science (ENTCS)
Stochastic model checking

SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Temporal logic constraints in the biochemical abstract machine BIOCHAM

LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
Analysis of signalling pathways using continuous time markov chains

Transactions on Computational Systems Biology VI
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA

Transactions on Computational Systems Biology VII

From species to pathway and tissue as process

Proceedings of the 8th International Conference on Computational Methods in Systems Biology
PORGY: A Visual Graph Rewriting Environment for Complex Systems

Computer Graphics Forum
Trend-Based analysis of a population model of the AKAP scaffold protein

Transactions on Computational Systems Biology XIV

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.