zbMATH — the first resource for mathematics

Formal biochemical space with semantics in Kappa and BNGL. (English) Zbl 1401.92076
Paulevé, Loïc (ed.) et al., Post-proceedings of the 6th international workshop on static analysis and systems biology (SASB 2015), Saint-Malo, France, September 8, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 326, 27-49 (2016).
Summary: Biochemical space (BCS) has been introduced as a semi-formal notation for reaction networks of biological processes. It provides a concise mapping of mathematical models to their biological description established at a desired level of abstraction. In this paper, we first turn BCS into a completely formal language with rigorously defined semantics by means of a simplified Kappa calculus. On the practical end, we support BCS with translation to BNGL, a well-known practically used rule-based language. Finally, we show the current status of BCS defined for cyanobacteria processes.
For the entire collection see [Zbl 1352.92002].

92C40 Biochemistry, molecular biology
68Q45 Formal languages and automata
68Q55 Semantics in the theory of computing
Full Text: DOI
[1] Brim, L.; Nižnan, J.; Šafránek, D., Compact representation of photosynthesis dynamics by rule-based models, 5th International Workshop on Static Analysis and Systems Biology (SASB 2014), Electronic Notes in Theoretical Computer Science, 316, 17-27, (2015) · Zbl 1352.92095
[2] Ciocchetta, F.; Hillston, J., Bio-pepa: A framework for the modelling and analysis of biological systems, Theoretical Computer Science, 410, 3065-3084, (2009) · Zbl 1173.68041
[3] Danos, V.; Feret, J.; Fontana, W.; Krivine, J., Abstract interpretation of cellular signalling networks, (Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, (2008)), 83-97 · Zbl 1138.68650
[4] Danos, V.; Laneve, C., Formal molecular biology, Theor. Comput. Sci., 325, 69-110, (2004) · Zbl 1071.68041
[5] Dematté, L.; Priami, C.; Romanel, A., The blenx language: A tutorial, (Bernardo, M.; Degano, P.; Zavattaro, G., Formal Methods for Computational Systems Biology, Lecture Notes in Computer Science, vol. 5016, (2008), Springer Berlin Heidelberg), 313-365 · Zbl 1160.68678
[6] Faeder, J.; Blinov, M.; Hlavacek, W., Rule-based modeling of biochemical systems with bionetgen, (Maly, I. V., Systems Biology, Methods in Molecular Biology, vol. 500, (2009), Humana Press), 113-167
[7] Hlavacek, W. S.; Faeder, J. R.; Blinov, M. L.; Posner, R. G.; Hucka, M.; Fontana, W., Rules for modeling signal-transduction systems, Sci. STKE, 2006, (2006)
[8] Hucka, M., The systems biology markup language (sbml): a medium for representation and exchange of biochemical network models, Bioinformatics, 19, 524-531, (2003)
[9] Kanehisa, M.; Goto, S., Kegg: Kyoto encyclopedia of genes and genomes, Nucleic Acids Research, 28, 27-30, (2000)
[10] Klement, M.; Děd, T.; Šafránek, D.; Červený, J.; Müller, S.; Steuer, R., Biochemical space: A framework for systemic annotation of biological models, (Proceedings of the 5th International Workshop on Interactions between Computer Science and Biology (CS2Bio14), (2014)), 31-44
[11] Klement, M.; Šafránek, D.; Děd, T.; Pejznoch, A.; Nedbal, L.; Steuer, R.; Červený, J.; Müller, S., A comprehensive web-based platform for domain-specific biological models, (Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology (CS2Bio’13), (2013)), 61-67
[12] Knoop, H.; Gründel, M.; Zilliges, Y.; Lehmann, R.; Hoffmann, S.; Lockau, W.; Steuer, R., Flux balance analysis of cyanobacterial metabolism: the metabolic network of synechocystis sp. pcc 6803, PLoS Comput Biol, 9, (2013)
[13] Le Novere, N., Minimum information requested in the annotation of biochemical models (MIRIAM), Nat Biotech, 23, 1509-1515, (2005)
[14] Nakao, M.; Okamoto, S.; Kohara, M.; Fujishiro, T.; Fujisawa, T.; Sato, S.; Tabata, S.; Kaneko, T.; Nakamura, Y., Cyanobase: the cyanobacteria genome database update 2010, Nucleic Acids Research, 38, D379-D381, (2010)
[15] Nedbal, L.; Červený, J.; Schmidt, H., Scaling and integration of kinetic models of photosynthesis: towards comprehensive e-photosynthesis, (Photosynthesis in silico, Advances in Photosynthesis and Respiration, vol. 29, (2009), Springer), 17-29
[16] Pedersen, M.; Plotkin, G., A language for biochemical systems: design and formal specification, (Priami, C.; Breitling, R.; Gilbert, D.; Heiner, M.; Uhrmacher, A., Transactions on Computational Systems Biology XII, Lecture Notes in Computer Science, vol. 5945, (2010), Springer Berlin Heidelberg), 77-145 · Zbl 1275.92020
[17] Šafránek, D.; Červený, J.; Klement, M.; Pospíšilová, J.; Brim, L.; Lazár, D.; Nedbal, L., E-photosynthesis: web-based platform for modeling of complex photosynthetic processes, Biosystems, 103, 115-124, (2011)
[18] F. Zhang, M. Meier-Schellersheim, “SBML Level 3 Package Specification: Multistate, Multicomponent and Multicompartment Species Package for SBML Level 3 (Version 1, Release 0.4 - Draft),” 2015, SBML.org.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.