Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.4204/EPTCS.33.2 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE |
Keywords | Field | DocType |
formal language,population dynamic,specification language,automata theory | Analysis tools,Specification language,Population,CLs upper limits,Computer science,Stochastic calculus,Theoretical computer science,Aedes albopictus | Journal |
Volume | Issue | ISSN |
abs/1008.3 | 33 | 2075-2180 |
Citations | PageRank | References |
6 | 0.50 | 12 |
Authors | ||
6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Thomas Anung Basuki | 1 | 20 | 1.98 |
Antonio Cerone | 2 | 322 | 42.85 |
Roberto Barbuti | 3 | 866 | 81.03 |
Andrea Maggiolo-Schettini | 4 | 789 | 89.11 |
Paolo Milazzo | 5 | 328 | 21.14 |
Elisabetta Rossi | 6 | 6 | 0.50 |