Modeling static biological compartments with beta-binders

  • Authors:

  • Maria Luisa Guerriero;Corrado Priami;Alessandro Romanel

  • Affiliations:

  • Dipartimento di Informatica e Telecomunicazioni, Università di Trento, Italy;Dipartimento di Informatica e Telecomunicazioni, Università di Trento, Italy and The Microsoft Research, University of Trento, Centre for Computational and Systems Biology, Italy;Dipartimento di Informatica e Telecomunicazioni, Università di Trento, Italy and The Microsoft Research, University of Trento, Centre for Computational and Systems Biology, Italy

  • Venue:
  • AB'07 Proceedings of the 2nd international conference on Algebraic biology
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

We investigate the modeling of biological systems with static compartments through Beta-binders, a recently developed process calculus. Biological entities are represented as bio-processes and the calculus is extended with the notion of compartment. Entities can either be internal to compartments or reside on compartment borders. Movement in and out of compartments is requested by internal objects and mediated by border objects. The extended calculus is equipped with the notion of locality, and various kinds of relations between actions are defined. Moreover, we compare our proposal with similar formalisms and we show how to use the proposed calculus for modeling and analyzing the cAMP-signaling pathway in OSNs.