Stronger computational modelling of signalling pathways using both continuous and discrete-state methods

Authors:
Muffy Calder;Adam Duguid;Stephen Gilmore;Jane Hillston
Affiliations:
Department of Computing Science, University of Glasgow, Glasgow, Scotland;Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh, Scotland;Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh, Scotland;Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh, Scotland
Venue:
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Year:
2006

Citing 11
Cited 16

A compositional approach to performance modelling

A compositional approach to performance modelling
The MATLAB ODE Suite

SIAM Journal on Scientific Computing
Model-checking continuous-time Markov chains

ACM Transactions on Computational Logic (TOCL)
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
PRISM: Probabilistic Symbolic Model Checker

TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Mathematical Modeling of the Influence of RKIP on the ERK Signaling Pathway

CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Process Algebras for Quantitative Analysis

LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Time accelerated Monte Carlo simulations of biological networks using the binomial τ-leap method

Bioinformatics
Fluid Flow Approximation of PEPA models

QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
End-to-end integrated security and performance analysis on the DEGAS choreographer platform

FM'05 Proceedings of the 2005 international conference on Formal Methods
Review: Stochastic approaches for modelling in vivo reactions

Computational Biology and Chemistry

Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks

Electronic Notes in Theoretical Computer Science (ENTCS)
Quantitative analysis of biochemical signalling pathways

Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Performance evaluation comes to life: quantitative methods applied to biological systems

ACM SIGMETRICS Performance Evaluation Review
Relating continuous and discrete PEPA models of signalling pathways

Theoretical Computer Science
Synapses as stochastic concurrent systems

Theoretical Computer Science
Integrated Analysis from Abstract Stochastic Process Algebra Models

CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
The Continuous π-Calculus: A Process Algebra for Biochemical Modelling

CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Bio-PEPA: A framework for the modelling and analysis of biological systems

Theoretical Computer Science
Bio-PEPA for Epidemiological Models

Electronic Notes in Theoretical Computer Science (ENTCS)
Process algebras in systems biology

SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Structural analysis for stochastic process algebra models

AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Design and development of software tools for Bio-PEPA

Winter Simulation Conference
Translation from the quantified implicit process flow abstraction in SBGN-PD diagrams to bio-PEPA illustrated on the cholesterol pathway

Transactions on computational systems biology XIII
Modelling and analysis of the NF-κB pathway in bio-PEPA

Transactions on Computational Systems Biology XII
Performance evaluation of sensor networks by statistical modeling and euclidean model checking

ACM Transactions on Sensor Networks (TOSN)
Conservation of Mass Analysis for Bio-PEPA

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Starting from a biochemical signalling pathway model expressed in a process algebra enriched with quantitative information we automatically derive both continuous-space and discrete-state representations suitable for numerical evaluation. We compare results obtained using implicit numerical differentiation formulae to those obtained using approximate stochastic simulation thereby exposing a flaw in the use of the differentiation procedure producing misleading results.