loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second International Conference on the Quantitative Evaluation of Systems (QEST'05)
Formal Executable Descriptions of Biological Systems
Torino, Italy
September 19-September 22
ISBN: 0-7695-2427-3
Michele Curti, University of Pisa, Italy
Pierpaolo Degano, University of Pisa, Italy
Davide Prandi, University of Trento
Corrado Priami, University of Trento
Paola Quaglia, University of Trento
Linda Brodo, University of Sassari
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.
Citation:
Michele Curti, Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia, Linda Brodo, "Formal Executable Descriptions of Biological Systems," qest, pp.2-12, Second International Conference on the Quantitative Evaluation of Systems (QEST'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.