A Framework for Modeling and Verifying Biological Systems Using Membrane Computing
Membrane computing can abstract biological structures and behaviors, and formally represent them without disregarding their biological characteristics. However, there is the lack of a proper framework to model and verify biological systems with membrane computing that could act as a guideline for researchers in computational biology or systems biology in using and exploring the advantages of membrane computing. This paper presents a framework for modeling and verifying biological systems using membrane computing. The framework processes are made up of biological requirement and property specification, membrane computing model, membrane computing simulation strategy, and model checking approach. The evaluation of the framework with biological systems shows that the proposed framework can be used as the first step to further improve the modeling and verification approaches in membrane computing.
KeywordsMembrane computing Framework Simulation strategy Model checking Biological systems
Unable to display preview. Download preview PDF.
This work supported by the Young Researcher Grant of the National University of Malaysia (Grant code: GGPM-2011-051).
- Paun, G.: Computing with Membranes. Journal of Computer and System Sciences 61(1), 108-143 (1998)Google Scholar
- Ciobanu, G., Perez-Jimenez, M. J., Paun, G.: Application of Membrane Computing. Springer Verlag, Berlin (2006)Google Scholar
- Nishida, T.Y.: Simulations of photosynthesis by a K-subset transforming system with membranes. Fundam. Inform. 49, 249-259 (2002)Google Scholar
- Ardelean, I.I., Besozzi, D., Garzon, M.H., Mauri, G., Roy, S.: P-System Models for Mechanosensitive Channels. Springer Verlag, Berlin (2005)Google Scholar
- Besozzi, D., Ciobanu, G.: A P-system description of the sodium-potassium pump. Lecture Notes Comput. Sci. 3365, 210-223 (2004)Google Scholar
- Romero-Campero, F.J, Perez-Jimenez, M.J.: A Model of the Quorum Sensing System in Vibrio fischeri Using P Systems. Artificial Life 14(1), 99 – 109 (2008)Google Scholar
- Corne, D.W. Frisco, P. (2008). 2008. Dynamics of HIV infection studied with cellular automata and conformon-P systems. Biosystems 91(3), 531-544Google Scholar
- Esmaeili, A., Yazdanbod, I., Jacob, C.: A Model of the Quorum Sensing System in Genetically Engineered E.coli Using Membrane Computing. International Genetically Engineered Machine (iGEM) competition (2009)Google Scholar
- Pauling, L.: General chemistry. Courier Dover Publications, London (1998)Google Scholar
- Gillespie, D.T.: Stochastic Simulation of Chemical Kinetics. Annual Review of Physical Chemistry 58, 35-55 (2007)Google Scholar
- Beizer, B.: Black-Box Testing: Techniques for Functional Testing of Software and Systems. Wiley, London (1995)Google Scholar
- Kwiatkowska, M., Norman, G., Parker, D: Stochastic Model Checking. Lecture Notes in Computer Science 4486, 220-270 (2007)Google Scholar
- Romero-Campero, F.J, Gheorghe, M., Bianco, L., Pescini, D., Pérez-Jiménez, M.J., Ceterchi, R. Towards Probabilistic Model Checking on P Systems Using PRISM. Lecture Notes Comput. Sci. 4361, 477-495 (2006)Google Scholar
- Muniyandi, R.C., Abdullah, M.Z.: Evaluating Ligand-Receptor Networks of TGF-β with Membrane Computing. Pakistan Journal of Biological Sciences 14(24), 1100-1108 (2011)Google Scholar
- Muniyandi, R.C., Abdullah, M.Z.: Modeling Hormone-induced Calcium Oscillations in Liver Cell with Membrane Computing. Romanian Journal of Information Science and Technology 15(1), 63-76 (2012)Google Scholar