pl.csl.sri.comPathway Logic

Home Home Publications Papers Presentations Tutorials JSON Data Documentation STM8 Tour VMac Tour SmallKB Tour SKMEL133 Tour STM7 Tour Protease Tour Mycolate Tour Glyco Tour Reference Datums KB Curation Notes PLA Online PLA Online Software Download Install Information Mailing lists What's New? Pathway Impression by Susan Hemmenway is an approach to modeling biological entities and processes based on a simple but powerful logic called rewriting logic . is an example of how formal modeling techniques can be used to develop a new science of symbolic systems biology. This computational science will provide researchers with powerful tools to facilitate the understanding of complex biological systems and accelerate the design of experiments to test hypotheses about their functions in vivo. uses rewrite theories to formalize the informal models that biologists commonly use to explain biological processes. Such formal theories can include both specific facts and general principles relating and categorizing data elements and processes. New data structures for representing biological entities, their relations and properties can easily be defined. Representing biological knowledge using formal rules and concepts allows data to be interpreted, combined, and queried in the context of biological knowledge . Theories concerning different types of information can be combined using well understood operations for combining logical theories. A wide range of analytical tools developed for analysis of computer system specifications can be adapted to carry out new kinds of analysis of experimental data curated into formal theories. is currently being used for the modeling and analysis of signal transduction and metabolic networks in mammalian cells. Pathways leading from different initial conditions can be generated automatically from collections of network elements -- thus, in silico experiments can be performed to study the effects of perturbations of these networks. models are represented using the Maude system a system founded on rewriting logic. Models can be queried and in silico experiments carried out using the execution, search and model-checking tools of the Maude system. Some current capabilities of include the following: Models with different levels of detail Dynamically generated pathways using search and model-checking Transformation to Petri nets for analysis and visualization Roadmap views of dynamically generated pathways Using biological molecules, their states, and their roles in network elements can be modeled at very different levels of abstraction. For example, a complex signaling protein can be modeled either according to an overall state or as a collection of functional domains (protein functional domains, PFDs) and their internal or external interactions. A extensive collection of Pathway logic publications can be found here . An online demonstation of the assistant can be found here . The Pathway logic assistant and knowledge bases can also be downloaded from here . Documentation for using the assistant can be found here . The Team Keith Laderoute Patrick Lincoln Linda Briesemeister Steven Eker Merrill Knapp Ian A. Mason Anupama Panikkar Andy Poggio Malabika Sarker Carolyn Talcott Ashish Tiwari Rajeev Vaidyanathan Frederic Vigneault development has been funded in part by NIH BISTI R21/R33 grant (GM068146-01), NIH/NCI P50 grant (CA112970-01), and NSF grant IIS-0513857....