An automated translation from a narrative language for biological modelling into process algebra

  • Authors:

  • Maria Luisa Guerriero;John K. Heath;Corrado Priami

  • Affiliations:

  • Dept. of Information and Communication Technology, University of Trento, Italy;CRUK Growth Factor Group, School of Biosciences, University of Birmingham, UK;Dept. of Information and Communication Technology, University of Trento, Italy and The Microsoft Research, University of Trento, Centre for Computational and Systems Biology, Italy

  • Venue:
  • CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

The aim of this work is twofold. First, we propose an high level textual modelling language, which is meant to be biologically intuitive and hence easily usable by life scientists in modelling intracellular systems. Secondly, we provide an automatic translation of the proposed language into Beta-binders, a bio-inspired process calculus, which allows life scientists to formally analyse and simulate their models. We use the Gp130 signalling pathway as a case study.