Uhrmacher, A. | bioRxiv Science

bioRxiv2024

Expressive modeling and fast simulation for dynamic compartments

Compartmentalization is vital for cell biological processes. The field of rule-based stochastic simulation has acknowledged this, and many tools and methods have capabilities for compartmentalization. However, mostly, this is limited to a static compartmental hierarchy and does not integrate compartmental changes. Integrating compartmental dynamics is challenging for the design of the modeling language and the simulation engine. The language should support a concise yet flexible modeling of compartmental dynamics. Our work is based on ML-Rules, a rule-based language for multi-level cell biological modeling that supports a wide variety of compartmental dynamics, whose syntax we slightly adapt. To develop an efficient simulation engine for compartmental dynamics, we combine specific data structures and new and existing algorithms and implement them in the Rust programming language. We evaluate the concept and implementation using two case studies from existing cell-biological models. The execution of these models outperforms previous simulations of ML-Rules by two orders of magnitude. Finally, we present a prototype of a WebAssembly-based implementation to allow for a low barrier of entry when exploring the language and associated models without the need for local installation. Author summaryBiochemical dynamics are constrained by and influence the dynamics of cellular compartments. Basic constraints are considered by many modeling and simulation tools, e.g., certain reactions may only occur in specific cellular compartments and at a speed influenced by the compartmental volume. However, to capture the functioning of complex compartmental dynamics such as cell proliferation or the fission or fusion of mitochondria, additional efforts are required from tool designers. These refer to how the modeler can specify these dynamics succinctly and unambiguously and how the resulting model can be executed efficiently. For modeling, we rely on ML-Rules, an expressive, formal rule-based language for modeling biochemical systems, which ships with the required features and which we only slightly adapt in our re-implementation. We design a new simulation engine that combines efficient data structures and various algorithms for efficient simulation. The achieved efficiency will enable thorough analysis, calibration, and validation of compartmental dynamics and, thus, allow the "in-silico" pursuit of research questions for which compartmental dynamics are essential. To further facilitate exploring the interplay of compartmental and non-compartmental dynamics, we exploit recent advances in web technology so that ML-Rules models can be run efficiently in the web browser.

systems biology↗

bioRxiv2020

The Roles of Space and Stochasticity in Computational Simulations of Cellular Biochemistry: Quantitative Analysis and Qualitative Insights

Most of the fascinating phenomena studied in cell biology emerge from interactions among highly organized multi-molecular structures and rapidly propagating molecular signals embedded into complex and frequently dynamic cellular morphologies. For the exploration of such systems, computational simulation has proved to be an invaluable tool, and many researchers in this field have developed sophisticated computational models for application to specific cell biological questions. However it is often difficult to reconcile conflicting computational results that use different simulation approaches (for example partial differential equations versus particle-based stochastic methods) to describe the same phenomenon. Moreover, the details of the computational implementation of any particular algorithm may give rise to quantitatively or even qualitatively different results for the same set of starting assumptions and parameters. In an effort to address this issue systematically, we have defined a series of computational test cases ranging from very simple (bimolecular binding in solution) to moderately complex (spatial and temporal oscillations generated by proteins binding to membranes) that represent building blocks for comprehensive three-dimensional models of cellular function. Having used two or more distinct computational approaches to solve each of these test cases with consistent parameter sets, we generally find modest but measurable differences in the solutions of the same problem, and a few cases where significant deviations arise. We discuss the strengths and limitations of commonly used computational approaches for exploring cell biological questions and provide a framework for decision-making by researchers wishing to develop new models for cell biology. As computational power and speed continue to increase at a remarkable rate, the dream of a fully comprehensive computational model of a living cell may be drawing closer to reality, but our analysis demonstrates that it will be crucial to evaluate the accuracy of such models critically and systematically.

systems biology↗