Model Editing and Validation Workflows
Coming soon. (Model –> Mira –> Funman)
Overview
Target Users:
The modeling editing and validation workflow is meant for modelers or researchers who want to transform or extend an existing model in various ways, do model checks to ensure the changes were sensible, and finally, figure out valid model configurations for their new updated model.
For example, a modeler at a county health department begins with an existing model previously applied nationally, and wants to adapt it for their locality, in order to ask various policy-relevant questions. They want to ensure that the way they have adapted the model is sensible. Now that they have an updated model, they also need to find an updated set of parameter values to apply to it, that are relevant for their locality.
Features Supported:
Users may want to use this workflow to:
- Leverage an existing model or bring in a model from a paper
- Make structural model modifications such as stratification or removal of compartments
- Find an appropriate set of parameter configurations for updated models they create through structural modifications
- Check that their models obey some core common-sense rules, using Funman satisfiability checks
Modeling Editing Modalities
In the Terarium workbench, users can edit models either by writing Python code in a notebook-like environment or by using the built-in wizard. The wizard offers a simpler, more guided experience with buttons and toggles, making it easy to modify models without writing code. However, it’s less flexible than coding and doesn’t support some advanced edits.
Installation and Configuration Instructions
Please refer to the MIRA installation and configuration section to learn how to install MIRA.
Examples
Please refer to the MIRA documentation section to explore training material for interacting with MIRA template models using Python code.