Constraint Based Languages for Biological Reactions

In this paper, we describe two techniques based on Concurrent Constraint Programming, to model biological systems: timed process calculus (ntcc) and stochastic Concurrent Constraint Programming (sCCP). We build a simple biochemical reaction, from an enzymatic reaction and we write it be using the different models.

[1]  François Fages,et al.  BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge , 2006, Bioinform..

[2]  Camilo Rueda,et al.  Timed Concurrent Constraint Programming for Analysing Biological Systems , 2007, Electron. Notes Theor. Comput. Sci..

[3]  Johannes Schumacher,et al.  An Introduction to Hybrid Dynamical Systems, Springer Lecture Notes in Control and Information Sciences 251 , 1999 .

[4]  Aviv Regev,et al.  Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra , 2000, Pacific Symposium on Biocomputing.

[5]  Francesca Rossi,et al.  Principles and Practice of Constraint Programming — CP '95 , 1995, Lecture Notes in Computer Science.

[6]  Radha Jagadeesan,et al.  Timed Default Concurrent Constraint Programming , 1996, J. Symb. Comput..

[7]  François Fages,et al.  The Biochemical Abstract Machine BIOCHAM , 2004, CMSB.

[8]  Germán Vidal.  Logic-Based Program Synthesis and Transformation , 2011, Lecture Notes in Computer Science.

[9]  J. Hinnie,et al.  Textbook of biochemistry with clinical correlations , 1999 .

[10]  James W. Haefner,et al.  Modeling Biological Systems , 1996, Springer US.

[11]  Patricia M. Hill.  Logic based program synthesis and transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers , 2006 .

[12]  Radha Jagadeesan,et al.  Computing with Continuous Change , 1998, Sci. Comput. Program..

[13]  Alberto Policriti,et al.  Modeling Biological Systems in Stochastic Concurrent Constraint Programming , 2008, Constraints.

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

[15]  Daniel G. Bobrow,et al.  Programming in Hybrid Constraint Languages , 1994, Hybrid Systems.