Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks

Details Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks

2008-03-06

arxiv.org/abs/0803.0802v3

Biology

Quantitative Biology

Quantitative Methods

Scientific paper

Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful technology to keep up with this increase in scale and complexity. The application of model-checking approaches is hampered, however, by the difficulty for non-expert users to formulate appropriate questions in temporal logic. In order to deal with this problem, we propose the use of patterns, that is, high-level query templates that capture recurring biological questions and that can be automatically translated into temporal logic. The applicability of the developed set of patterns has been investigated by the analysis of an extended model of the network of global regulators controlling the carbon starvation response in Escherichia coli.

Affiliated with

Also associated with

No associations

Rating

Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-13537