A rigorous approach to investigating common assumptions about disease transmission : Process algebra as an emerging modelling methodology for epidemiology

Theory in Biosciences

Volumn 130, Issue 1, 2011, Pages 19-29

  McCaig, Chris ^a   Begon, Mike ^b   Norman, Rachel ^a   Shankland, Carron ^a  

^a UNIVERSITY OF STIRLING   (United Kingdom)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Changing scale; Epidemiology; Multiscale modelling; Theoretical computer science

Indexed keywords

BIOLOGICAL MODEL; COMMUNICABLE DISEASE; COMPUTER SIMULATION; CONFERENCE PAPER; DISEASE TRANSMISSION; EPIDEMIC; HUMAN; PROBABILITY; STATISTICS;

COMMUNICABLE DISEASES; COMPUTER SIMULATION; DISEASE OUTBREAKS; HUMANS; MARKOV CHAINS; MODELS, BIOLOGICAL; STOCHASTIC PROCESSES;

EID: 79952193050     PISSN: 14317613     EISSN: 16117530     Source Type: Journal    
DOI: 10.1007/s12064-010-0106-8     Document Type: Conference Paper

References (43)

1. RM Anderson RM May 1981 The population-dynamics of micro-parasites and their invertebrate hosts. Philos Trans R Soc B 291 451 524 10.1098/rstb.1981. 0005
2. JCM Baeten 2005 A brief history of process algebra Theor Comput Sci 335 2/3 131 146 10.1016/j.tcs.2004.07.036 (Pubitemid 40597311)
3. M Begon M Bennet RG Bowers NP French SM Hazel J Turner 2002 A clarification of transmission terms in host-microparasite models: numbers, densities and areas Epidemiol Infect 129 147 153 1:STN:280: DC%2BD38vlt1SjtQ%3D%3D 10.1017/S0950268802007148 12211582
4. Bernardo M, Degano P, Zavattaro G (eds) (2008) Formal methods for computational systems biology. Lecture notes in computer science, vol 5016. Springer, Berlin
5. M Boots A Sasaki 2001 Parasite-driven extinction in spatially explicit host-parasite systems Am Nat 159 706 713 10.1086/339996 (Pubitemid 34598384)
6. A Bracciali M Brunelli E Cataldo P Degano 2008 Synapses as stochastic concurrent systems Theor Comput Sci 408 66 82 10.1016/j.tcs.2008.07.008
7. CJ Briggs HCJ Godfray 1995 The dynamics of insect-pathogen interactions in stage-structured environments Am Nat 145 855 887 10.1086/285774
8. Calder M, Hillston J (2010) Process algebra modelling styles for biomolecular processes. In: Transactions on computational systems biology XI. Lecture notes in computer science, vol 5750. Springer, Berlin, pp 1-25
9. Cardelli L (2008a) From processes to ODEs by chemistry. In: 5th IFIP international conference on theoretical computer science (TCS 2008), international federation for information processing, vol 273. Springer, Boston, pp 261-281
10. L Cardelli 2008 On process rate semantics Theor Comput Sci 391 190 215 10.1016/j.tcs.2007.11.012
11. Ciocchetta F, Hillston J (2010) Bio-PEPA for epidemiological models. In: Fourth international workshop on practical applications of stochastic modelling (PASM09), vol 261 of electronic notes in theoretical computer science. Elsevier, Amsterdam, pp 43-69
12. J Cohen 2008 The crucial role of CS in systems and synthetic biology Commun ACM 51 15 18 10.1145/1342327.1342332 (Pubitemid 351709477)
13. SJ Cornell VS Isham BT Grenfell 2004 Stochastic and spatial dynamics of nematode parasites in farmed ruminants Proc R Soc B 271 1243 1250 10.1098/rspb.2004.2744 15306348 (Pubitemid 38789316)
14. A Ellner 2001 Pair approximation for lattice models with multiple interaction scales J Theor Biol 210 435 447 1:STN:280:DC%2BD3Mzjs1KnsQ%3D%3D 10.1006/jtbi.2001.2322 11403564 (Pubitemid 32619873)
15. A Fenton JP Fairbairn RA Norman PJ Hudson 2001 Parasite transmission: reconciling theory and reality J Anim Ecol 71 893 905 10.1046/j.1365-2656.2002. 00656.x
16. DT Gillespie 1977 Exact stochastic simulation of coupled chemical-reactions J Phys Chem 81 25 2340 2361 1:CAS:528:DyaE1cXht1GntA%3D%3D 10.1021/j100540a008
17. Hatcher M, Tofts C, Dunn A (1995) The effect of the embryonic bottleneck on vertically transmitted parasites. Proceedings of the 1st conference on information processing in cells, pp 339-353
18. Hillston J (2005) Fluid flow approximation of PEPA models. In: QEST'05, proceedings of the 2nd international conference on quantitative evaluation of systems. IEEE Computer Society Press, Torino, pp 33-42
19. ME Hochberg 1991 Non-linear transmission rates and the dynamics of infectious disease J Theor Biol 153 301 321 1:STN:280:DyaK387os1enug%3D%3D 10.1016/S0022-5193(05)80572-7 1798335 (Pubitemid 23398024)
20. J Joo JL Lebowitz 2004 Pair approximation of the stochastic susceptible-infected-recovered-susceptible epidemic model on the hypercubic lattice Phys Rev E 70 036114 10.1103/PhysRevE.70.036114
21. JT Kemper 1980 Identification of superspreaders for infectious-disease Math Biosci 48 111 127 10.1016/0025-5564(80)90018-8 (Pubitemid 10095412)
22. WO Kermack AG McKendrick 1927 Contributions to the mathematical theory of epidemics I Proc R Soc A 115 700 721 10.1098/rspa.1927.0118
23. H Kitano 2002 Systems biology: a brief overview Science 295 1662 1664 1:CAS:528:DC%2BD38Xhsleitb0%3D 10.1126/science.1069492 11872829 (Pubitemid 34202893)
24. RJ Knell M Begon DJ Thompson 1998 Transmission of Plodia interpunctella granulosis virus does not conform to the mass action model J Anim Ecol 67 592 599 10.1046/j.1365-2656.1998.00219.x (Pubitemid 28351549)
25. TG Kurtz 1970 Solutions of ordinary differential equations as limits of pure jump markov processes J Appl Probab 7 49 58 10.2307/3212147
26. H Matsuda N Ogita A Sasaki K Sato 1992 Statistical mechanics of population - the lattice Lotka Volterra model Prog Theor Phys 88 1035 1049 10.1143/PTP.88.1035
27. McCaig C (2007) From individuals to populations: changing scale in process algebra models of biological systems. PhD thesis, University of Stirling. http://hdl.handle.net/1893/398
28. McCaig C, Norman R, Shankland C (2008) Deriving mean field equations from large process algebra models. Technical Report CSM-175, Department of Computing Science and Mathematics, University of Stirling. http://hdl.handle.net/1893/ 1584
29. C McCaig R Norman C Shankland 2009 From individuals to populations: a symbolic process algebra approach to epidemiology Math Comp Sci 2 3 139 155
30. Milner R (1980) A calculus of communicating systems. Lecture notes in computer science, vol 92. Springer-Verlag, New York
31. Norman R, Shankland C (2003) Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease. In: Computer aided systems theory-EUROCAST 2003. Lecture notes in computer science, vol 2809. Springer, Berlin, pp 404-414 (Pubitemid 37342478)
32. P Nowicki S Bonelli F Barbero E Balletto 2009 Relative importance of density-dependent regulation and environmental stochasticity for butterfly population dynamics Oecologia, 161 227 239 10.1007/s00442-009-1373-2
33. C Priami 2006 Process calculi and life science Electron Notes Theor Comput Sci 162 301 304 10.1016/j.entcs.2005.12.097 (Pubitemid 44428264)
34. SF Railsback BC Harvey 2002 Analysis of habitat-selection rules using an individual-based model Ecology 83 1817 1830 (Pubitemid 36524774)
35. Regev A, Silverman W, Shapiro E (2001) Representation and simulation of biochemical processes using the pi-calculus process algebra In: Pacific symposium of biocomputing 2001 (PSB2001), vol 6. pp 459-470
36. CJ Rhodes RM Anderson 2008 Contact rate calculations for a basic epidemic model Math Biosci 216 56 62 1:STN:280:DC%2BD1M3it1eluw%3D%3D 10.1016/j.mbs.2008.08.007 18783724
37. DJT Sumpter DS Broomhead 2001 Relating individual behaviour to population dynamics Proc R Soc B 268 925 932 1:STN:280:DC%2BD3M3nsFSjsQ%3D%3D 10.1098/rspb.2001.1604 11370965 (Pubitemid 32453382)
38. C Tofts 1993 Using process algebra to describe social insect behaviour Trans Soc Comput Simul 9 227 283
39. C Tofts 1994 Processes with probabilities, priority and time Form Asp Comput 6 536 564 10.1007/BF01211867
40. J Turner M Begon RG Bowers 2002 Modelling pathogen transmission: the interrelationship between local and global approaches Proc R Soc B 270 105 112 10.1098/rspb.2002.2213
41. SD Webb MJ Keeling M Boots 2007 Host-parasite interactions between the local and the mean-field: How and when does spatial population structure matter J Theor Biol 249 1 140 152 10.1016/j.jtbi.2007.06.013 17719608 (Pubitemid 47539493)
42. SD Webb MJ Keeling M Boots 2007 Spatially extended host-parasite interactions: the role of recovery and immunity Theor Popul Biol 71 251 266 10.1016/j.tpb.2006.07.010 17084872 (Pubitemid 46186463)
43. J Wing 2006 Computational thinking Commun ACM 49 33 35 10.1145/1118178.1118215