Abstract
European water frog populations are mainly composed by two species: Pelophylax lessonae (pool frog) and Pelophylax esculentus (edible frog). These populations are called L-E complexes. Edible frogs are a hybrid form between P. lessonae and Pelophylax ridibundus (eastern lake frog) and they reproduce in a particular way, called hybridogenesis. These frog populations have been studied in the contexts of evolution and speciation. In order to have stability of L-E complexes (namely self-maintainance of the population structure) some conditions are necessary. We present a computational formal model of European water frog population based on a variant of P systems in which evolution rules are applied in a probabilistic maximally parallel manner. Probabilities of application of rules will be computed on the basis of parameters to be associated with each rule. By means of our model we show how the stabilization of L-E complexes can be obtained. In particular, we show how the introduction of translocated eastern lake frogs in such complexes can lead to the collapse of the populations. The study of conditions for population stability and of possible threats to endangered species is of particular importance for the maintenance of biodiversity, which is an aspect of sustainable development.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abt, G., Reyer, H.U.: Mate choice and fitness in a hybrid frog: rana esculenta females prefer Rana lessonae males over their own. Behav. Ecol. Sociobiol. 32(4), 221–228 (1993)
Anholt, B.R., Hotz, H., Guex, G.D., Semlitsch, R.D.: Overwinter survival of Rana lessonae and its hemiclonal associate Rana esculenta. Ecology 84(2), 391–397 (2003)
Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Pardini, G., Tesei, L.: Spatial p systems. Nat. Comput. 10(1), 3–16 (2011)
Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tini, S.: A p systems flat form preserving step-by-step behaviour. Fundamenta Informaticae 87(1), 1–34 (2008)
Bergen, K., Semlitsch, R.D., Reyer, H.U.: Hybrid female matings are directly related to the availability of rana lessonae and rana esculenta males in experimental populations. Copeia 1997(2), 275–283 (1997)
Berger, L.: Systematics and hybridization in European green frogs of Rana esculenta complex. J. Herpetol. 7(1), 1–10 (1973)
Besozzi, D., Cazzaniga, P., Pescini, D., Mauri, G.: Modelling metapopulations with stochastic membrane systems. Biosystems 91(3), 499–514 (2008)
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. Nat. Comput. 10(1), 39–53 (2011)
Engeler, B., Reyer, H.U.: Choosy females and indiscriminate males: mate choice in mixed populations of sexual and hybridogenetic water frogs (Rana lessonae, Rana esculenta). Behav. Ecol. 12(5), 600–606 (2001)
Guex, G.D., Hotz, H., Semlitsch, R.D.: Deleterious alleles and differential viability in progeny of natural hemiclonal frogs. Evolution 56(5), 1036–1044 (2002)
Hellriegel, B., Reyer, H.U.: Factors influencing the composition of mixed populations of a hemiclonal hybrid and its sexual host. J. Evol. Biol. 13(6), 906–918 (2000)
Hotz, H., Semlitsch, R.D., Gutmann, E., Guex, G.D., Beerli, P.: Spontaneous heterosis in larval life-history traits of hemiclonal frog hybrids. Proc. Nat. Acad. Sci. 96(5), 2171–2176 (1999)
Manca, V., Bianco, L.: Biological networks in metabolic p systems. BioSystems 91(3), 489–498 (2008)
Păun, G.: Membrane Computing: An Introduction. Natural Computing Series Natural Computing. Springer, Heidelberg (2002)
Păun, G.: Computing with membranes. J. Comput. Syst. Sci. 61(1), 108–143 (2000)
Paun, G., Rozenberg, G., Salomaa, A.: The Oxford Handbook of Membrane Computing. Oxford University Press Inc., Oxford (2010)
Pérez-Jiménez, M.J., Romero-Campero, F.J.: P systems, a new computational modelling tool for systems biology. Trans. on Comput. Syst. Biol. VI. LNBI, vol. 4220, pp. 176–197. Springer, Heidelberg (2006)
Pescini, D., Besozzi, D., Mauri, G., Zandron, C.: Dynamical probabilistic p systems. Int. J. Found. Comput. Sci. 17(01), 183–204 (2006)
Reyer, H., Frei, G., Som, C.: Cryptic female choice: frogs reduce clutch size when amplexed by undesired males. Proc. R. Soc. Lond. B Biol. Sci. 266(1433), 2101–2107 (1999)
Roesli, M., Reyer, H.U.: Male vocalization and female choice in the hybridogenetic Rana lessonae/ Rana esculenta complex. Anim. Behav. 60(6), 745–755 (2000)
Semlitsch, R.D., Schmiedehausen, S., Hotz, H., Beerli, P.: Genetic compatibility between sexual and clonal genomes in local populations of the hybridogenetic Rana esculenta complex. Evol. Ecol. 10(5), 531–543 (1996)
Som, C., Anholt, B.R., Reyer, H.U.: The effect of assortative mating on the coexistence of a hybridogenetic waterfrog and its sexual host. Am. Nat. 156(1), 34–46 (2000)
Tejedo, M., Semlitsch, R.D., Hotz, H.: Differential morphology and jumping performance of newly metamorphosed frogs of the hybridogenetic Rana esculenta complex. J. Herpetol. 34(2), 201–210 (2000)
Vorburger, C.: Fixation of deleterious mutations in clonal lineages: evidence from hybridogenetic frogs. Evolution 55(11), 2319–2332 (2001)
Vorburger, C., Reyer, H.U.: A genetic mechanism of species replacement in european waterfrogs? Conserv. Genet. 4(2), 141–155 (2003)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Barbuti, R., Bove, P., Schettini, A.M., Milazzo, P., Pardini, G. (2014). A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations. In: Counsell, S., Núñez, M. (eds) Software Engineering and Formal Methods. SEFM 2013. Lecture Notes in Computer Science(), vol 8368. Springer, Cham. https://doi.org/10.1007/978-3-319-05032-4_24
Download citation
DOI: https://doi.org/10.1007/978-3-319-05032-4_24
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-05031-7
Online ISBN: 978-3-319-05032-4
eBook Packages: Computer ScienceComputer Science (R0)