skip to main content
invited-talk

Systems biology, models, and concurrency

Published:07 January 2008Publication History
Skip Abstract Section

Abstract

Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will likely differ from the all familiar styles deployed with great success in the physical sciences. Molecular systems at the basis of cellular decision processes are concurrent and combinatorial. Their behavior is as much constrained by relationships of causality between molecular interactions as it is by chemical kinetics. Understanding how such systems give rise to coherent behavior and designing effective interventions to fight disease will require a notion of model that is akin to the concept of program in computer science. I will discuss recent progress in implementing a platform and tools for formal analysis that bring us closer to this vision. Protein interactions are represented by means of rules expressed in a formal language that captures a very simple, yet effective and biologically meaningful level of abstraction. Models, then, are collections of rules operating on an initial set of agents, in complete analogy to rules of organic chemical reactions. I will describe tools for analyzing and navigating rule collections as well as exploring their dynamics. We draw on concepts familiar to computer science, especially event structures, and adapt them to biological needs with the goal of formalizing the notion of "pathway". The challenges are many, but a road map for the future is discernible. Computer science will play a central role in providing an additional foundational layer, both theoretical and practical, that neither physics nor chemistry can offer on their own in the future definition of the biological sciences.

References

  1. V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine. Rule-based Modelling of Cellular Signalling. In: L. Caires and V. T. Vasconcelos (Eds.): CONCUR 2007 - Concurrency Theory, Lecture Notes in Computer Sciences, 4703, 17--41 (2007). Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. V. Danos and C. Laneve. Formal molecular biology. Theoretical Computer Science, 325(1), 69--110 (2004). Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. M. Nielsen and G. Winskel. Models For Concurrency. In: Handbook of Logic and the Foundations of Computer Science, vol. 4, 1--148, Oxford University Press (1995). Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL 1977 Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 238--252, ACM Press, New York, (1977). Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. V. Danos, J. Feret, W. Fontana and J. Krivine. Abstract interpretation of cellular signalling networks. In: VMCAI 2008 Ninth International Conference on Verification, Model Checking and Abstract Interpretation. Lecture Notes in Computer Sciences. To appear. (2008). Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. V. Danos, J. Feret, W. Fontana and J. Krivine. Scalable simulation of cellular signaling networks. In: APLAS 2007 Fifth ASIAN Symposium on Programming Languages and Systems. Lecture Notes in Computer Sciences, 4807. To appear. (2007). Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Systems biology, models, and concurrency

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        • Published in

          cover image ACM SIGPLAN Notices
          ACM SIGPLAN Notices  Volume 43, Issue 1
          POPL '08
          January 2008
          420 pages
          ISSN:0362-1340
          EISSN:1558-1160
          DOI:10.1145/1328897
          Issue’s Table of Contents
          • cover image ACM Conferences
            POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
            January 2008
            448 pages
            ISBN:9781595936899
            DOI:10.1145/1328438

          Copyright © 2008 ACM

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 7 January 2008

          Check for updates

          Qualifiers

          • invited-talk

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!