Modeling hormone-induced calcium oscillations in liver cell with membrane computing

The capability of membrane computing to deal with distributed and parallel computing models, allows it to characterize the structure and processes of biological systems. With this advantage, membrane computing provides an alternative modelling approach to conventional methods such as ordinary differential equations, primarily in preserving the discrete and nondeterministic behavior of biological reactions. This paper investigates the implementation of the framework for modelling and verification based on membrane computing with a biological process of hormone-induced calcium oscillations in liver cell. The biological requirements and properties of this process are formalized in membrane computing. The model of membrane computing is verified with the simulation strategy of Gillespie algorithm and the model checking approach of the Probabilistic Symbolic Model Checker. The results provided by the simulation and model checking approaches demonstrate that the fundamental properties of the biological process have been preserved by membrane computing model. The results have emphasized that membrane computing provides a better approach in accommodating the structure and processes of hormone-induced calcium oscillations compared to the approach of the ordinary differential equations. However other biological aspects such as the selection of parameters based on the stochastic behavior of biological processes have to be tackled to strengthen membrane computing competence in modelling biological processes. 64 R. C. Muniyandi, A. M. Zin Key-words: membrane computing; hormone induced calcium oscillations; Gillespie algorithm; PRISM.

[1]  Hidde de Jong,et al.  Modeling and Simulation of Genetic Regulatory Systems: A Literature Review , 2002, J. Comput. Biol..

[2]  S. I. Rubinow,et al.  Introduction to Mathematical Biology , 1975 .

[3]  Rodica Ceterchi,et al.  Towards Probabilistic Model Checking on P Systems Using PRISM , 2006, Workshop on Membrane Computing.

[4]  Russ B. Altman,et al.  Research Paper: Using Petri Net Tools to Study Properties and Dynamics of Biological Systems , 2004, J. Am. Medical Informatics Assoc..

[5]  Marta Z. Kwiatkowska,et al.  Using probabilistic model checking in systems biology , 2008, PERV.

[6]  Enno Ohlebusch,et al.  Term Rewriting Systems , 2002 .

[7]  Daniel T Gillespie,et al.  Stochastic simulation of chemical kinetics. , 2007, Annual review of physical chemistry.

[8]  Vincenzo Manca,et al.  The metabolic algorithm for P systems: Principles and applications , 2008, Theor. Comput. Sci..

[9]  Boris Beizer,et al.  Black Box Testing: Techniques for Functional Testing of Software and Systems , 1996, IEEE Software.

[10]  Marian Gheorghe,et al.  Testing Based on P Systems - An Overview , 2010, Int. Conf. on Membrane Computing.

[11]  Gheorghe Paun,et al.  The Oxford Handbook of Membrane Computing , 2010 .

[12]  Abdullah Mohd Zin,et al.  Experimenting the Simulation Strategy of Membrane Computing with Gillespie Algorithm by Using Two Biological Case Studies , 2010 .

[13]  R Somogyi,et al.  Hormone-induced calcium oscillations in liver cells can be explained by a simple one pool model. , 1991, The Journal of biological chemistry.

[14]  Abdullah Mohd Zin,et al.  Comparing Membrane Computing with Ordinary Differential Equation in Modeling a Biological Process in Liver Cell , 2011, 2011 Sixth International Conference on Bio-Inspired Computing: Theories and Applications.

[15]  Jos C. M. Baeten,et al.  Process Algebra: Equational Theories of Communicating Processes , 2009 .

[16]  D. Gillespie.  Approximate accelerated stochastic simulation of chemically reacting systems , 2001 .

[17]  Pawan Dhar,et al.  Modeling and simulation of biological systems with stochasticity , 2004, Silico Biol..

[18]  Abdullah Mohd Zin,et al.  Model Checking the Biological Model of Membrane Computing with Probabilistic Symbolic Model Checker by Using Two Biological Systems , 2010 .

[19]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..