Modeling the Effect of Vaccination on Varicella using Bio-PEPA

Dalila Hamami and Baghdad Atmani


Epidemiological modeling, Process Algebra, PEPA, Vaccination, Varicella, Bio-PEPA


Diseases in general and those related to immunization in particular are a transdisciplinary problem for epidemiologists and a population which is constantly exposed to risks that can be fatal. The emergence and spread of epidemics have been studied for many years and many models have been developed to describe the evolution of a population infected with one or more diseases. The main objective of this work is to apply the principle of process algebra "Bio-PEPA (Bio-Performance Evaluation Process Algebra)" to model an epidemic vaccination system. For this, we rely on the work of Ciocchetta and Hillston [1] for the spread of H1N5 and extend it for vaccination model based on the work of Bonmarin and all [2]. The purpose of the use of Bio-PEPA is twofold as pointed out in [1]: From a modeling point of view, Bio-PEPA is used to describe the space environment and from an analytical point of view, Bio-PEPA provides several types of analysis, stochastic simulation, model checking and analysis based on differential equations. In this paper, we assess the Bio-PEPA for epidemiological models especially vaccination against varicella (commonly known as chickenpox) and discuss its advantage, limitations and finally propose another alternative.

Important Links:

Go Back