Advertisement

Synchronous Parallel Composition in a Process Calculus for Ecological Models

  • Mauricio Toro
  • Anna Philippou
  • Christina Kassara
  • Spyros Sfenthourakis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8687)

Abstract

In this paper we extend PALPS, a process calculus proposed for the spatially-explicit, individual-based modeling of ecological systems, with a synchronous parallel operator. The semantics of the resulting calculus, S-PALPS, is defined at the level of populations as opposed to the level of individuals as was the case with PALPS, thus, allowing a considerable reduction in a system’s state space. Furthermore, we provide a translation of the calculus into the model checker PRISM for simulation and analysis. We apply our framework to model and study the population dynamics of the Eleonora’s falcon in the Mediterranean sea.

Keywords

Model Check Ecological Model Markov Decision Process Parallel Composition Process Algebra 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Online PRISM documentation, http://www.prismmodelchecker.org/doc/
  2. 2.
    Barbuti, R., Bove, P., Schettini, A.M., Milazzo, P., Pardini, G.: A computational formal model of the invasiveness of eastern species in European water frog populations. In: Counsell, S., Núñez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 329–344. Springer, Heidelberg (2014)CrossRefGoogle Scholar
  3. 3.
    Basuki, T.A., Cerone, A., Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Rossi, E.: Modelling the dynamics of an aedes albopictus population. In: Proceedings of AMCA-POP 2010. EPTCS, vol. 33, pp. 18–36 (2010)Google Scholar
  4. 4.
    Berec, L.: Techniques of spatially explicit individual-based models: construction, simulation, and mean-field analysis. Ecological Modeling 150, 55–81 (2002)CrossRefGoogle Scholar
  5. 5.
    Besozzi, D., Cazzaniga, P., Pescini, D., Mauri, G.: Modelling metapopulations with stochastic membrane systems. BioSystems 91(3), 499–514 (2008)CrossRefGoogle Scholar
  6. 6.
    Cardona, M., Colomer, M.A., Margalida, A., Palau, A., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Sanuy, D.: A computational modeling for real ecosystems based on P systems. Natural Computing 10(1), 39–53 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Fu, S.C., Milne, G.: A Flexible Automata Model for Disease Simulation. In: Sloot, P.M.A., Chopard, B., Hoekstra, A.G. (eds.) ACRI 2004. LNCS, vol. 3305, pp. 642–649. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  8. 8.
    Kassara, C., Fric, J., Gschweng, M., Sftenthourakis, S.: Complementing the puzzle of Eleonora’s falcon (Falco eleonorae) migration: new evidence from an eastern colony in the Aegean Sea. Journal of Ornithology 153, 839–848 (2012)CrossRefGoogle Scholar
  9. 9.
    McCaig, C., Norman, R., Shankland, C.: Process Algebra Models of Population Dynamics. In: Horimoto, K., Regensburger, G., Rosenkranz, M., Yoshida, H. (eds.) AB 2008. LNCS, vol. 5147, pp. 139–155. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  10. 10.
    McCaig, C., Norman, R., Shankland, C.: From individuals to populations: A mean field semantics for process algebra. Theoretical Computer Science 412(17), 1557–1580 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Milner, R.: A Calculus of Communicating Systems. Springer (1980)Google Scholar
  12. 12.
    Pescini, D., Besozzi, D., Mauri, G., Zandron, C.: Dynamical probabilistic P- systems. Journal of Foundations of Computer Science 17(1), 183–204 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Philippou, A., Toro, M.: Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models. In: Counsell, S., Núñez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 345–361. Springer, Heidelberg (2014)CrossRefGoogle Scholar
  14. 14.
    Philippou, A., Toro, M., Antonaki, M.: Simulation and Verification for a Process Calculus for Spatially-Explicit Ecological Models. Scientific Annals of Computer Science 23(1), 119–167 (2013)MathSciNetCrossRefGoogle Scholar
  15. 15.
    Păun, G.: Membrane Computing: An Introduction. Springer (2002)Google Scholar
  16. 16.
    Ristow, D., Scharlau, W., Wink, M.: Population structure and mortality of Eleonora’s falcon Falco eleonorae. In: Raptors in the Modern World Working Group on Birds of Prey, pp. 321–326 (1989)Google Scholar
  17. 17.
    Ristow, D., Wink, M., Wink, C., Friemann, H.: Biologie des Eleonorenfalken (Falco eleonorae). Das Brutreifealter der Weibchen 124, 291–293 (1983)Google Scholar
  18. 18.
    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)CrossRefGoogle Scholar
  19. 19.
    Sumpter, D.J.T., Blanchard, G.B., Broomhear, D.S.: Ants and Agents: a Process Algebra Approach to Modelling Ant Colony Behaviour. Bulletin of Mathematical Biology 63, 951–980 (2001)CrossRefGoogle Scholar
  20. 20.
    Tofts, C.: Processes with probabilities, priority and time. Formal Aspects of Computing 6, 536–564 (1994)CrossRefzbMATHGoogle Scholar
  21. 21.
    Toro, M., Philippou, A., Kassara, C., Sfendourakis, S.: Synchronous parallel composition in a process calculus for ecological models. Technical report, Department of Computer Science, University of Cyprus (2014), http://www.cs.ucy.ac.cy/~annap/spalps-tr.pdf
  22. 22.
    Xirouchakis, S., Fric, J., Kassara, C., Portolou, D., Dimalexis, A., Karris, G., Barboutis, C., Latsoudis, P., Bourdakis, S., Kakalis, E., Sftenthourakis, S.: Variation in breeding parameters of Eleonora’s falcon (Falco eleonorae) and factors affecting its reproductive performance. Ecological Research 27, 407–416 (2012)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Mauricio Toro
    • 1
  • Anna Philippou
    • 1
  • Christina Kassara
    • 2
  • Spyros Sfenthourakis
    • 3
  1. 1.Department of Computer ScienceUniversity of CyprusCyprus
  2. 2.Department of BiologyUniversity of PatrasGreece
  3. 3.Department of BiologyUniversity of CyprusCyprus

Personalised recommendations