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

Research output: Contribution to journalArticle

11 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)63-76
Number of pages14
JournalRomanian Journal of Information Science and Technology
Volume15
Issue number1
Publication statusPublished - 2012

Fingerprint

Hormones
Liver
Calcium
Membranes
Model checking
Ordinary differential equations
Distributed computer systems
Biological systems
Parallel processing systems

Keywords

  • Gillespie algorithm
  • Hormone induced calcium oscillations
  • Membrane computing
  • PRISM

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

@article{87a8566451bf44aa89dde4f55fab0eb3,
title = "Modeling hormone-induced calcium oscillations in liver cell with membrane computing",
abstract = "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.",
keywords = "Gillespie algorithm, Hormone induced calcium oscillations, Membrane computing, PRISM",
author = "Muniyandi, {Ravie Chandren} and {Mohd. Zin}, Abdullah",
year = "2012",
language = "English",
volume = "15",
pages = "63--76",
journal = "Romanian Journal of Information Science and Technology",
issn = "1453-8245",
publisher = "Publishing House of the Romanian Academy",
number = "1",

}

TY - JOUR

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

AU - Muniyandi, Ravie Chandren

AU - Mohd. Zin, Abdullah

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

KW - Gillespie algorithm

KW - Hormone induced calcium oscillations

KW - Membrane computing

KW - PRISM

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

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

M3 - Article

AN - SCOPUS:84875105422

VL - 15

SP - 63

EP - 76

JO - Romanian Journal of Information Science and Technology

JF - Romanian Journal of Information Science and Technology

SN - 1453-8245

IS - 1

ER -