BioSimulations Logo - Bio and Simulations are bisected by a circular icon of two arrows interwoven like a DNA molecule

Validate COMBINE Project

Verify full COMBINE/OMEX simulation archives (.omex, .zip) with granular checking of manifests, SED-ML experiment workflows, computational models, metadata annotations, and digital assets.

Input Source & Settings

Select a local file or provide a public URL to validate.

Archive Specs
Validate OMEX Manifest (manifest.xml)

Verifies that all entries within the archive are cataloged with recognized COMBINE MIME types or format identifiers.

Validate SED-ML Experiments

Validates syntax, tasks, data generators, MathML expressions, and KiSAO algorithms across all SED-ML documents.

Validate Linked Simulation Models

Checks the internal syntax and validity of computational models (SBML, CellML, BNGL, etc.) referenced by SED-ML tasks.

Validate OMEX Metadata Documents

Checks semantic annotations, authorship attribution, open licenses, and biological descriptors across metadata documents.

Validate Image & Thumbnail Assets

Verifies the formatting and integrity of image files (PNG, JPEG, WEBP, etc.) bundled in the project.

Format Specs

XML serialization of RDF graphs. Standard format required for publishing project metadata to BioSimulations.

Enforces BioSimulations conventions and minimal required properties (title, creators, description, license) needed for publication.

Validates general RDF graph syntax and ontology triples without domain-specific BioSimulations publishing restrictions.

Project Archive Scope & Requirements:

An OMEX Manifest (manifest.xml) is required to parse and validate internal OMEX Metadata documents. If manifest checking is disabled, metadata validation should also be toggled off.

File uploads are limited to 64 MB (archives up to 1 GB can be submitted via URL). Sample COMBINE archives are available in the BioSimulators test suite examples .

Drop COMBINE/OMEX archive here (.omex, .zip)
or click to browse from your device
Accepted formats:.omex.zip

Local & CI/CD Validation

Validate your COMBINE/OMEX archive locally from the terminal using biosimulators-utils.

biosimulators-utils validate-project path/to/archive.omex

COMBINE Project Verification Criteria

To guarantee reproducibility across biological modeling tools, COMBINE/OMEX archives undergo five-stage verification:

Manifest Declaration: Verifies that every archive entry is declared in manifest.xml with valid format URIs.
SED-ML Experiments: Ensures simulation tasks, uniform time courses, data generators, and output definitions are fully compliant with SED-ML Level 1.
Linked Model Consistency: Verifies syntax of model documents (SBML, CellML, BNGL, etc.) and ensures that SED-ML model source targets exist.
BioSimulations Metadata: Validates that OMEX metadata graphs include required provenance: titles, abstracts, creator ORCID identifiers, and open licenses.
Media & Image Integrity: Verifies that diagram previews, charts, and thumbnails can be read and decoded correctly.

Publishing to BioSimulations

All simulation projects submitted to the BioSimulations repository must pass archive validation checks to ensure long-term reproducibility and discoverability.

Ready to simulate your project? Run Simulation