Modular modelling of signalling pathways and their cross-talk

被引：10

作者：

Donaldson, Robin ^{[1
]}

Calder, Muffy ^{[1
]}

机构：

[1] Univ Glasgow, Sch Comp Sci, Glasgow G12 8QQ, Lanark, Scotland

来源：

THEORETICAL COMPUTER SCIENCE | 2012年 / 456卷

基金：

英国工程与自然科学研究理事会;

关键词：

Signalling pathways; Cross-talk; Signalling networks; Modelling; Biological modules; PETRI NETS; MAPK;

D O I：

10.1016/j.tcs.2012.07.003

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Signalling pathways are well-known abstractions that explain the mechanisms whereby cells respond to signals. Collections of pathways form networks, and interactions between pathways in a network, known as cross-talk, enables further complex signalling behaviours. While there are several formal modelling approaches for signalling pathways, none make cross-talk explicit; the aim of this paper is to define and categorise cross-talk in a rigorous way. We define a modular approach to pathway and network modelling, based on the module construct in the PRISM modelling language, and a set of generic signalling modules. Five different types of cross-talk are defined according to various biologically meaningful combinations of variable sharing, synchronisation labels and reaction renaming. The approach is illustrated with a case-study analysis of cross-talk between the TGF-beta, WNT and MAPK pathways. (C) 2012 Elsevier B.V. All rights reserved.

引用

页码：30 / 50

页数：21

共 27 条

[1] Reactive modules [J].

Alur, R ;

Henzinger, TA .

FORMAL METHODS IN SYSTEM DESIGN, 1999, 15 (01) :7-48

[2]

[Anonymous], 2006, INS SIGN REC CROSS T

[3]

Breitling R., 2009, PRIVATE CORRESPONDEN

[4]

Calder M, 2006, LECT NOTES COMPUT SC, V4230, P1

[5]

Calder M, 2006, LECT NOTES COMPUT SC, V4220, P44

[6] Feature interaction detection by pairwise analysis of LTL properties - A case study [J].

Calder, Muffy ;

Miller, Alice .

FORMAL METHODS IN SYSTEM DESIGN, 2006, 28 (03) :213-261

[7]

Calder M, 2009, LECT NOTES COMPUT SC, V5750, P1

[8] CROSSTALK (NOISE) IN DIGITAL SYSTEMS [J].

CATT, I .

IEEE TRANSACTIONS ON ELECTRONIC COMPUTERS, 1967, EC16 (06) :743-&

[9]

Chabrier-rivier N., 2003, THEORETICAL COMPUTER, V325, P25

[10] Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA [J].

Ciocchetta, Federica ;

Degasperi, Andrea ;

Hillston, Jane ;

Calder, Muffy .

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 229 (01) :145-163

← 1 2 3 →