Stochastic Concurrent Constraint Programming and Differential Equations

Abstract We tackle the problem of relating models of systems (mainly biological systems) based on stochastic process algebras (SPA) with models based on differential equations. We define a syntactic procedure that translates programs written in stochastic Concurrent Constraint Programming (sCCP) into a set of Ordinary Differential Equations (ODE), and also the inverse procedure translating ODE's into sCCP programs. For the class of biochemical reactions, we show that the translation is correct w.r.t. the intended rate semantics of the models. Finally, we show that the translation does not generally preserve the dynamical behavior, giving a list of open research problems in this direction.

[1]  S. Logan,et al.  Fundamentals of Chemical Kinetics , 1996 .

[2]  M. Elowitz,et al.  A synthetic oscillatory network of transcriptional regulators , 2000, Nature.

[3]  Stephen Gilmore,et al.  Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA , 2006, Trans. Comp. Sys. Biology.

[4]  Jane Hillston,et al.  Fluid flow approximation of PEPA models , 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).

[5]  Jane Hillston,et al.  A compositional approach to performance modelling , 1996 .

[6]  D. Vere-Jones.  Markov Chains , 1972, Nature.

[7]  D. Gillespie.  The chemical Langevin equation , 2000 .

[8]  E. Shapiro,et al.  Cellular abstractions: Cells as computation , 2002, Nature.

[9]  James M. Bower,et al.  Computational modeling of genetic and biochemical networks , 2001 .

[10]  Vijay A. Saraswat,et al.  Concurrent constraint programming , 1989, POPL '90.

[11]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[12]  Luca Bortolussi,et al.  Stochastic Concurrent Constraint Programming , 2006, QAPL.

[13]  Luca Cardelli,et al.  From Processes to ODEs by Chemistry , 2008, IFIP TCS.

[14]  D. Gillespie.  Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[15]  C. F. Wells.  The fundamentals of chemical kinetics , 1980, Nature.

[16]  Daniel T. Gillespie,et al.  Numerical Simulation for Biochemical Kinetics , 2008 .

[17]  Alan Bain.  Stochastic Calculus , 2007 .

[18]  Hiroaki Kitano,et al.  Foundations of systems biology , 2001 .

[19]  C. Rao,et al.  Stochastic chemical kinetics and the quasi-steady-state assumption: Application to the Gillespie algorithm , 2003 .

[20]  Darren J. Wilkinson.  Stochastic Modelling for Systems Biology , 2006 .

[21]  Alberto Policriti,et al.  Hybrid approximation of stochastic process algebras for systems biology , 2008 .

[22]  Luca Cardelli,et al.  On process rate semantics , 2008, Theor. Comput. Sci..