[Home] [CV] [Publications]


Minus 1a5aa4f1c08b567c9107cba729de26bc87c17ab2b2f690eb45059193a1d6f587 Pathway Logic: Executable Models of Biological Networks
Eker, Steven and Knapp, Merrill and Laderoute, Keith and Lincoln, Patrick and Talcott, Carolyn - 2002 - PDF

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 metamodeling and analyzing the models themselves. The idea of symbolic biological experiments opens up an exciting new world of challening applications for formal methods in general and for rewriting logic based formalisms in particular.