SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

Pathway Logic: Symbolic Analysis of Biological Signaling
 by Dr. Steven Eker, Dr. Patrick Lincoln, Merrill Knapp, Keith Laderoute, José Meseguer & Kemal Sonmez.

From Proceedings of the Pacific Symposium on Biocomputing.
January, 2002.
Pages 400–412.


Abstract
The genomic sequencing of hundreds of organisms including homo sapiens, and the exponential growth in gene expression and proteomic data for many species has revolutionized research in biology. However, the computational analysis of these burgeoning datasets has been hampered by the sparse successes in combinations of data sources, representations, and algorithms. Here we propose the application of symbolic toolsets from the formal methods community to problems of biological interest, particularly signaling pathways, and more specifically mammalian mitogenic and stress response pathways. The results of formal symbolic analysis with extremely efficient representations of biological networks provide insights with potential biological impact. In particular, novel hypotheses may be generated which can lead to wet lab validation of new signaling possibilities. We demonstrate the graphic representation of the results of formal analysis of pathways, including navigational abilities, and describe the logical underpinnings of the approach. In sum, we propose and provide an initial demonstration of an algebra and logic of signaling pathways and biologically plausible abstractions that provide the foundation for the application of high-powered tools such as model checkers to problems of biological interest.
BibTEX Entry
@PROCEEDINGS{Lincoln2002,
    AUTHOR = {Steven Eker and Merrill Knapp and Keith Laderoute and Patrick Lincoln and Jos\'{e} Meseguer and Kemal Sonmez},
    TITLE = {Pathway Logic: Symbolic Analysis of Biological Signaling},
    YEAR = {2002},
    PAGES = {400-412},
    MONTH = {January},
    NOTE = {To appear},
    URL = {http://www.csl.sri.com/papers/lincoln-pathway-logic-psb-2002/},
    BOOKTITLE = {Proceedings of the Pacific Symposium on Biocomputing}
}
Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy