Abstract
Ecosystems and their biodiversity have to be protected and preserved as sources of services and goods. The human population controls and modifies ecosystems to improve its health conditions and welfare. The consequences of human activities should be carefully monitored and ecosystems should be managed to protect all of the species and preserve their functioning. The development of strategies for ecosystem management benefits from the use of computational techniques to model the dynamics of species that interact with their abiotic and biotic environment. Life scientists and computer scientists need to work together to define and analyse ecosystem models. However, there is a multifaceted gap between the approaches used in life science and those used in computer science. Such gap is both cultural and technical, and results in a number of challenges. In this paper we identify these challenges and provide technical and cultural proposals for solving them.
We would like to thank Paolo Milazzo for inspiring discussions and for suggesting Dynamic I/O Automata as a possibly appropriate modelling formalism. Discussions with Matteo Pedercini contributed to clarify strengths and weaknesses of System Dynamics (SD). Finally, we also would like to thank the anonymous referees who provided alternative but equally valuable opinions reported in Sect. 5.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
T21. http://www.millennium-institute.org/integrated_planning/tools/t21/
Workshop on statistical model checking. http://rv2013.gforge.inria.fr/workshop.html
Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126, 183–235 (1994)
Attie, P.C., Lynch, N.A.: Dynamic input/output automata: a formal model for dynamic systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 137–151. Springer, Heidelberg (2001)
Baier, C., Haverkort, B., Hermanns, H., Kaoten, J.-P.: Model-checking algorithms for continuous-time markov chains. IEEE Trans. Softw. Eng. 29(7), 524–541 (2003)
Barbuti, R., Cerone, A., Maggiolo-Schettini, A., Milazzo, P., Setiawan, S.: Modelling population dynamics using grid systems. In: Cerone, A., Persico, D., Fernandes, S., Garcia-Perez, A., Katsaros, P., Ahmed Shaikh, S., Stamelos, I. (eds.) SEFM 2012 Satellite Events. LNCS, vol. 7991, pp. 172–189. Springer, Heidelberg (2014)
Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Pardini, C.: Spatial calculus of looping sequences. Theor. Comput. Sci. 412(43), 5976–6001 (2011)
Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Pardini, C., Tesei, L.: Spatial P systems. Nat. Comput. 10(1), 3–16 (2011)
Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: A methodology for the stochastic modeling and simulation of sympatric speciation by sexual selection. J. Biol. Syst. 17(3), 349–376 (2009)
Barbuti, R., Mautner, S., Carnevale, G., Milazzo, P., Rama, A., Sturmbauer, C.: Population dynamics with a mixed type of sexual and asexual reproduction in a fluctuating environment. BMC Evol. Biol. 12(1), 49 (2012)
Basuki, T.A., Cerone, A., Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Rossi, R.: Modelling the dynamics of an aedes albopictus population. In: Proceedings of AMCA-POP 2010. Electronic Proceedings in Theoretical Computer Science, vol. 33, pp. 18–36 (2010)
Bawa, K.S., Markham, A.: Climate change and tropical forests. Trends Ecol. Evol. 10, 348–349 (1995)
Beaten, J.C.M., Bergstra, J.A.: Real-time process algebra. Formal Aspects Comput. 3, 142–188 (1991)
Beauquier, D.: On probabilistic timed automata. Theoret. Comput. Sci. 292, 65–84 (2003)
Berkes, F.: Rethinking community-based conservation. Conserv. Biol. 96, 5066–5071 (2004)
Bistarelli, S., Cervesato, I., Lenzini, G., Marangoni, R., Martinelli, F.: On representing biological systems through multiset rewriting. In: Moreno-Díaz Jr., R., Pichler, F. (eds.) EUROCAST 2003. LNCS, vol. 2809, pp. 415–426. Springer, Heidelberg (2003)
Björnstad, O.N., Fromentin, J.M., Stenseth, N.C., Gjøsæter, J.: Cycles and trends in cod populations. Proc. Nat. Acad. Sci. U.S.A. 96, 5066–5071 (2009)
Bonsall, M.B., Hastings, A.: Demographic and environmental stochasticity in predator-prey metapopulation dynamics. J. Anim. Ecol. 73, 1043–1055 (2004)
Botter, G., Settin, T., Marani, M., Rinaldo, A.: A stochastic model of nitrate transport and cycling at basin scale. Water Resour. Res. 42, 404–415 (2006)
Cardona, M., Colomer, M.A., Pérez-Jiménez, M.J., Sanuy, D., Margalida, A.: Modeling ecosystems using P systems: the bearded vulture, a case study. In: Corne, D.W., Frisco, P., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, vol. 5391, pp. 137–156. Springer, Heidelberg (2009)
Cavaliere, M., Sburlan, D.: Time–independent P systems. In: Mauri, G., Păun, G., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 239–258. Springer, Heidelberg (2005)
Ciocchetta, F., Hillston, J.: Bio-pepa: a framework for the modelling and analysis of biochemical networks. Theoret. Comput. Sci. 410(33–34), 3065–3084 (2009)
Clark, J.S.: Beyond neutral science. Trends Ecol. Evol. 24, 8–15 (2009)
Clarke, E.M., Faeder, J.R., Langmead, C.J., Harris, L.A., Jha, S.K., Legay, A.: Statistical model checking in BioLab: applications to the automated analysis of T-cell receptor signaling pathway. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol. 5307, pp. 231–250. Springer, Heidelberg (2008)
Codd, E.F.: Cellular Automata. Academic Press, New York (1968)
Coleman, F.C., Williams, S.L.: Overexploiting marine ecosystem engineers: potential consequences for biodiversity. Trends Ecol. Evol. 17, 40–44 (2002)
Da Silva, J.M.C., Tabarelli, M.: Tree species impoverishment and the future flora of the Atlantic forest of northeast Brazil. Nature 404(6773), 72–74 (2000)
Dematté, L., Priami, C., Romanel, A.: The \({\sf {BlenX}}\) language: a tutorial. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 313–365. Springer, Heidelberg (2008)
Ebenman, B., Jonsson, T.: Using community viability analysis to identify fragile systems and keystone species. Trends Ecol. Evol. 20, 568–575 (2005)
Elser, J.J., Sterner, R.W., Gorokhova, E., Fagan, W.F., Markow, T.A., Cotner, J.B., Harrison, J.F., Hobbie, S.E., Odell, G.M., Weider, L.W.: Biological stoichiometry from genes to ecosystems. Ecol. Lett. 3(6), 540–550 (2000)
Gillespie, D.T.: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J. Comput. Phys. 22(4), 403–434 (1976)
Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340–2361 (1977)
Giordano, F.R., Weir, M.D., Fox, W.P.: A First Course in Mathematical Modeling. Brooks/Cole, Cengage Learning, Belmont (2009)
Gronewold, A., Sonnenschein, M.: Event-based modelling of ecological systems with asynchronous cellular automata. Ecol. Model. 108, 37–52 (1998)
Hansson, H. Jonsson, B.: A logic for reasoning about time and reliability. Research report SICS/R(0013, SICS) (1994)
Hastings, A.: Population Biology: Concepts and Models. Springer, New York (1997)
Hennessy, M., Regan, T.: A process algebra for timed systems. Inf. Comput. 117, 221–239 (1995)
Hughes, A.R., Inouye, B.D., Johnson, M.T.J., Underwood, N., Vellend, M.: Ecological consequences of genetic diversity. Ecol. Lett. 11, 609–623 (2008)
Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: A bayesian approach to model checking biological systems. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 218–234. Springer, Heidelberg (2009)
Jonsson, B., Larsen, K.G., Yi, W.: Probabilistic extensions of process algebras. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra. Elsevier, New York (2001)
Kahramanoğulları, O., Jordán, O., Lynch, J.F.: A language interface for stochastic dynamical modelling in ecology. Environ. Model Softw. 26(5), 685–687 (2011)
Kahramanoğulları, O., Lynch, J.F., Priami, C.: Algorithmic systems ecology: experiments on multiple interaction types and patches. In: Cerone, A., Persico, D., Fernandes, S., Garcia-Perez, A., Katsaros, P., Ahmed Shaikh, S., Stamelos, I. (eds.) SEFM 2012 Satellite Events. LNCS, vol. 7991, pp. 154–171. Springer, Heidelberg (2014)
Kaitala, V., Ranta, E., Lindstroem, J.: Cyclic population dynamics and random perturbations. J. Anim. Ecol. 65, 249–251 (1996)
Kartson, D., Balbo, G., Donatelli, S., Franceschini, G., Conte, G.: Modelling with Generalized Stochastic Petri Net. Wiley, New York (1994)
Kier, L.B., Seybold, P.G., Cheng, C.: Modelling Chemical Systems Using Cellular Automata. Springer, Dordrecht (2005)
Kingsland, S.: Modelling Nature: Episodes in the History of Population Ecology. University of Chicago Press, Chicago (1995)
Kolasa, J.: Complexity, system integration, and susceptibility to change: biodiversity connection. Ecol. Complex. 2, 431–442 (2005)
Kunz, H., Hemelrijk, C.K.: Artificial fish schools: collective effects of school size, body size, and body form. Artif. Life 9, 237–253 (2003)
Kwiatkowska, M., Norman, G., Parker, D.: PRISM: probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 200–204. Springer, Heidelberg (2002)
Lande, R., Engen, S., Swether, B.E.: Stochastic Population Dynamics in Ecology and Conservation. Oxford University Press, Oxford (2003)
Lomnicki, A.: Population Ecology of Individuals. Princeton University Press, Princeton (1988)
Mace, G.M., Collar, N.J.: Priority setting in species conservation. In: Norris, K., Pain, D.J. (eds.) Conserving Bird Biodiversity. Cambridge University Press, Cambridge (2002)
McCallum, H.: Population Parameters: Estimation for Ecological Models. Wiley-Blackwell, New York (2000)
Paun, G.: Membrane Computing: An Introduction. Springer, Heidelberg (2002)
Pescini, D., Besozzi, B., Mauri, G., Zandron, C.: Dynamical probabilistic P systems. Int. J. Found. Comput. Sci. 17, 183–204 (2006)
Philippou, A., Toro, M., Antonaki, M.: Simulation and verification for a process calculus for spatially-explicit ecological models. Sci. Ann. Comput. Sci. 23(1), 119–167 (2013)
Priami, C.: Stochastic pi-calculus. Comput. J. 38, 578–589 (1995)
Rasmussen, P.E., Goulding, K.W.T., Brown, J.R., Grace, P.R., Janzen, H.H., Körschens, M.: Long term agroecosystem experiments: assessing agricultural sustainability and global change. Science 282(5390), 893–896 (1998)
Reisig, W.: Petri Nets: An Introduction. Springer, Heidelberg (1985)
Renshaw, E.: Modelling Biological Population in Space and Time. Cambridge Univerity Press, Cambridge (1991)
Richardson, G.P.: Introduction to System Dynamics Modeling with Dynamo. MIT Press, Cambridge (1981)
Ripa, J., Ives, A.R.: Food web dynamics in correlated and autocorrelated environments. Theor. Popul. Biol. 64, 369–384 (2003)
Romero-Campero, F.J., Gheorghe, M., Bianco, L., Pescini, D., Jesús Pérez-Jímenez, M., Ceterchi, R.: Towards probabilistic model checking on P systems using PRISM. In: Hoogeboom, H.J., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol. 4361, pp. 477–495. Springer, Heidelberg (2006)
Schea, K., Chesson, P.: Community ecology theory as a framework for biological invasions. Trends Ecol. Evol. 17, 170–176 (2002)
Scotti, M., Ciocchetta, F., Jordán, F.: Social and landscape effects on food webs: a multi-level network simulation model. J. Complex Netw. 1(2), 160–182 (2013)
Seppelt, R., Temme, M.M.: Hybrid low level petri nets in environmental modelling - development platform and case studies. In: Matthies, M., Malchow, H., Kriz, J. (eds.) Integrative Systems Approach to Natural and Social Science. Springer, Heidelberg (2002)
Setiawan, S., Cerone, A.: Stochastic modelling of seasonal migration using rewriting systems with spatiality. In: Counsell, S., Núñez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 313–328. Springer, Heidelberg (2014)
Sterman, J.D.: Business Dynamics: Systems Thinking and Modeling for a Complex World. McGraw Hill Higher Education, New York (2000)
Tigasa, L.A., Vurena, D.H.V., Sauvajot, R.M.: Behavioral responses of bobcats and coyotes to habitat fragmentation and corridors in an urban environment. Biol. Conserv. 108, 299–306 (2002)
Wang, J.: Timed Petri Nets: Theory and Applications. Kluwer Academic Publisher, Boston (1998)
Yodzis, P.: Must top predators be culled for the sake of fisheries? Trends Ecol. Evol. 16, 78–84 (2001)
Younes, H.L.S.: Verification and Planning for Stochastic Processes with Asynchronous Events. PhD thesis, Carnegie Mellon University (2005)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Cerone, A., Scotti, M. (2015). Research Challenges in Modelling Ecosystems. In: Canal, C., Idani, A. (eds) Software Engineering and Formal Methods. SEFM 2014. Lecture Notes in Computer Science(), vol 8938. Springer, Cham. https://doi.org/10.1007/978-3-319-15201-1_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-15201-1_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-15200-4
Online ISBN: 978-3-319-15201-1
eBook Packages: Computer ScienceComputer Science (R0)