TRuML: A Translator for Rule-Based Modeling Languages

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. CCS CONCEPTS • Applied computing → Systems biology; • Computing methodologies → Simulation languages;

[1]  Carlos F. Lopez,et al.  Programming biological models in Python using PySB , 2013, Molecular systems biology.

[2]  Eric J. Deeds,et al.  Machines vs. Ensembles: Effective MAPK Signaling through Heterogeneous Sets of Protein Complexes , 2013, PLoS Comput. Biol..

[3]  James R Faeder,et al.  Efficient modeling, simulation and coarse-graining of biological complexity with NFsim , 2011, Nature Methods.

[4]  James R Faeder,et al.  Rule‐based modeling: a computational approach for studying biomolecular site dynamics in cell signaling systems , 2014, Wiley interdisciplinary reviews. Systems biology and medicine.

[5]  Lubos Brim,et al.  Formal Biochemical Space with Semantics in Kappa and BNGL , 2016, SASB.

[6]  Justin S. Hogg Advances in Rule-based Modeling: Compartments, Energy, and Hybrid Simulation, with Application to Sepsis and Cell Signaling , 2013 .

[7]  Cosimo Laneve,et al.  Formal molecular biology , 2004, Theor. Comput. Sci..

[8]  Vincent Danos,et al.  Intrinsic information carriers in combinatorial dynamical systems. , 2010, Chaos.

[9]  Vincent Danos,et al.  Scalable Simulation of Cellular Signaling Networks , 2007, APLAS.

[10]  Jérôme Feret,et al.  KaSa: A Static Analyzer for Kappa , 2018, CMSB.

[11]  Daniel T Gillespie,et al.  Stochastic simulation of chemical kinetics. , 2007, Annual review of physical chemistry.

[12]  James R Faeder,et al.  Rule-based modeling of biochemical systems with BioNetGen. , 2009, Methods in molecular biology.