Formal methods for checking the consistency of biological models

Advances in Experimental Medicine and Biology

Volumn 736, Issue , 2012, Pages 461-475

  Clark, Allan ^a   Galpin, Vashti ^a   Gilmore, Stephen ^a   Guerriero, Maria Luisa ^a   Hillston, Jane ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

REAGENT;

ARTICLE; BIOCHEMISTRY; BIOEQUIVALENCE; COMPUTER PROGRAM; INTERNAL CONSISTENCY; KINETIC DEPENDENCY ANALYSIS; MATHEMATICAL ANALYSIS; MONTE CARLO METHOD; PRIORITY JOURNAL; SENSITIVITY ANALYSIS; SIMULATION; STATIC ANALYSIS; STATISTICAL ANALYSIS; STOCHASTIC MODEL; STOICHIOMETRY; STRUCTURE ANALYSIS;

COMPUTATIONAL BIOLOGY; COMPUTER SIMULATION; KINETICS; MODELS, BIOLOGICAL; REPRODUCIBILITY OF RESULTS; SOFTWARE;

EID: 84855966745     PISSN: 00652598     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-1-4419-7210-1_27     Document Type: Article

References (31)

1. Clark A, Gilmore S, Hillston J, Kemper P (2010) Verification and testing of biological models. In: Proc winter simulation conference (WSC), December 2010, pp 620-630
2. Calder M, Duguid A, Gilmore S, Hillston J (2006) Stronger computational modelling of signalling pathways using both continuous and discrete-state methods. In: Proc 4th international conference on computational methods in systems biology (CMSB'06) (Lecture notes in computer science), vol 4210 , pp 63-77 (Pubitemid 44849979)
3. Reisig W (1985) Petri nets: an introduction. Springer-Verlag, New York
4. Pǎun G (2002) Membrane computing: an introduction. Springer-Verlag, New York
5. Danos V, Laneve C (2004) Formal molecular biology. Theor Comput Sci 325(1):69-110
6. Priami C, Regev A, Silverman W, Shapiro E (2001) Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf Process Lett 80(1):25-31 (Pubitemid 32833107)
7. Ciocchetta F, Hillston J (2009) Bio-PEPA: a Framework for the Modelling and Analysis of Biological Systems. Theor Comput Sci 410(33-34):3065-3084
8. Kwiatkowski M, Stark I (2008) The continuousπ-calculus: a process algebra for biochemical modelling. In: Proc 6th international conference on computational methods in systems biology (CMSB'08) (Lecture notes in computer science), no 5307. in, Springer-Verlag, Berlin Heidelberg, Germany, pp 103-122
9. Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J Phys Chem 81(25):2340-2361
10. Duguid A, Gilmore S, Guerriero ML, Hillston J, Loewe L (2009) Design and development of software tools for Bio-PEPA. In: Proc winter simulation conference (WSC'09). IEEE Press, Piscataway, NJ, USA, pp 956-967
11. Python Programming Language Official Website (2011) www.python.org
12. Rohr C, Marwan W, Heiner M (2010) Snoopy, a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 26(7):974-975
13. Math Works MATLAB (2011) http://www.mathworks.com/.
14. Calzone L, Fages F, Soliman S (2006) BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14):1805-1807 (Pubitemid 44288351)
15. Peleg M, Yeh I, Altman R (2002) Modeling biological processes usingWorkflow and Petri Net models. Bioinformatics 18(6):825-837 (Pubitemid 34727643)
16. Heiner M, Gilbert D, Donaldson R (2008) Petri Nets for Systems and Synthetic Biology. In: Proc formal methods for computational systems biology (SFM'08) (Lecture notes in computer science), vol 5016. Springer-Verlag, Berlin Heidelberg, Germany, pp 215-264
17. Martinez J, Manual Silva (1982) A simple and fast algorithm to obtain all invariants of a generalized petri net. In: Proc selected papers from the first and the second european workshop on application and theory of petri nets. Springer-Verlag, London, UK, pp 301-310
18. Guerriero ML (2009) Qualitative and quantitative analysis of a Bio-PEPA model of the Gp130/JAK/STAT signalling pathway. Trans Comput Syst Biol XI 5750:90-115
19. Sen K, Viswanathan M, Agha G (2005) On statistical model checking of stochastic systems. In: Proc computer aided verification (Lecture notes in computer science), vol 3576. Springer- Verlag, Berlin Heidelberg, Germany, pp 266-280 (Pubitemid 41431739)
20. Younes HLS, Simmons RG (2006) Statistical probabilistic model checking with a focus on time-bounded properties. Inf Comput 204(9):1368-1409 (Pubitemid 44279948)
21. Ciocchetta F, Gilmore S, Guerriero ML, Hillston J (2009) Integrated simulation and modelchecking for the analysis of biochemical systems. In: Proc 3rd international workshop on practical applications of stochastic modelling (PASM'08) (Electronic notes in theoretical computer science), vol 232. Elsevier, Oxford UK, pp 17-38
22. Kemper P, Tepper C (2009) Automated trace analysis of discrete-event system models. IEEE Trans Software Eng 35(2):195-208
23. Fages F, Rizk A (2007) On the analysis of numerical data time series in temporal logic. In: Proc computational methods in systems biology (CMSB'07) (Lecture notes in computer science), vol 4695. Springer, Berlin, Heidelberg, Germany, pp 48-63
24. Donaldson R, Gilbert D (2008) A model checking approach to the parameter estimation of biochemical pathways. In: Proc computational methods in systems biology (CMSB'08) (Lecture notes in computer science), vol 5307. Springer, Berlin, Heidelberg, Germany, pp 269-287
25. Milner R (1989) Communication and concurrency. Prentice Hall, Hemel Hempstead, UK
26. Galpin V, Hillston J (2011) A semantic equivalence for Bio-PEPA based on discretisation of continuous values. Theor Comput Sci 412(21):2142-2161
27. Galpin V (2011) Equivalences for a biological process algebra. Theor Comput Sci412(43):6058-6082, DOI 10.1016/j.tcs.2011.07.006
28. Schoeberl B, Eichler-Jonsson C, Gilles ED, Muller G (2002) Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors. Nat Biotechnol 20:270-375
29. Gong Y, Zhao X (2003) Shc-dependent pathway is redundant but dominant in MAPK cascade activation by EGF receptors: a modeling inference. FEBS Lett 554:467-472 (Pubitemid 37412533)
30. Box G, Draper N (1987) Empirical model-building and response surfaces. Wiley Series in Probability and Mathematical Statistics, USA
31. Knuth DE (1989) The errors of TEX. Software Pract Exper 19:607-685