Rule-Based Modelling and Model Perturbation

作者: Jean Krivine , Walter Fontana , Jérôme Feret , Vincent Danos , Russ Harmer

DOI: 10.1007/978-3-642-04186-0_6

关键词:

摘要: Rule-based modelling has already proved to be successful for taming the combinatorial complexity, typical of cellular signalling networks, caused by combination physical protein-protein interactions and modifications that generate astronomical numbers distinct molecular species. However, traditional rule-based approaches, based on an unstructured space agents rules, remain susceptible other explosions mutated and/or splice variant agents, share most but not all their rules with wild-type counterparts; drugs, which must clearly distinguished from physiological ligands. In this paper, we define a syntactic extension Kappa, established platform, enables expression structured allows us express variants, families related proteins ligand/drug interventions uniformly. This also mode model construction where, starting current consensus model, attempt reproduce in numero mutational--and more generally perturbational--analyses were used process inferring those pathways first place.

参考文章(34)
Aviv Regev, Ehud Shapiro, Cellular abstractions: Cells as computation Nature. ,vol. 419, pp. 343- 343 ,(2002) , 10.1038/419343A
K. Etessami, Analysis of Recursive Game Graphs Using Data Flow Equations verification model checking and abstract interpretation. pp. 282- 296 ,(2004) , 10.1007/978-3-540-24622-0_23
Lorenzo Dematté, Corrado Priami, Alessandro Romanel, The BlenX Language: A Tutorial Formal Methods for Computational Systems Biology. pp. 313- 365 ,(2008) , 10.1007/978-3-540-68894-5_9
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo, Giovanni Pardini, The Calculus of Looping Sequences Formal Methods for Computational Systems Biology. pp. 387- 423 ,(2008) , 10.1007/978-3-540-68894-5_11
Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine, Abstract Interpretation of Cellular Signalling Networks Lecture Notes in Computer Science. pp. 83- 97 ,(2008) , 10.1007/978-3-540-78163-9_11
Muffy Calder, Stephen Gilmore, Jane Hillston, Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA Lecture Notes in Computer Science. ,vol. 7, pp. 1- 23 ,(2006) , 10.1007/11905455_1
Corrado Priami, Paola Quaglia, Beta binders for biological interactions computational methods in systems biology. pp. 20- 33 ,(2004) , 10.1007/978-3-540-25974-9_3
Marek Kwiatkowski, Ian Stark, The Continuous π-Calculus: A Process Algebra for Biochemical Modelling computational methods in systems biology. pp. 103- 122 ,(2008) , 10.1007/978-3-540-88562-7_11
Kim G. Larsen, Ulrik Nyman, Andrzej Wąsowski, On modal refinement and consistency international conference on concurrency theory. pp. 105- 119 ,(2007) , 10.1007/978-3-540-74407-8_8
Mathias John, Roland Ewald, Adelinde M. Uhrmacher, A Spatial Extension to the π Calculus Electronic Notes in Theoretical Computer Science. ,vol. 194, pp. 133- 148 ,(2008) , 10.1016/J.ENTCS.2007.12.010