Modelling the Dynamics of an Aedes albopictus Population

被引:4
作者
Basuki, Thomas Anung [1 ]
Cerone, Antonio [1 ]
Barbuti, Roberto [2 ]
Maggiolo-Schettini, Andrea [2 ]
Milazzo, Paolo [2 ]
Rossi, Elisabetta [3 ]
机构
[1] United Nations Univ, Int Inst Software Technol UNU IIST, Macau, Peoples R China
[2] Univ Pisa, Dipartimento Informat, Pisa, Italy
[3] Univ Pisa, Dipartimento Coltivaz & Difesa Specie Legnose, Pisa, Italy
来源
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2010年 / 33期
关键词
D O I
10.4204/EPTCS.33.2
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We present a methodology for modelling population dynamics with formal means of computer science. This allows unambiguous description of systems and application of analysis tools such as simulators and model checkers. In particular, the dynamics of a population of Aedes albopictus (a species of mosquito) and its modelling with the Stochastic Calculus of Looping Sequences (Stochastic CLS) are considered. The use of Stochastic CLS to model population dynamics requires an extension which allows environmental events (such as changes in the temperature and rainfalls) to be taken into account. A simulator for the constructed model is developed via translation into the specification languageMaude, and used to compare the dynamics obtained from the model with real data.
引用
收藏
页码:18 / 36
页数:19
相关论文
共 23 条
[1]   Modeling the population dynamics of Culex quinquefasciatus (Diptera: Culicidae), along an elevational gradient in Hawaii [J].
Ahumada, JA ;
Lapointe, D ;
Samuel, MD .
JOURNAL OF MEDICAL ENTOMOLOGY, 2004, 41 (06) :1157-1170
[2]   Timed P Automata [J].
Barbuti, Roberto ;
Maggiolo-Schettini, Andrea ;
Milazzo, Paolo ;
Tesei, Luca .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 227 :21-36
[3]  
Barbuti R, 2008, LECT NOTES COMPUT SC, V5016, P387
[4]  
Barbuti Roberto, 2008, V5121, P86, DOI 10.1007/978-3-540-88765-2_3
[5]   Modelling Cell Cycle using Different Levels of Representation [J].
Basuki, Thomas Anung ;
Cerone, Antonio ;
Carvalho, Rafael V. .
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (11) :51-69
[6]   Translating Stochastic CLS into Maude [J].
Basuki, Thomas Anung ;
Cerone, Antonio ;
Milazzo, Paolo .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 227 (0C) :37-58
[7]  
Bradford Carrie Marie, 2005, THESIS
[8]   BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge [J].
Calzone, Laurence ;
Fages, Francois ;
Soliman, Sylvain .
BIOINFORMATICS, 2006, 22 (14) :1805-1807
[9]  
Cardona M, 2010, LECT NOTES COMPUT SC, V5957, P182, DOI 10.1007/978-3-642-11467-0_14
[10]  
CHAN KL, 1971, B WORLD HEALTH ORGAN, V44, P629