Symbolic Modeling of Signal Transduction in Pathway Logic

Pathway logic is a step towards a vision of symbolic systems biology. It is an approach to modeling cellular processes based on formal methods. In particular, formal executable models of processes such as signal transduction, metabolic pathways, and immune system cell-cell signaling are developed us...

Full description

Saved in:
Bibliographic Details
Main Author: Talcott, C.
Format: Conference Proceeding
Language:English
Subjects:
Biological processes
Biological system modeling
Biology computing
Cognitive science
Computational modeling
Logic
Predictive models
Proteins
Signal processing
Systems biology
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Pathway logic is a step towards a vision of symbolic systems biology. It is an approach to modeling cellular processes based on formal methods. In particular, formal executable models of processes such as signal transduction, metabolic pathways, and immune system cell-cell signaling are developed using the rewriting logic language Maude and a variety of formal tools are used to query these models. An important objective of Pathway Logic is to reflect the ways that biologists think about problems using informal models, and to provide bench biologists with tools for computing with and analyzing these models that are natural. In this paper we describe the pathway logic approach to the modeling and analysis of signal transduction, and the use of the pathway logic assistant tool to browse and query these models. The Rac1 signaling pathway is used to illustrate the concepts
ISSN:0891-7736
1558-4305
DOI:10.1109/WSC.2006.322940