ABSTRACT
Rule-based modeling languages, such as the Kappa and BioNetGen languages (BNGL), are powerful frameworks for modeling the dynamics of complex biochemical reaction networks. Each language is distributed with a distinct software suite and modelers may wish to take advantage of both toolsets. This paper introduces a practical application called TRuML that translates models written in either Kappa or BNGL into the other language. While similar in many respects, key differences between the two languages makes translation sufficiently complex that automation becomes a useful tool. TRuML accommodates the languages' complexities and produces a semantically equivalent model in the alternate language of the input model when possible and an approximate model in certain other cases. Here, we discuss a number of these complexities and provide examples of equivalent models in both Kappa and BNGL.
- Pierre Boutillier, Jérôme Feret, Jean Krivine, and Lý Kim Quyên. 2017. KaSim and KaSa Reference Manual. http://dev.executableknowledge.org/docs/ KaSim-manual-master/KaSim_manual.htm.Google Scholar
- Lily A. Chylek, Leonard A. Harris, Chang-Shung Tung, James R. Faeder, Carlos F. Lopez, and William S. Hlavacek. 2014. Rule-based modeling: a computational approach for studying biomolecular site dynamics in cell signaling systems. Wiley Interdisciplinary Reviews. Systems Biology and Medicine 6, 1 (2014), 13--36. arXiv:NIHMS150003Google Scholar
- Vincent Danos, Jérôme Feret, Walter Fontana, and Jean Krivine. 2007. Scalable Simulation of Cellular Signaling Networks. In Programming Languages and Systems. Springer Berlin Heidelberg, Berlin, Heidelberg, 139--157. Google ScholarDigital Library
- Vincent Danos and Cosimo Laneve. 2004. Formal molecular biology. Theoretical Computer Science 325, 1 (2004), 69--110. Google ScholarDigital Library
- T. Děd, D. Šafránek, M. Troják, M. Klement, J. Šalagovič, and L. Brim. 2016. Formal Biochemical Space with Semantics in Kappa and BNGL. Electronic Notes in Theoretical Computer Science 326 (2016), 27--49.Google ScholarCross Ref
- James R. Faeder, Michael L. Blinov, and William S. Hlavacek. 2009. Rule-Based Modeling of Biochemical Systems with BioNetGen. In Systems Biology, Ivan V. Maly (Ed.). Humana Press, Totowa, NJ, 113--167.Google Scholar
- Daniel T Gillespie. 2007. Stochastic simulation of chemical kinetics. Annual Review of Physical Chemistry 58 (2007), 35--55.Google ScholarCross Ref
- Russ Harmer, Vincent Danos, Jérôme Feret, Jean Krivine, and Walter Fontana. 2010. Intrinsic information carriers in combinatorial dynamical systems. Chaos 20, 3 (2010), 1--16.Google ScholarCross Ref
- Justin S Hogg. 2013. Advances in Rule-based Modeling: Compartments, Energy, and Hybrid Simulation, with Application to Sepsis and Cell Signaling. (August 2013). http://d-scholarship.pitt.edu/19621/Google Scholar
- Carlos F Lopez, Jeremy L Muhlich, John A Bachman, and Peter K Sorger. 2013. Programming biological models in Python using PySB. Molecular Systems Biology 9, 646 (2013), 646.Google ScholarCross Ref
- Michael W Sneddon, James R Faeder, and Thierry Emonet. 2011. Efficient modeling, simulation and coarse-graining of biological complexity with NFsim. Nature Methods 8, 2 (2011), 177--183.Google ScholarCross Ref
- Ryan Suderman and Eric J. Deeds. 2013. Machines vs. Ensembles: Effective MAPK Signaling through HeterGoogle Scholar
Index Terms
- TRuML: A Translator for Rule-Based Modeling Languages
Recommendations
A systems chemical biology study of malate synthase and isocitrate lyase inhibition in Mycobacterium tuberculosis during active and NRP growth
SCB related virtual screening and docking studies can provide mechanistic insight on inhibition.Unlike glyoxlate response, inhibitor impact on malate seems microenvironment dependent.For similar microenvironments, ICL versus MS inhibition is ...
A Syntactic Abstraction for Rule-Based Languages with Binding
Rule-based languages such as Kappa and BioNetGen excel in their support for handling combinatorial explosion of the number of protein complexes encoded by a signal transduction model. They do so by representing the transformation of complexes at the ...
Incremental concrete syntax for embedded languages with support for separate compilation
Embedded domain-specific languages (EDSLs) are known to improve the productivity of developers. However, for many domains no DSL implementation is available and two important reasons for this are: First, the effort to implement EDSLs that provide the ...
Comments