Modeling framework for membrane computing in biological systems: Evaluation with a case study

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

Membrane computing can represent the structures and behaviors of biological systems while considering their characteristics. This paper proposes a modeling framework for membrane computing in biological systems to provide guidelines when using and experimenting with membrane computing. The framework processes include the biological requirements and property specifications, membrane computing model, membrane computing simulation strategy, and model checking approach. A biological system that comprised the ligand-receptor networks of TGF-β protein was used as a case study to evaluate the framework. The evaluation of the framework demonstrated that membrane computing performed better than conventional ordinary differential equations when capturing the structure and behavior of biological systems.

Original languageEnglish
Pages (from-to)137-143
Number of pages7
JournalJournal of Computational Science
Volume5
Issue number2
DOIs
Publication statusPublished - Mar 2014

Fingerprint

Membrane Computing
Biological systems
Biological Systems
Membranes
Evaluation
Modeling
Model checking
Ordinary differential equations
Receptor
Model Checking
Framework
Ordinary differential equation
Ligands
Specification
Proteins
Protein
Specifications
Evaluate
Requirements

Keywords

  • Biological systems
  • Gillespie algorithm
  • Membrane computing
  • Model checking
  • Modeling framework

ASJC Scopus subject areas

  • Computer Science(all)
  • Modelling and Simulation
  • Theoretical Computer Science

Cite this

@article{d2b0ff7169c841fea1fbc90695894bfb,
title = "Modeling framework for membrane computing in biological systems: Evaluation with a case study",
abstract = "Membrane computing can represent the structures and behaviors of biological systems while considering their characteristics. This paper proposes a modeling framework for membrane computing in biological systems to provide guidelines when using and experimenting with membrane computing. The framework processes include the biological requirements and property specifications, membrane computing model, membrane computing simulation strategy, and model checking approach. A biological system that comprised the ligand-receptor networks of TGF-β protein was used as a case study to evaluate the framework. The evaluation of the framework demonstrated that membrane computing performed better than conventional ordinary differential equations when capturing the structure and behavior of biological systems.",
keywords = "Biological systems, Gillespie algorithm, Membrane computing, Model checking, Modeling framework",
author = "Muniyandi, {Ravie Chandren} and {Mohd. Zin}, Abdullah",
year = "2014",
month = "3",
doi = "10.1016/j.jocs.2013.12.004",
language = "English",
volume = "5",
pages = "137--143",
journal = "Journal of Computational Science",
issn = "1877-7503",
publisher = "Elsevier",
number = "2",

}

TY - JOUR

T1 - Modeling framework for membrane computing in biological systems

T2 - Evaluation with a case study

AU - Muniyandi, Ravie Chandren

AU - Mohd. Zin, Abdullah

PY - 2014/3

Y1 - 2014/3

N2 - Membrane computing can represent the structures and behaviors of biological systems while considering their characteristics. This paper proposes a modeling framework for membrane computing in biological systems to provide guidelines when using and experimenting with membrane computing. The framework processes include the biological requirements and property specifications, membrane computing model, membrane computing simulation strategy, and model checking approach. A biological system that comprised the ligand-receptor networks of TGF-β protein was used as a case study to evaluate the framework. The evaluation of the framework demonstrated that membrane computing performed better than conventional ordinary differential equations when capturing the structure and behavior of biological systems.

AB - Membrane computing can represent the structures and behaviors of biological systems while considering their characteristics. This paper proposes a modeling framework for membrane computing in biological systems to provide guidelines when using and experimenting with membrane computing. The framework processes include the biological requirements and property specifications, membrane computing model, membrane computing simulation strategy, and model checking approach. A biological system that comprised the ligand-receptor networks of TGF-β protein was used as a case study to evaluate the framework. The evaluation of the framework demonstrated that membrane computing performed better than conventional ordinary differential equations when capturing the structure and behavior of biological systems.

KW - Biological systems

KW - Gillespie algorithm

KW - Membrane computing

KW - Model checking

KW - Modeling framework

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

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

U2 - 10.1016/j.jocs.2013.12.004

DO - 10.1016/j.jocs.2013.12.004

M3 - Article

AN - SCOPUS:84897642916

VL - 5

SP - 137

EP - 143

JO - Journal of Computational Science

JF - Journal of Computational Science

SN - 1877-7503

IS - 2

ER -