We introduce a natural language interface for building stochastic \pi calculus models of biological systems. In this language, complex constructs describing biochemical events are built from basic primitives of association, dissociation and transformation. This language thus allows us to model biochemical systems modularly by describing their dynamics in a narrative-style language, while making amendments, refinements and extensions on the models easy. We give a formal semantics for this language and a translation algorithm into stochastic \pi calculus that delivers this semantics. We demonstrate the language on a model of Fcr receptor phosphorylation during phagocytosis. We provide a tool implementation of the translation into a stochastic pi calculus language, Microsoft Research's SPiM, which can be used for simulation and analysis.
Scheda prodotto non validato
I dati visualizzati non sono stati ancora sottoposti a validazione formale da parte dello Staff di IRIS, ma sono stati ugualmente trasmessi al Sito Docente Cineca (Loginmiur).
Titolo: | An Intuitive Modelling Interface for Systems Biology |
Autori: | Kahramanogullari, Ozan; Luca, Cardelli |
Autori Unitn: | |
Titolo del periodico: | INTERNATIONAL JOURNAL OF SOFTWARE AND INFORMATICS |
Anno di pubblicazione: | 2013 |
Numero e parte del fascicolo: | 4 |
Handle: | http://hdl.handle.net/11572/99736 |
Appare nelle tipologie: | 03.1 Articolo su rivista (Journal article) |