design: Track F — SysML v2 / KerML community engagement strategy#160
Merged
design: Track F — SysML v2 / KerML community engagement strategy#160
Conversation
Research-backed strategy doc for community engagement in the OMG SysML v2 / KerML ecosystem. Synthesizes two parallel research streams: (a) Audit of spar-sysml2: 7,167 LOC, zero TODOs/stubs, 59+ tests, 8 fully bidirectional concepts including the entire requirements roundtrip (satisfy/verify/refine/allocate/derive). Production-grade, not a stub. (b) Verified community landscape: KerML 1.0 + SysML v2 1.0 final adoption Jun 2025; OMG `Systems-Modeling/SysML-v2-AADL-Release` repo skeletal at 3 commits with named maintainers from Galois, CMU/SEI, Ellidiss; SMC free for OMG members; OMG fees re-confirmation needed (page auth-locked); Eclipse SysON via Obeo+CEA on 8-week cadence; Rust ecosystem positioning (syster-base by Microsoft is adjacent, not duplicate, since spar is the AADL side). Action plan: 30/60/90-day sequence anchored on the AADL-Release repo + named-maintainer outreach + Google Group + OMG issue tracker. Investment ladder with explicit Phase 1 ($2,150 Trial / $550 University) and Phase 2 ($3,000 Influencing Member) trigger criteria. Application text drafted for the sysml-v2-release Google Group (long + short versions). Risks + unknowns explicitly flagged including the auth-locked OMG fee page. No production code changes. Mirrors the Track D #152 / Track E #153 research-doc-first pattern. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
Codecov Report✅ All modified and coverable lines are covered by tests. 📢 Thoughts on this report? Let us know! |
Direct GitHub inspection of jade-codes/syster repos surfaced facts the initial research missed: - syster-base and syster-lsp have NO LICENSE files (only umbrella + syster-codegen + syster-cli are MIT). Default copyright is "all rights reserved" — code-level consumption is legally blocked until this is clarified. - Last commits Feb 14-24, 2026 (~2 months stale). Mostly repo-restructure + submodule shuffling, not feature work. Momentum cooled. - Architectural breadth is larger than initial Track F captured: full ecosystem (parser → codegen → CLI → Python wrapper → LSP → VS Code extensions → diagram core + UI). - syster-codegen (MIT) generates the parser from KEBNF grammar files. This is a real architectural asymmetry vs. spar-sysml2's hand-rolled parser — auto-conformance to future spec revisions for free. Not a v0.8.0 candidate; tracked as v0.9.0+ consideration. Refines §3 (Rust ecosystem) with license-status column flagging unlicensed subcrates. Adds §3.1 corrected picture, §3.2 refined positioning + cooperation policy, §3.3 KEBNF-codegen tracking note, §4.2 minimum-viable engagement criteria for syster (one license-clarification issue then stop until it's resolved). The cooperation policy reflects the user's stated preference: spar's SysML v2 work is a hobby track for an engineer whose day-job is already heavy on talking + doing. Cooperation must be a strategic asset, not a courtesy. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
454-line strategy doc synthesizing two parallel research streams (spar-sysml2 audit + community state research) into an actionable engagement plan for the OMG SysML v2 / KerML ecosystem.
Three findings reshape what we knew
spar-sysml2 is production-grade, not a stub. 7,167 LOC, zero `todo!()`/`unimplemented!()` macros, 59+ tests, lossless parsing verified, conformance tests against official Systems-Modeling spec examples. Eight concepts fully bidirectional, including the entire requirements roundtrip (`satisfy`/`verify`/`refine`/`allocate`/`derive`). That's the credibility marker.
OMG `Systems-Modeling/SysML-v2-AADL-Release` repo exists and is skeletal. Three commits, no tagged release, four named maintainers from Galois (Hugues), CMU/SEI (Seibel + Wrage), Ellidiss (Dissaux). Joint SAE+OMG output of the RTESC working group, targeting ARP4754/DO-178C/330/331/DO-254. Flows + modes are explicitly "not yet translated" per the README. This is exactly where spar's first contributions belong.
spar is not duplicating an existing Rust effort. Jade Wilson's `syster-base` (Microsoft, MIT, alpha) is the most mature Rust SysML v2 parser. It targets the SysML v2 side; spar targets AADL with SysML v2 emit. Adjacent, not duplicate.
Action plan (30/60/90-day sequence)
Investment ladder
$0 path (NCLA + Google Group + GitHub) → Phase 1 ($550 University if academic affiliation, else $2,150 Trial) → Phase 2 ($3,000 Influencing Member) — each with explicit decision triggers documented in §6.
Open issues (need user input)
Test plan
This is a documentation PR; no code changes.
🤖 Generated with Claude Code