A framework for modeling and verifying biological systems using membrane computing

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationAdvances in Intelligent Systems and Computing
Pages335-346
Number of pages12
Volume202 AISC
EditionVOL. 2
DOIs
Publication statusPublished - 2013
Event7th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2012 - Gwalior, Madhya Pradesh
Duration: 14 Dec 201216 Dec 2012

Publication series

NameAdvances in Intelligent Systems and Computing
NumberVOL. 2
Volume202 AISC
ISSN (Print)21945357

Other

Other7th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2012
CityGwalior, Madhya Pradesh
Period14/12/1216/12/12

Fingerprint

Biological systems
Membranes
Model checking
Specifications

Keywords

  • Biological systems
  • Framework
  • Membrane computing
  • Model checking
  • Simulation strategy

ASJC Scopus subject areas

  • Computer Science(all)
  • Control and Systems Engineering

Cite this

Muniyandi, R. C., & Mohd. Zin, A. (2013). A framework for modeling and verifying biological systems using membrane computing. In Advances in Intelligent Systems and Computing (VOL. 2 ed., Vol. 202 AISC, pp. 335-346). (Advances in Intelligent Systems and Computing; Vol. 202 AISC, No. VOL. 2). https://doi.org/10.1007/978-81-322-1041-2_29

A framework for modeling and verifying biological systems using membrane computing. / Muniyandi, Ravie Chandren; Mohd. Zin, Abdullah.

Advances in Intelligent Systems and Computing. Vol. 202 AISC VOL. 2. ed. 2013. p. 335-346 (Advances in Intelligent Systems and Computing; Vol. 202 AISC, No. VOL. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Muniyandi, RC & Mohd. Zin, A 2013, A framework for modeling and verifying biological systems using membrane computing. in Advances in Intelligent Systems and Computing. VOL. 2 edn, vol. 202 AISC, Advances in Intelligent Systems and Computing, no. VOL. 2, vol. 202 AISC, pp. 335-346, 7th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2012, Gwalior, Madhya Pradesh, 14/12/12. https://doi.org/10.1007/978-81-322-1041-2_29
Muniyandi RC, Mohd. Zin A. A framework for modeling and verifying biological systems using membrane computing. In Advances in Intelligent Systems and Computing. VOL. 2 ed. Vol. 202 AISC. 2013. p. 335-346. (Advances in Intelligent Systems and Computing; VOL. 2). https://doi.org/10.1007/978-81-322-1041-2_29
Muniyandi, Ravie Chandren ; Mohd. Zin, Abdullah. / A framework for modeling and verifying biological systems using membrane computing. Advances in Intelligent Systems and Computing. Vol. 202 AISC VOL. 2. ed. 2013. pp. 335-346 (Advances in Intelligent Systems and Computing; VOL. 2).
@inproceedings{d833c5dc835e42f596914c4dd87bb62d,
title = "A framework for modeling and verifying biological systems using membrane computing",
abstract = "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.",
keywords = "Biological systems, Framework, Membrane computing, Model checking, Simulation strategy",
author = "Muniyandi, {Ravie Chandren} and {Mohd. Zin}, Abdullah",
year = "2013",
doi = "10.1007/978-81-322-1041-2_29",
language = "English",
isbn = "9788132210405",
volume = "202 AISC",
series = "Advances in Intelligent Systems and Computing",
number = "VOL. 2",
pages = "335--346",
booktitle = "Advances in Intelligent Systems and Computing",
edition = "VOL. 2",

}

TY - GEN

T1 - A framework for modeling and verifying biological systems using membrane computing

AU - Muniyandi, Ravie Chandren

AU - Mohd. Zin, Abdullah

PY - 2013

Y1 - 2013

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

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

KW - Biological systems

KW - Framework

KW - Membrane computing

KW - Model checking

KW - Simulation strategy

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

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

U2 - 10.1007/978-81-322-1041-2_29

DO - 10.1007/978-81-322-1041-2_29

M3 - Conference contribution

SN - 9788132210405

VL - 202 AISC

T3 - Advances in Intelligent Systems and Computing

SP - 335

EP - 346

BT - Advances in Intelligent Systems and Computing

ER -