2025-09 - SysML v2 Pilot Implementation

This is an incremental update to the 2025-07 release. It corresponds to Eclipse plugin version 0.52.0.

Language Features

Bug fixes.

Model Libraries

None.

Backward Incompatibilities

1. Name Resolution. Name resolution has been corrected for certain cases of redefinition. For example, consider the following model:

   part def A {
       ref f;
   }
   
   part def B specializes A {
       ref redefines f {
             ref g;
       }
   }
   
   part def C specializes A, B {
       ref subsets f {
             ref redefines g; // ERROR: Couldn't resolve reference to Feature 'g'.
       }
   }
   

   Previously, this model generated the indicated error, because the name resolution algorithm traversed specializations in order, stopping if it found a resolution for the name. But, if the order of the specialized types was changed from A, B to B, A, then the error would go away. Now the redefinition for g resolves correctly regardless of the order of the specialization of A and B.
   [PR #686]

Jupyter

None.

Visualization (PlantUML)

Bug fix.

Technical Updates

None.

Bug Fixes

1. RootPackageTest. Corrected the KerML Xpect RootPackageTest so it is properly included in the test suite.
   [PR #685]
2. Name resolution. Fixed an anomaly in the resolution of the name of a redefined feature due to certain forms of diamond specialization.
   [PR #686]
3. Transition trigger visualization (PlantUML). Corrected the visualization of triggers on state transitions.
   [PR #689]
4. Individual definitions. Fixed the implicit specialization of individual definitions declared as anything more specific than an occurrence definition.
   [PR #693]
5. Semantic metadata. Fixed computation of the base type of an application of semantic metadata.
   [PR #701]