titoli, abstracts, parole chiave >>>
Formal executable descriptions of biological systems

Curti, Michele and Degano, Pierpaolo and Prandi, Davide and Priami, Corrado and Quaglia, Paola and Brodo, Linda (2005) Formal executable descriptions of biological systems. In: 2nd International Conference on the Quantitative Evaluation of Systems: Proceedings, 19-22 September 2005, Torino, Italy. Los Alamitos (CA), IEEE Computer Society. p. 2-11. ISBN 0-7695-2427-3. Conference or Workshop Item.

Full text disponibile come PDF Richiede visualizzatore di PDF come GSview, Xpdf o Adobe Acrobat Reader

DOI: 10.1109/QEST.2005.13


The similarities between systems of living entities and systems of concurrent processes may support biological experiments in silico. Process calculi offer a formal framework to describe biological systems, as well as to analyse their behaviour, both from a qualitative and a quantitative point of view. A couple of little examples help us in showing how this can be done. We mainly focus our attention on the qualitative and quantitative aspects of the considered biological systems, and briefly illustrate which kinds of analysis are possible. We use a known stochastic calculus for the first example. We then present some statistics collected by repeatedly running the specification, that turn out to agree with those obtained by experiments in vivo. Our second example motivates a richer calculus. Its stochastic extension requires a non trivial machinery to faithfully reflect the real dynamic behaviour of biological systems.

Item Type:Conference or Workshop Item (Paper)
ID Code:2097
Uncontrolled Keywords:Biological systems, qualitative and quantitative aspects, analysis
Subjects:Area 01 - Scienze matematiche e informatiche > INF/01 Informatica
Divisions:001 Università di Sassari > 01 Dipartimenti > Scienze dei linguaggi
Publisher:IEEE Computer Society
Publisher Policy:Depositato in conformità con la politica di copyright dell'Editore
Deposited On:18 Aug 2009 10:06

I documenti depositati in UnissResearch sono protetti dalle leggi che regolano il diritto d'autore

Repository Staff Only: item control page