Modeling a multi-compartments biological system with membrane computing

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

Problem statement: Most of the biological systems have been hierarchical in structure with processes interacting between different compartments. Membrane computing formalism has provided modeling capabilities in representing the structure of biological systems. Approach: This study was carried to investigate the modeling of a multi-compartment biological system by using membrane computing formalism. The hormone-induced calcium oscillations in liver cells which was modeled with ordinary differential equation was used as a case study. The membrane computing model of this case study was verified and validated by using simulation strategy of Gillespie algorithm and the method of model checking using probabilistic symbolic model checker. The results of membrane computing model were compared to the ordinary differential equation model. Results: The simulation and model checking of membrane computing model of the biological case study showed that the properties of the multi-compartments biological system could be preserved with the membrane computing model. Membrane computing model could also accommodate the structure and processes of the multi-compartments biological system which were absent in the ordinary differential equation model. Conclusion: Membrane computing model provides a better approach in representing a multicompartment system and able to sustain the basic properties of the system. However appropriate value of parameters to represent the rules of the processes of the membrane computing model to manage the stochastic behavior should be formulated to meet the performance of the biological system.

Original languageEnglish
Pages (from-to)1177-1184
Number of pages8
JournalJournal of Computer Science
Volume6
Issue number10
DOIs
Publication statusPublished - 2010

Fingerprint

Biological systems
Membranes
Ordinary differential equations
Model checking
Hormones
Liver
Calcium

Keywords

  • Biological system
  • Gillespie algorithm
  • Membrane computing
  • Model checking

ASJC Scopus subject areas

  • Software
  • Computer Networks and Communications
  • Artificial Intelligence

Cite this

Modeling a multi-compartments biological system with membrane computing. / Muniyandi, Ravie Chandren; Mohd. Zin, Abdullah.

In: Journal of Computer Science, Vol. 6, No. 10, 2010, p. 1177-1184.

Research output: Contribution to journalArticle

@article{73c348a6f6e0439b85a27bc8a72cc896,
title = "Modeling a multi-compartments biological system with membrane computing",
abstract = "Problem statement: Most of the biological systems have been hierarchical in structure with processes interacting between different compartments. Membrane computing formalism has provided modeling capabilities in representing the structure of biological systems. Approach: This study was carried to investigate the modeling of a multi-compartment biological system by using membrane computing formalism. The hormone-induced calcium oscillations in liver cells which was modeled with ordinary differential equation was used as a case study. The membrane computing model of this case study was verified and validated by using simulation strategy of Gillespie algorithm and the method of model checking using probabilistic symbolic model checker. The results of membrane computing model were compared to the ordinary differential equation model. Results: The simulation and model checking of membrane computing model of the biological case study showed that the properties of the multi-compartments biological system could be preserved with the membrane computing model. Membrane computing model could also accommodate the structure and processes of the multi-compartments biological system which were absent in the ordinary differential equation model. Conclusion: Membrane computing model provides a better approach in representing a multicompartment system and able to sustain the basic properties of the system. However appropriate value of parameters to represent the rules of the processes of the membrane computing model to manage the stochastic behavior should be formulated to meet the performance of the biological system.",
keywords = "Biological system, Gillespie algorithm, Membrane computing, Model checking",
author = "Muniyandi, {Ravie Chandren} and {Mohd. Zin}, Abdullah",
year = "2010",
doi = "10.3844/jcssp.2010.1177.1184",
language = "English",
volume = "6",
pages = "1177--1184",
journal = "Journal of Computer Science",
issn = "1549-3636",
publisher = "Science Publications",
number = "10",

}

TY - JOUR

T1 - Modeling a multi-compartments biological system with membrane computing

AU - Muniyandi, Ravie Chandren

AU - Mohd. Zin, Abdullah

PY - 2010

Y1 - 2010

N2 - Problem statement: Most of the biological systems have been hierarchical in structure with processes interacting between different compartments. Membrane computing formalism has provided modeling capabilities in representing the structure of biological systems. Approach: This study was carried to investigate the modeling of a multi-compartment biological system by using membrane computing formalism. The hormone-induced calcium oscillations in liver cells which was modeled with ordinary differential equation was used as a case study. The membrane computing model of this case study was verified and validated by using simulation strategy of Gillespie algorithm and the method of model checking using probabilistic symbolic model checker. The results of membrane computing model were compared to the ordinary differential equation model. Results: The simulation and model checking of membrane computing model of the biological case study showed that the properties of the multi-compartments biological system could be preserved with the membrane computing model. Membrane computing model could also accommodate the structure and processes of the multi-compartments biological system which were absent in the ordinary differential equation model. Conclusion: Membrane computing model provides a better approach in representing a multicompartment system and able to sustain the basic properties of the system. However appropriate value of parameters to represent the rules of the processes of the membrane computing model to manage the stochastic behavior should be formulated to meet the performance of the biological system.

AB - Problem statement: Most of the biological systems have been hierarchical in structure with processes interacting between different compartments. Membrane computing formalism has provided modeling capabilities in representing the structure of biological systems. Approach: This study was carried to investigate the modeling of a multi-compartment biological system by using membrane computing formalism. The hormone-induced calcium oscillations in liver cells which was modeled with ordinary differential equation was used as a case study. The membrane computing model of this case study was verified and validated by using simulation strategy of Gillespie algorithm and the method of model checking using probabilistic symbolic model checker. The results of membrane computing model were compared to the ordinary differential equation model. Results: The simulation and model checking of membrane computing model of the biological case study showed that the properties of the multi-compartments biological system could be preserved with the membrane computing model. Membrane computing model could also accommodate the structure and processes of the multi-compartments biological system which were absent in the ordinary differential equation model. Conclusion: Membrane computing model provides a better approach in representing a multicompartment system and able to sustain the basic properties of the system. However appropriate value of parameters to represent the rules of the processes of the membrane computing model to manage the stochastic behavior should be formulated to meet the performance of the biological system.

KW - Biological system

KW - Gillespie algorithm

KW - Membrane computing

KW - Model checking

UR - http://www.scopus.com/inward/record.url?scp=78049504115&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=78049504115&partnerID=8YFLogxK

U2 - 10.3844/jcssp.2010.1177.1184

DO - 10.3844/jcssp.2010.1177.1184

M3 - Article

AN - SCOPUS:78049504115

VL - 6

SP - 1177

EP - 1184

JO - Journal of Computer Science

JF - Journal of Computer Science

SN - 1549-3636

IS - 10

ER -