Lucian P. Smith

Antimony is a human-readable language for defining and sharing models developed by the systems biology community. It enables scientists to describe biochemical networks with a simple syntax, while supporting seamless conversion to and from the Systems Biology Markup Language (SBML) community standard. Since Antimony’s original release, both SBML and modeling practices have evolved significantly, creating a need to update Antimony to maintain its standards compliance and practical relevance. In this paper, we introduce Antimony 3, a comprehensive update that formalizes its cumulative improvements and extends its support for SBML Level 3 Core and Flux Balance Constraints (FBC), Distributions, Layout, and Render packages. Antimony 3 enables model specifications that combine kinetic reactions with flux balance analysis, represent uncertainty using probability distributions, add biological context through annotations, and define publication-ready visualizations, all within a unified plain-text format. Antimony 3 is delivered as a lightweight C/C++ library with a stable C API. It is available through official bindings for Python, Julia, and JavaScript/WebAssembly, as well as a cross-platform desktop GUI, which enables straightforward use across scripting environments, desktop applications, and browser-based tools. Antimony 3 is released as open-source software under the BSD 3-Clause License and is available at https://github.com/sys-bio/antimony .

Antimony is a human-readable language for defining and sharing models developed by the systems biology community. It enables scientists to describe biochemical networks with a simple syntax, while supporting seamless conversion to and from the Systems Biology Markup Language (SBML) community standard. Since Antimony’s original release, both SBML and modeling practices have evolved significantly, creating a need to update Antimony to maintain its standards compliance and practical relevance. In this paper, we introduce Antimony 3, a comprehensive update that formalizes its cumulative improvements and extends its support for SBML Level 3 Core and Flux Balance Constraints (FBC), Distributions, Layout, and Render packages. Antimony 3 enables model specifications that combine kinetic reactions with flux balance analysis, represent uncertainty using probability distributions, add biological context through annotations, and define publication-ready visualizations, all within a unified plain-text format. Antimony 3 is delivered as a lightweight C/C++ library with a stable C API. It is available through official bindings for Python, Julia, and JavaScript/WebAssembly, as well as a cross-platform desktop GUI, which enables straightforward use across scripting environments, desktop applications, and browser-based tools. Antimony 3 is released as open-source software under the BSD 3-Clause License and is available at https://github.com/sys-bio/antimony . Author Summary: Biological models are typically stored in standardized formats that ensure compatibility across different software tools, but these formats rely on verbose, machine-readable syntax that is difficult for humans to write or inspect directly. Antimony addresses this challenge by providing an intuitive, text-based language for defining biological models that can be automatically converted to and from the Systems Biology Markup Language (SBML). Since Antimony’s original release in 2009, the SBML standard and common modeling workflows have expanded significantly. We developed Antimony 3 to support these advances, enabling researchers to write a single human-readable text file that defines reaction networks, constraint-based objectives, uncertainty in parameters and initial conditions, semantic annotations linking to biological databases, and model diagrams. Antimony 3 is provided as open-source software with broad support across computational environments, making it accessible to researchers in a wide range of workflows.

The BioModels Repository contains over 1000 manually curated mechanistic models from published literature, most often encoded in the Systems Biology Markup Language (SBML). This community-based standard formally specifies each model, but does not describe the computational experimental conditions to run a simulation and collect data. Therefore, it can be challenging to reproduce any figure or result from a publication with an SBML model alone. The Simulation Experiment Description Markup Language (SED-ML) provides a solution: a standard way to specify exactly how to run an experiment corresponding to a specific figure or result. BioModels was established years before SED-ML, and both systems evolved over time, both in content and acceptance. Hence, only about half of the entries in BioModels contained SED-ML files, and these files reflected the version of SED-ML that was available at the time. Additionally, almost all of these SED-ML files had at least one minor mistake that made them impossible to run. To make these models and their results more reproducible, we report here on our work updating, correcting and generating new SED-ML files for 1055 curated mechanistic models in BioModels. In addition, because SED-ML is implementation-independent, it can be used for verification , demonstrating that results hold across multiple simulation engines. We tested, corrected, and improved over 450 existing SED-ML files in the BioModels database, and created basic files for the rest of the entries. Then, we used a wrapper architecture for interpreting SED-ML, and report verification results across five different ODE-based biosimulation engines, after further improving the models, the wrappers, and the engines themselves. Our work with SED-ML and the BioModels collection aims to improve the utility of these models by making them more reproducible and credible. Improved reproducibility means these models are now even more fit for re-use, such as in new investigations and as components of multiscale models.

SBMLNetwork is an open-source software library that makes the SBML Layout and Render packages practical for standards-based visualization of biochemical models. Current tools often manage model visualization data in custom-designed, tool-specific formats and store it separately from the model itself, hindering interoperability, reproducibility, and the seamless integration of visualization with model data. SBMLNetwork addresses these limitations by building directly on the SBML Layout and Render specifications, automating the generation of standards-compliant visualization data, offering a modular implementation with broad integration support, and providing a robust API tailored to the needs of systems biology researchers. We illustrate the capabilities of SBMLNetwork across key visualization tasks, including SBGN-compliant visualization, application of predefined style templates, layout arrangement to reflect pathway logic, and integration of model data into network diagrams. These examples demonstrate how SBMLNetwork enables high-level visualization features and seamlessly translate user intent into reproducible outputs that support both structural representation and dynamic data visualization within the SBML model. SBMLNetwork is freely available at https://github.com/sys-bio/SBMLNetwork under the MIT license.

Evolutionary algorithms, a class of optimization techniques inspired by biological evolution, have emerged as powerful tools for the optimization of complex systems, including the evolution of mass-action chemical reaction networks. This work explores the application of evolutionary algorithms in this domain, presenting a novel approach inspired by neural network evolution methodologies. A key feature of the algorithm is speciation, which separates candidate reaction networks into groups based on their similarity, which maintains diversity and protects innovations. Crossover has also been shown to be an effective means of improving evolutionary success in other domains. However, crossover of mass-action networks is tested and found to be detrimental to the evolutionary process. This work goes beyond theoretical exploration by offering a practical contribution in the form of a user-friendly software module. This module encapsulates the newly devised algorithm, enabling researchers and practitioners to readily apply the speciation-based approach in their own investigations of mass-action chemical reaction networks. Author summary Evolutionary algorithms are an optimization technique inspired by biological evolution. They can be used to solve complex multi-dimensional problems for which analytic solutions are infeasible. We developed a novel evolutionary algorithm for use with mass-action chemical reaction networks. This algorithm implements two features of biological evolution, speciation and crossover, in an effort to generate chemical reaction networks with specific behaviors. Here, this novel algorithm is demonstrated by generating chemical reaction networks whose chemical species oscillate in time. This algorithm is encapsulated in a julia package and is publicly available as ReactionNetworkEvolution.jl.

Guidelines for managing scientific data have been established under the FAIR principles requiring that data be Findable, Accessible, Interoperable, and Reusable. In many scientific disciplines, especially computational biology, both data and models are key to progress. For this reason, and recognizing that such models are a very special type of 'data', we argue that computational models, especially mechanistic models prevalent in medicine, physiology and systems biology, deserve a complementary set of guidelines. We propose the CURE principles, emphasizing that models should be Credible, Understandable, Reproducible, and Extensible. We delve into each principle, discussing verification, validation, and uncertainty quantification for model credibility; the clarity of model descriptions and annotations for understandability; adherence to standards and open science practices for reproducibility; and the use of open standards and modular code for extensibility and reuse. We outline recommended and baseline requirements for each aspect of CURE, aiming to enhance the impact and trustworthiness of computational models, particularly in biomedical applications where credibility is paramount. Our perspective underscores the need for a more disciplined approach to modeling, aligning with emerging trends such as Digital Twins and emphasizing the importance of data and modeling standards for interoperability and reuse. Finally, we emphasize that given the non-trivial effort required to implement the guidelines, the community moves to automate as many of the guidelines as possible.

The BioModels Repository contains over 1000 manually curated mechanistic models from published literature, most often encoded in the Systems Biology Markup Language (SBML). This community-based standard formally specifies each model, but does not describe the computational experimental conditions to run a simulation. Therefore, it can be challenging to reproduce any figure or result from a publication with an SBML model alone. The Simulation Experiment Description Markup Language (SED-ML) provides a solution: a standard way to specify exactly how to run an experiment corresponding to a specific figure or result. BioModels was established years before SED-ML, and both systems evolved over time, both in content and acceptance. Hence, only about half of the entries in BioModels contained SED-ML files, and these files reflected the version of SED-ML that was available at the time. Additionally, almost all of these SED-ML files had at least one minor mistake that made them invalid. To make these models and their results more reproducible, we report here on our work updating, correcting and generating new SED-ML files for 1055 curated mechanistic models in BioModels. In addition, because SED-ML is implementation-independent, it can be used for verification , demonstrating that results hold across multiple simulation engines. We tested, corrected, and improved over 450 existing SED-ML files in the BioModels database, and created basic files for the rest of the entries. Then, we used a wrapper architecture for interpreting SED-ML, and report verification results across five different ODE-based biosimulation engines, after further improving the models, the wrappers, and the engines themselves. Our work with SED-ML and the BioModels collection aims to improve the utility of these models by making them more reproducible and credible. Improved reproducibility means these models are now even more fit for re-use, such as in new investigations and as components of multiscale models. Author summary: Reproducing computationally-derived scientific results seems like it should be straightforward, but is often elusive. Code is lost, file formats change, and knowledge of what was done is only partially recorded and/or forgotten. Model repositories such as BioModels address this failing in the Systems Biology domain by encoding models in a standard format that can reproduce a figure from the paper from which it was drawn. Here, we delved into the BioModels repository to create and correct the instructions on what to do with every curated model, and then tested those instructions on a variety of simulation platforms, allowing us to find and correct issues with the platforms and the simulators themselves. Not only did this improve the BioModels repository, but also improved the infrastructure necessary to run these verification comparisons in the future, and improved the fitness of the models for re-use by other researchers.

The reproducibility of computational biology models can be greatly facilitated by widely adopted standards and public repositories. We examined 50 models from the BioModels Database and attempted to validate the original curation and correct some of them if necessary. For each model, we reproduced these published results using Tellurium. Once reproduced we manually created a new set of files, with the model information stored by the Systems Biology Markup Language (SBML), and simulation instructions stored by the Simulation Experiment Description Markup Language (SED-ML), and everything included in an Open Modeling EXchange (OMEX) file, which could be used with a variety of simulators to reproduce the same results. On the one hand, the reproducibility procedure of 50 models developed a manual workflow that we would use to build an automatic platform to help users more easily curate and verify models in the future. On the other hand, these exercises allowed us to find the limitations and possible enhancement of the current curation and tooling to verify and curate models.

Biochemical reaction networks perform a variety of signal processing functions, one of which is computing the integrals of signal values. This is often used in integral feedback control, where it enables a system’s output to respond to changing inputs, but to then return exactly back to some pre-determined setpoint value afterward. To gain a deeper understanding of how biochemical networks are able to both integrate signals and perform integral feedback control, we investigated these abilities for several simple reaction networks. We found imperfect overlap between these categories, with some networks able to perform both tasks, some able to perform integration but not integral feedback control, and some the other way around. Nevertheless, networks that could either integrate or perform integral feedback control shared key elements. In particular, they included a chemical species that was neutrally stable in the open loop system (no feedback), meaning that this species does not have a unique stable steady-state concentration. Neutral stability could arise from zeroth order decay reactions, binding to a partner that was produced at a constant rate (which occurs in antithetic control), or through a long chain of covalent cycles. Mathematically, it arose from rate equations for the reaction network that were underdetermined when evaluated at steady-state.

The reproducibility of computational biology models can be greatly facilitated by widely adopted standards and public repositories. We examined 50 models from the BioModels Database and attempted to validate the original curation and correct some of them if necessary. For each model, we reproduced these published results using Tellurium. Once reproduced we manually created a new set of files, with the model information stored by the Systems Biology Markup Language (SBML), and simulation instructions stored by the Simulation Experiment Description Markup Language (SED-ML), and everything included in an Open Modeling EXchange (OMEX) file, which could be used with a variety of simulators to reproduce the same results. On the one hand, the validation procedure of 50 models developed a manual workflow that we would use to build an automatic platform to help users more easily curate and verify models in the future. On the other hand, these exercises allowed us to find the limitations and possible enhancement of the current curation and tooling to verify and curate models. Author summary Public repositories with models deposited using standard formats are an important activity in computational systems biology, which allows scientists to easily find, access, and reuse them to rerun simulations or derive new ones using compatible software or tools. Common standards and public repositories can facilitate the reuse and regeneration of computational biology models beyond the software originally used to perform the simulations. As an exercise to validate and correct the current curation, we examined a selection of models in the BioModels Database. For each model, we reproduced some published results in the corresponding papers by a certain software. Once reproduced we manually created a standard file package using the model and its simulation information stored in the standard formats. These exercises not only allowed us to develop a workflow that we would use to develop an automatic online platform to help users more easily curate models for existing or future databases and repositories but also allowed us to find the limitations and possible enhancement of the current curation and tooling to verify and curate models.