A rigorous approach to investigating common assumptions about disease transmission

Chris McCaig, M. Begon, R. Norman, C. Shankland

Research output: Contribution to journalArticle

6 Citations (Scopus)

Abstract

Changing scale, for example, the ability to move seamlessly from an individual-based model to a population-based model, is an important problem in many fields. In this paper, we introduce process algebra as a novel solution to this problem in the context of models of infectious disease spread. Process algebra allows us to describe a system in terms of the stochastic behaviour of individuals, and is a technique from computer science. We review the use of process algebra in biological systems, and the variety of quantitative and qualitative analysis techniques available. The analysis illustrated here solves the changing scale problem: from the individual behaviour we can rigorously derive equations to describe the mean behaviour of the system at the level of the population. The biological problem investigated is the transmission of infection, and how this relates to individual interactions.
LanguageEnglish
Pages19-29
Number of pages11
JournalTheory in Biosciences
Volume130
Issue number1
Publication statusPublished - Aug 2011

Fingerprint

disease transmission
Algebra
Process Algebra
disease spread
individual-based model
qualitative analysis
infectious disease
quantitative analysis
computer science
Biological systems
Individual-based Model
Computer science
infectious diseases
Infectious Diseases
Qualitative Analysis
Quantitative Analysis
Biological Systems
Infection
Computer Science
methodology

Keywords

  • rigorous approach
  • investigating common assumptions
  • disease transmission
  • epidemiology
  • process algebra
  • emerging modelling methodology

Cite this

McCaig, Chris ; Begon, M. ; Norman, R. ; Shankland, C. / A rigorous approach to investigating common assumptions about disease transmission. In: Theory in Biosciences. 2011 ; Vol. 130, No. 1. pp. 19-29.
@article{be8ab4b13dd14866b420b70ab4f31537,
title = "A rigorous approach to investigating common assumptions about disease transmission",
abstract = "Changing scale, for example, the ability to move seamlessly from an individual-based model to a population-based model, is an important problem in many fields. In this paper, we introduce process algebra as a novel solution to this problem in the context of models of infectious disease spread. Process algebra allows us to describe a system in terms of the stochastic behaviour of individuals, and is a technique from computer science. We review the use of process algebra in biological systems, and the variety of quantitative and qualitative analysis techniques available. The analysis illustrated here solves the changing scale problem: from the individual behaviour we can rigorously derive equations to describe the mean behaviour of the system at the level of the population. The biological problem investigated is the transmission of infection, and how this relates to individual interactions.",
keywords = "rigorous approach , investigating common assumptions, disease transmission , epidemiology, process algebra, emerging modelling methodology",
author = "Chris McCaig and M. Begon and R. Norman and C. Shankland",
year = "2011",
month = "8",
language = "English",
volume = "130",
pages = "19--29",
journal = "Theory in Biosciences",
issn = "1431-7613",
number = "1",

}

McCaig, C, Begon, M, Norman, R & Shankland, C 2011, 'A rigorous approach to investigating common assumptions about disease transmission' Theory in Biosciences, vol. 130, no. 1, pp. 19-29.

A rigorous approach to investigating common assumptions about disease transmission. / McCaig, Chris; Begon, M.; Norman, R.; Shankland, C.

In: Theory in Biosciences, Vol. 130, No. 1, 08.2011, p. 19-29.

Research output: Contribution to journalArticle

TY - JOUR

T1 - A rigorous approach to investigating common assumptions about disease transmission

AU - McCaig, Chris

AU - Begon, M.

AU - Norman, R.

AU - Shankland, C.

PY - 2011/8

Y1 - 2011/8

N2 - Changing scale, for example, the ability to move seamlessly from an individual-based model to a population-based model, is an important problem in many fields. In this paper, we introduce process algebra as a novel solution to this problem in the context of models of infectious disease spread. Process algebra allows us to describe a system in terms of the stochastic behaviour of individuals, and is a technique from computer science. We review the use of process algebra in biological systems, and the variety of quantitative and qualitative analysis techniques available. The analysis illustrated here solves the changing scale problem: from the individual behaviour we can rigorously derive equations to describe the mean behaviour of the system at the level of the population. The biological problem investigated is the transmission of infection, and how this relates to individual interactions.

AB - Changing scale, for example, the ability to move seamlessly from an individual-based model to a population-based model, is an important problem in many fields. In this paper, we introduce process algebra as a novel solution to this problem in the context of models of infectious disease spread. Process algebra allows us to describe a system in terms of the stochastic behaviour of individuals, and is a technique from computer science. We review the use of process algebra in biological systems, and the variety of quantitative and qualitative analysis techniques available. The analysis illustrated here solves the changing scale problem: from the individual behaviour we can rigorously derive equations to describe the mean behaviour of the system at the level of the population. The biological problem investigated is the transmission of infection, and how this relates to individual interactions.

KW - rigorous approach

KW - investigating common assumptions

KW - disease transmission

KW - epidemiology

KW - process algebra

KW - emerging modelling methodology

M3 - Article

VL - 130

SP - 19

EP - 29

JO - Theory in Biosciences

T2 - Theory in Biosciences

JF - Theory in Biosciences

SN - 1431-7613

IS - 1

ER -