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.

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.

@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/}
}

• talcott-02wrla-bio.pdf
• talcott-02wrla-bio.ps