Computer Science – Computational Engineering – Finance – and Science
Scientific paper
2010-02-22
EPTCS 19, 2010, pp. 40-54
Computer Science
Computational Engineering, Finance, and Science
Scientific paper
10.4204/EPTCS.19.3
Signalling pathways are abstractions that help life scientists structure the coordination of cellular activity. Cross-talk between pathways accounts for many of the complex behaviours exhibited by signalling pathways and is often critical in producing the correct signal-response relationship. Formal models of signalling pathways and cross-talk in particular can aid understanding and drive experimentation. We define an approach to modelling based on the concept that a pathway is the (synchronising) parallel composition of instances of generic modules (with internal and external labels). Pathways are then composed by (synchronising) parallel composition and renaming; different types of cross-talk result from different combinations of synchronisation and renaming. We define a number of generic modules in PRISM and five types of cross-talk: signal flow, substrate availability, receptor function, gene expression and intracellular communication. We show that Continuous Stochastic Logic properties can both detect and distinguish the types of cross-talk. The approach is illustrated with small examples and an analysis of the cross-talk between the TGF-b/BMP, WNT and MAPK pathways.
Calder Muffy
Donaldson Robin
No associations
LandOfFree
Modelling and Analysis of Biochemical Signalling Pathway Cross-talk 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 Modelling and Analysis of Biochemical Signalling Pathway Cross-talk, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Modelling and Analysis of Biochemical Signalling Pathway Cross-talk will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-373243