A High-Level Language for Rule-Based Modelling

作者: Michael Pedersen , Andrew Phillips , Gordon D. Plotkin

DOI: 10.1371/JOURNAL.PONE.0114296

关键词:

摘要: Rule-based languages such as Kappa excel in their support for handling the combinatorial complexities prevalent many biological systems, including signalling pathways. But provides little structure organising rules, and large models can therefore be hard to read maintain. This paper introduces a high-level, modular extension of called LBS-κ. We demonstrate constructs language through examples three case studies: chemotaxis switch ring, MAPK cascade, an insulin pathway. then provide formal definition LBS-κ abstract syntax translation plain Kappa. The is implemented compiler tool which available web application. finally how increase expressivity embedded scripts general-purpose programming language, technique we view generally applicable other domain specific languages.

参考文章(33)
Michael Pedersen, Compositional Definitions of Minimal Flows in Petri Nets computational methods in systems biology. pp. 288- 307 ,(2008) , 10.1007/978-3-540-88562-7_21
Michael Pedersen, Modular languages for systems and synthetic biology The University of Edinburgh. ,(2010)
Michael Pedersen, Gordon D. Plotkin, A language for biochemical systems: design and formal specification Transactions on Computational Systems Biology XII. ,vol. 12, pp. 77- 145 ,(2010) , 10.1007/978-3-642-11712-1_3
Vincent Danos, Theodore E. Simos, George Maroulis, Agile Modelling of Cellular Signalling COMPUTATION IN MODERN SCIENCE AND ENGINEERING: Proceedings of the International Conference on Computational Methods in Science and Engineering 2007 (ICCMSE 2007): VOLUME 2, PARTS A and B. ,vol. 963, pp. 611- 614 ,(2008) , 10.1063/1.2836156
Gordon D. Plotkin, A Calculus of Chemical Systems In Search of Elegance in the Theory and Practice of Computation. pp. 445- 465 ,(2013) , 10.1007/978-3-642-41660-6_24
Maria Luisa Guerriero, John K. Heath, Corrado Priami, An automated translation from a narrative language for biological modelling into process algebra computational methods in systems biology. pp. 136- 151 ,(2007) , 10.1007/978-3-540-75140-3_10
Jean Krivine, Walter Fontana, Jérôme Feret, Vincent Danos, Russ Harmer, Rule-Based Modelling and Model Perturbation Transactions on Computational Systems Biology. ,vol. 11, pp. 116- 137 ,(2009) , 10.1007/978-3-642-04186-0_6
Benjamin C. Pierce, Types and Programming Languages ,(2002)
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