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

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. This is the preliminary version of a paper that was published in Proceedings of CMSB07, LNBI 4695, 136-151, 2007. The original publication is available at http://www.springerlink.com/content/vt23126776012835/