Skip to main content
SpringerLink
Log in

What Can Formal Methods Bring to Systems Biology?

  • Conference paper
FM 2009: Formal Methods (FM 2009)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5850))

Included in the following conference series:

Abstract

This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can be complementary to the traditional mathematical descriptive modelling approaches used in systems biology. We discuss one example: a recent Petri net analysis of C. elegans vulval development.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barnat, J., Brim, L., Cerná, I., Drazan, S., Safránek, D.: Parallel model checking large-scale genetic regulatory networks with DiVinE. In: Proc. FBTC 2007. ENTCS, vol. 194(3), pp. 35–50. Elsevier, Amsterdam (2008)

    Google Scholar 

  2. Bonzanni, N., Krepska, E., Feenstra, A., Fokkink, W., Kielmann, T., Bal, H., Heringa, J.: Executing multicellular differentiation: Quantitative predictive modelling of C. elegans vulval development. Bioinformatics (in press)

    Google Scholar 

  3. Burkhard, H.-D.: On priorities of parallelism. In: Salwicki, A. (ed.) Logic of Programs 1980. LNCS, vol. 148, pp. 86–97. Springer, Heidelberg (1983)

    Google Scholar 

  4. Dobzhansky, T.: Nothing in Biology Makes Sense Except in the Light of Evolution. American Biology Teacher 35, 125–129 (1973)

    Google Scholar 

  5. Crombach, A., Hogeweg, P.: Evolution of evolvability in gene regulatory networks. PLoS Comput. Biol. 4, e1000112 (2008), http://doi:10.1371/journal.pcbi.1000112

    Google Scholar 

  6. Fisher, J., Henzinger, T.: Executable cell biology. Nature Biotechnology 25(11), 1239–1249 (2007)

    Article  Google Scholar 

  7. Fisher, J., Henzinger, T., Mateescu, M., Piterman, N.: Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. In: Fisher, J. (ed.) FMSB 2008. LNCS (LNBI), vol. 5054, pp. 17–32. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  8. Fisher, J., Piterman, N., Hajnal, A., Henzinger, T.A.: Predictive modeling of signaling crosstalk during C. elegans vulval development. PLoS Comput. Biol. 3, e92 (2007)

    Article  Google Scholar 

  9. Fisher, J., Piterman, N., Jane Albert Hubbard, E., Stern, M.J., Harel, D.: Computational insights into Caenorhabditis elegans vulval development. P. Natl. Acad. Sci. USA 102, 1951–1956 (2005)

    Article  Google Scholar 

  10. Giurumescu, C.A., Sternberg, P.W., Asthagiri, A.R.: Intercellular coupling amplifies fate segregation during Caenorhabditis elegans vulval development. P. Natl. Acad. Sci. USA 103, 1331–1336 (2006)

    Article  Google Scholar 

  11. Harel, D.: A grand challenge for computing: Towards full reactive modeling of a multi-cellular animal. Bulletin of the EATCS 81, 226–235 (2003)

    Google Scholar 

  12. Kam, N., Harel, D., Kugler, H., Marelly, R., Pnueli, A., Jane Albert Hubbard, E., Stern, M.: Formal modeling of C. elegans development: A scenario-based approach. In: Priami, C. (ed.) CMSB 2003. LNCS, vol. 2602, pp. 4–20. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  13. Krepska, E., Bonzanni, N., Feenstra, A., Fokkink, W., Kielmann, T., Bal, H., Heringa, J.: Design issues for qualitative modelling of biological cells with Petri nets. In: Fisher, J. (ed.) FMSB 2008. LNCS (LNBI), vol. 5054, pp. 48–62. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  14. Li, C., Nagasaki, M., Ueno, K., Miyano, S.: Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension. BMC Syst. Biol. 3, 42 (2009)

    Article  Google Scholar 

  15. Nagasaki, M., Saito, A., Doi, A., Matsuno, H., Miyano, S.: Using Cell Illustrator and Pathway Databases. Springer, Heidelberg (2009)

    Google Scholar 

  16. Regev, A., Panina, E., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: An abstraction for biological compartments. Theoretical Computer Science 325(1), 141–167 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  17. Regev, A., Shapiro, E.: Cellular abstractions: Cells as computation. Nature 419, 343 (2002)

    Article  Google Scholar 

  18. Sadot, A., Fisher, J., Barak, D., Admanit, Y., Stern, M., Hubbard, J.A., Harel, D.: Toward verified biological models. IEEE/ACM Transactions on Computational Biology and Bioinformatics 5(2), 223–234 (2008)

    Article  Google Scholar 

  19. Sternberg, P.W.: Chapter on vulval development in Wormbook (June 2005), http://www.wormbook.org/chapters/www_vulvaldev/vulvaldev.html

  20. Sun, X., Hong, P.: Computational modeling of Caenorhabditis elegans vulval induction. Bioinformatics 507, i499–i507 (2007)

    Article  Google Scholar 

  21. Tofts, C.: Describing social insect behaviour using process algebra. Transactions of the Society for Computer Simulation 9(4), 227–283 (1992)

    Google Scholar 

  22. Yoo, A.S., Greenwald, I.: LIN-12/Notch activation leads to microRNA-mediated down-regulation of Vav in C. elegans. Science 310, 1330–1333 (2005)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081, HV, Amsterdam, The Netherlands

    Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink & Elzbieta Krepska

Authors
  1. Nicola Bonzanni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. K. Anton Feenstra
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wan Fokkink
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Elzbieta Krepska
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Heslington, University of York, Y010 5DD, York, UK

    Ana Cavalcanti

  2. Bell Laboratories, 600 Mountain Ave., 07974, Murray Hill, NY, USA

    Dennis R. Dams

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bonzanni, N., Feenstra, K.A., Fokkink, W., Krepska, E. (2009). What Can Formal Methods Bring to Systems Biology?. In: Cavalcanti, A., Dams, D.R. (eds) FM 2009: Formal Methods. FM 2009. Lecture Notes in Computer Science, vol 5850. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-05089-3_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-05089-3_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-05088-6

  • Online ISBN: 978-3-642-05089-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation