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

Pathway Logic: Executable Models of Biological Networks
 by Dr. Steven Eker, Dr. Patrick Lincoln, Dr. Carolyn Talcott, Merrill Knapp & Keith Laderoute.

Electronic Notes in Theoretical Computer Science, Volume 71, Number eker-etal-02wrla.
From Fourth International Workshop on Rewriting Logic and Its Applications (WRLA'2002.
Elsevier.
2002.


Abstract
In this paper we describe the use of the rewriting logic based Maude tool to model and analyze mammalian signaling pathways. We discuss the representation of the underlying biological concepts and events and describe the use of the new search and model checking capabilities of Maude 2.0 to analyze the modeled network. We also discuss the use of Maude's reflective capability for meta modeling and analyzing the models themselves. The idea of symbolic biological experiments opens up an exciting new world of challenging applications for formal methods in general and for rewriting logic based formalisms in particular.
BibTEX Entry
@inproceedings{eker-etal-02wrla,
    AUTHOR = {Steven Eker and Merrill Knapp and Keith Laderoute and Patrick Lincoln and and Carolyn Talcott},
    TITLE = {Pathway Logic: Executable Models of Biological Networks},
    BOOKTITLE = {Fourth International Workshop on Rewriting Logic and Its Applications (WRLA'2002},
    YEAR = {2002},
    SERIES = {Electronic Notes in Theoretical Computer Science},
    VOLUME = {71},
    NUMBER = {eker-etal-02wrla},
    PUBLISHER = {Elsevier},
    URL = {http://www.csl.sri.com/papers/eker-etal-02wrla/}
}
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