Bundled example corpus · sample/examples/
Examples
Every model the repository ships, and honestly what the platform can do with each one.
sample/examples/ holds 98 files: five bundled example sets
(96 model files from five upstream projects) and four more upstream examples
that are fetched by a script because their licence or size keeps them out of
the repository. This page is generated from
sample/examples/README.md, so the licence table can never drift
from what is actually committed. The state of each example — loadable,
read-only, or refused — is stated, never overclaimed.
01 / The corpus
Every bundled example, with its licence and its honest state.
The four states below are the whole story. Loadable is
XMI — the one format the platform imports and writes back today.
Read-only (viewer) is SysML v2 textual and Capella/Arcadia,
both carried as Direction::ImportOnly: they import, they do not
write back, and an export attempt is refused naming the direction. Neither
Capella example is bundled here — both are EPL-2.0 and fetched outside
the repository — so on this page the state is exercised by the SysML v2
examples.
Large / refused is the one XMI export whose migration needs
losses accepted by hand. Not importable is Gaphor’s own
format, for which no binding exists. No bundled example is Loadable today:
the only XMI in the bundle is the Thirty Meter Telescope, and it is refused
pending acceptance — the one small loadable XMI, the MagicDraw coffee
machine, lives in sample/corpus/ and is the showcase’s
seeded coffee-machine project (see what
loads today).
-
Loadable
XMI. The platform imports it today and writes it back — a round-trip, not a screenshot.
-
Read-only · viewer
SysML v2 textual. Carried by mw-binding-sysmlv2 as Direction::ImportOnly — it can be read, not written back.
-
Large · refused pending acceptance
XMI (the loadable format), but 36 MB and its migration needs 48,553 blocking losses (45,725 unmappable + 2,828 lossy) accepted by hand before it loads.
-
Not importable
Gaphor's own .gaphor XML, not OMG XMI. No Gaphor binding exists today, so the reader cannot open it.
Bundled — present in this repository
| Example | Upstream repo | Licence | What it demonstrates | State today |
|---|---|---|---|---|
Thirty Meter Telescope
sysml-v1/openmbee-tmt
|
Open-MBEE/TMT-SysML-Model |
Apache-2.0 (LICENSE) + Caltech BSD-style (COPYRIGHT) | The Thirty Meter Telescope: a real Cameo/MagicDraw SysML v1 export. This is the content-rich vendor model the XMI reader is measured against (engine/binding-xmi/tests/real_tmt.rs). | Large · refused pending acceptance |
Gaphor examples
sysml-v1/gaphor-examples
|
gaphor/gaphor (examples only) |
Apache-2.0 | Small single-concept SysML v1 models, including the canonical Gaphor coffee machine. Gaphor .gaphor is Gaphor's own XML format, not XMI - not importable by the current reader. | Not importable |
GfSE community models
sysml-v2/gfse-models
|
GfSE/SysML-v2-Models |
BSD-3-Clause | GfSE community SysML v2 models: system-of-systems, a family model, an Eve-Online mining frigate, SE_Models. Textual .sysml. | Read-only · viewer |
The Batmobile
sysml-v2/mbse4u-batmobile
|
MBSE4U/dont-panic-batmobile |
Apache-2.0 | The Batmobile from the 'Don't Panic' SysML v2 introduction. Textual .sysml + notebook. | Read-only · viewer |
Apollo 11 mission
sysml-v2/airbus-apollo-11
|
airbus/apollo-11-sysml-v2 |
MPL-2.0 | The Apollo 11 mission, a layered SysML v2 model (Purpose, Function, Logical, Requirements, ...). Textual .sysml. | Read-only · viewer |
Not bundled — fetch with the script
| Example | Upstream repo | Licence | Why it is not bundled |
|---|---|---|---|
OMG SysML v2 release
sysml-v2/omg-sysml-v2-release
|
Systems-Modeling/SysML-v2-Release (sysml/src, kerml/src) |
EPL-2.0 | Not AGPL-compatible. |
Capella samples
arcadia-capella/eclipse-capella-samples
|
eclipse-capella/capella (samples only) |
EPL-2.0 | Not AGPL-compatible. |
Capella IFE variant
arcadia-capella/dbinfrago-ife-variant
|
dbinfrago/Capella-IFE-sample |
EPL-2.0 (model) | Not AGPL-compatible. |
MBSE4U SysML v2 book examples
sysml-v2/mbse4u-sysmlv2-book
|
MBSE4U/the-sysmlv2-book-examples |
Apache-2.0 | Bundle-safe but ~90 MB (Cameo .mdszip); kept out of git for size. |
Each row’s path, upstream repo, commit, licence
and description are read straight from sample/examples/README.md; only
the state column is pinned in website/generate-examples.mjs. Regenerate
with node website/generate-examples.mjs. The not-bundled rows are the
examples the operator fetches locally — the repository ships the mechanism,
never the restricted content.
02 / Loadable today
What the showcase can actually open.
The showcase seeds six projects, and one of them is a real imported vendor
model: coffee-machine is the MagicDraw (CATIA Magic) SysML v1
corpus from sample/corpus/coffee-machine, carried through the XMI
reader — 41 blocks, 25 requirements, 66 graph nodes, 95 graph edges, every
loss named. The other five are hand-authored scenario models for the platform
itself (the cafe-stand two-robot trade study included).
Why no further small XMI example was added
Adding another small, genuinely-imported XMI project to the showcase turns out to be impossible today — not for lack of trying, but because there is nothing new to import:
- The MagicDraw corpus model is already seeded.
coffee-machineis exactly that model, so it is already a real imported XMI project a visitor can click into. - The Gaphor coffee machine is not XMI.
coffee-machine.gaphoris Gaphor’s own XML (<gaphor xmlns="https://gaphor.org/model">), not OMG XMI, and the engine has no Gaphor binding. It is bundled as corpus material, not forced into the showcase. - The Thirty Meter Telescope is refused. It is the one XMI in
sample/examples/, and its migration needs 48,553 blocking losses (45,725 unmappable + 2,828 lossy) accepted by hand (362 blocks, 633 edges, round-trips exactly). It is not a small example.
Reproduce the loadable set
The seeded coffee-machine project is the OKF result of the XMI
reader on the MagicDraw corpus. Reproduce the import and the round-trip:
cargo test -p mw-binding-xmi --test real_magicdraw -- --nocapture
cargo test -p mw-binding-xmi --test real_tmt -- --nocapture
cargo test -p mw-binding-sysmlv2 --test real_examples -- --nocapture
The seed is replayed from
docs/deploy/seed-trial.mjs and the host manifest every hour; see
docs/deploy/idc-1-trial.md.