technical report An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra


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 intra-cellular 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.



Paper Details

Authors

M. Guerriero,  J. Heath,  C. Priami

Download

/var/papers/TR/TR-12-2007.pdf

Language

English
.