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

Guerriero, Maria Luisa and Heath, John and Priami, Corrado (2007) An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra. UNSPECIFIED.

[img]
Preview
PDF
Download (661Kb) | Preview

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

    Item Type: Departmental Technical Report
    Department or Research center: CoSBi (Center for Computational and Systems Biology)
    Subjects: Q Science > QA Mathematics > QA076 Computer software > QA076.7 Programming Languages - Semantics
    Report Number: TR-12-2007
    Repository staff approval on: 01 Dec 2009

    Actions (login required)

    View Item