A Global Occurrence Counting Analysis for Brane Calculi

  • Chiara BodeiEmail author
  • Linda Brodo
  • Roberta Gori
  • Diana Hermith
  • Francesca Levi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9527)


We propose a polynomial static analysis for Brane Calculi [6], based on Abstract Interpretation [8] techniques. The analysis provides a description of the possible hierarchical structure of membranes and of the processes possibly associated to each membrane, together with global occurrence counting information. Our analysis can be applied in the biological setting to investigate systems in which the information on the number of membranes occurring in the system plays a crucial role.


Abstract State Abstract Representation Abstract Interpretation Label Transition System Process Label 
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.


  1. 1.
    Bodei, C.: Control flow analysis for beta-binders with and without static compartments. Theor. Comput. Sci. 410(33–34), 3110–3127 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Bodei, C., Brodo., L.: Brane calculi systems: A static preview of their possible behaviour. CoRR abs/1108.3429 (2011)Google Scholar
  3. 3.
    Bodei, C., Gori, R., Levi, F.: An analysis for causal properties of membrane interactions. Electr. Notes Theor. Comput. Sci. 299, 15–31 (2013)CrossRefzbMATHGoogle Scholar
  4. 4.
    Bodei, C., Gori, R., Levi, F.: Causal static analysis for brane calculi. Theor. Comput. Sci. 587, 73–103 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Busi, N., Zandron, C.: Modeling and analysis of biological processes by mem(brane) calculi and systems. In: Proceedings of the Winter Simulation Conference WSC 2006, pp. 1646–1655. WSC (2006)Google Scholar
  6. 6.
    Cardelli, L.: Brane calculi. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 257–278. Springer, Heidelberg (2005) CrossRefGoogle Scholar
  7. 7.
    Cardelli, L., Gordon, A.: Mobile ambients. Theor. Comput. Sci. 240(1), 177–213 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Cousot, P., Cousot, R.: Static determination of dynamic properties of generalized type unions. In: Language Design for Reliable Software, pp. 77–94 (1977)Google Scholar
  9. 9.
    Feret, J.: Confidentiality analysis of mobile systems. In: Palsberg, J. (ed.) Static Analysis. LNCS, vol. 1824, pp. 135–154. Springer, Heidelberg (2000) CrossRefGoogle Scholar
  10. 10.
    Feret, J.: Abstract interpretation-based static analysis of mobile ambients. In: Cousot, P. (ed.) SAS 2001. LNCS, vol. 2126, p. 412. Springer, Heidelberg (2001) CrossRefGoogle Scholar
  11. 11.
    Feret, J.: Occurrence counting analysis for the pi-calculus. Electr. Notes Theor. Comput. Sci. 39(2), 1–18 (2001)CrossRefGoogle Scholar
  12. 12.
    Feret, J.: Abstract interpretation of mobile systems. J. Log. Algebr. Program. 63(1), 59–130 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Feret, J.: Analysis of mobile systems by abstract interpretation. Ph.D. thesis, Ècole Polytechnique, Paris, France (2005)Google Scholar
  14. 14.
    Gori, R., Levi, F.: An analysis for proving temporal properties of biological systems. In: Kobayashi, N. (ed.) APLAS 2006. LNCS, vol. 4279, pp. 234–252. Springer, Heidelberg (2006) CrossRefGoogle Scholar
  15. 15.
    Gori, R., Levi, F.: A new occurrence counting analysis for bioambients. In: Yi, K. (ed.) APLAS 2005. LNCS, vol. 3780, pp. 381–400. Springer, Heidelberg (2005) CrossRefGoogle Scholar
  16. 16.
    Gori, R., Levi, F.: Abstract interpretation based verification of temporal properties for bioambients. Inf. Comput. 208(8), 869–921 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Guerriero, M., Prandi, D., Priami, C., Quaglia, P.: Process calculi abstractions for biology. In: Condon, A., Harel, D., Kok, J.N., Salomaa, A., Winfree, E. (eds.) Algorithmic Bioprocesses Natural Computing Series, pp. 463–486. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  18. 18.
    Levi, F., Maffeis, S.: On abstract interpretation of mobile ambients. Inf. Comput. 188(2), 179–240 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    Milner, R.: Communicating and mobile systems: the \(\pi \)-calculus. Cambridge University Press, Cambridge (1999)zbMATHGoogle Scholar
  20. 20.
    Nielson, F., Hansen, R., Nielson, H.R.: Abstract interpretation of mobile ambients. Sci. Comput. Program. 47(2–3), 145–175 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    Nielson, F., Nielson, H.R., Priami, C., da Rosa, D.S.: Control flow analysis for bioambients. ENTCS 180(3), 65–79 (2007)Google Scholar
  22. 22.
    Nielson, H.R., Nielson, F.: Shape analysis for mobile ambients. In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2000), pp. 142–154. ACM Press (2000)Google Scholar
  23. 23.
    Nielson, H.R., Nielson, F., Pilegaard, H.: Spatial analysis of bioambients. In: Giacobazzi, R. (ed.) SAS 2004. LNCS, vol. 3148, pp. 69–83. Springer, Heidelberg (2004) CrossRefGoogle Scholar
  24. 24.
    Pilegaard, H., Nielson, H.R., Nielson, F.: Context dependent analysis of bioambients. In: Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings, vol. 06161 (2006)Google Scholar
  25. 25.
    Pilegaard, H., Nielson, H.R., Nielson, F.: Pathway analysis for bioambients. J. Log. Algebr. Program. 77(1–2), 92–130 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  26. 26.
    Priami, C., Quaglia, P.: Beta binders for biological interactions. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 20–33. Springer, Heidelberg (2005) CrossRefGoogle Scholar
  27. 27.
    Regev, A., Panina, E., Silverman, W., Cardelli, L., Shapiro, E.: Bioambients: An abstraction for biological compartements. Theor. Comput. Sci. 325(1), 141–167 (2004)CrossRefzbMATHGoogle Scholar
  28. 28.
    Vitale, A., Mauri, G.: Communication via mobile vesicles in brane calculi. ENTCS 171(2), 187–196 (2007)zbMATHGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Chiara Bodei
    • 1
    Email author
  • Linda Brodo
    • 2
  • Roberta Gori
    • 1
  • Diana Hermith
    • 3
  • Francesca Levi
    • 1
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly
  2. 2.Dipartimento di Scienze Politiche, Scienze della Comunicazione e Ingegneria dell’InformazioneUniversità di SassariSassariItaly
  3. 3.Dipartimento di Ingegneria dell’informazione e Scienze MatematicheUniversità di SienaSienaItaly

Personalised recommendations