Featured Dataset
Pattern-Based Validation of SysML~v2 Models with Refinery
# SysML v2 Validator An automated, tool-independent validation framework for [SysML v2](https://www.omg.org/spec/SysML/2.0) models using the [Refinery](https://refinery.tools/) graph solver. ## Overview Modern cyber-physical and safety-criti
File Size46.1 MB
Data TypeDataset
Published2026
Licensecc-by-4.0
Total Views306
Total Downloads37
# SysML v2 Validator
An automated, tool-independent validation framework for [SysML v2](https://www.omg.org/spec/SysML/2.0) models using the [Refinery](https://refinery.tools/) graph solver.
## Overview
Modern cyber-physical and safety-critical systems involve engineers from multiple disciplines, increasing the risk of modeling errors. While effective validation tools exist for SysML v1, similar capabilities are not yet mature for SysML v2.
This project provides an **automated validation pipeline** that:
1. Connects to any [SysML v2 API](https://github.com/Systems-Modeling/SysML-v2-API-Services)-compatible server
2. Transforms the model into a [Refinery](https://refinery.tools/)-compatible representation
3. Evaluates user-defined **validation patterns** (structural pitfalls, flow analysis, multiplicity checks, etc.)
4. Returns **human-readable** interpreted results
An expressive pattern language allows organizations to define and execute their own rules. An initial set of patterns demonstrates common SysML v2 pitfalls.
## Repository Structure
“`
├── scripts/ # Python validation pipeline
│ ├── run_pipeline.py # Main entry point
│ ├── model_transformer.py # Fetch & transform models from the API
│ ├── build_refinery_problem.py # Assemble .problem files
│ ├── check_with_refinery.py # Run Refinery CLI via Docker
│ ├── inconsistency_interpreter.py # Human-readable output
│ ├── validation_pattern_utils.py # Pattern file parsing
│ ├── sync_projects_commits.py # CSV batch sync
│ ├── sysml_api.py # Shared SysML v2 API layer
│ ├── inconsistency_templates.json # Interpretation templates
│ └── sysml_models.csv # Example CSV for batch mode
├── config/ # Pipeline configuration files
│ ├── Whitelist.txt # Metamodel element type whitelist
│ ├── OppositePairs.txt # Opposite relation pairs
│ └── AdditionalRefineryAttributes.txt
├── metamodels/
│ └── metamodel.txt # SysML v2 metamodel in Refinery format
├── validation_patterns/ # Validation pattern definitions (.pat)
│ ├── P1.pat – P4.pat # Common pitfall patterns
│ ├── FlowValidationPatterns.pat
│ ├── StartAndDoneNodeIdentification.pat
│ ├── SuccessionMultiplicity.pat
│ └── LiteralValueCheck.pat
├── example_models/ # SysML v2 example models (.sysml)
├── showcase/ # Interactive web showcase (Docker Compose)
│ ├── backend/ # Flask API backend
│ ├── notebooks/ # Jupyter SysML notebook with examples
│ ├── css/, js/ # Frontend assets
│ ├── index.html # Showcase web UI
│ ├── api.Dockerfile # SysML v2 API Services image</di
📤 Share this page
Found this useful? Share it with your network.
Files are hosted on the source repository. Click download to access the full dataset.
Bajczi, Levente (2026). Pattern-Based Validation of SysML~v2 Models with Refinery. https://doi.org/10.5281/zenodo.19297800