2025-10 - SysML v2 Pilot Implementation

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

Language Features

Bug fixes.

Model Libraries

None.

Backward Incompatibilities

1. Usage typing. KerML allows a feature to by typed by any other kind of type, including another feature. However, in SysML, a usage can only be typed by a definition (or a KerML classifier). Previously, the validation for this was not properly implemented for reference usages and usages with a user-defined keyword but no regular kind keyword. This has now been corrected, but, as a result, some models that previously validated may now produce errors.

   For example, the following model will now produce the indicated error, where there was no error before:

   attribute def A;
   attribute a;
   ref x : a, A; // ERROR: A usage must be typed by definitions.
   

   [PR #707]

2. Protected name visibility. Members of a type that are declared protected are supposed to be visible in specializations of the type but not otherwise outside the type's namespace. Previously, this was implemented correctly for qualified names, but a protected member could still be accessed using a feature chain. This has now been corrected, but, as a result, some models that previously parsed may not produce errors.

   For example, in the following model, the name b previously resolved in the feature chain p.b, but it will now produce a name resolution error:

   part p {
       public attribute a;
       protected attribute b;
       private attribute c;
   }
   
   alias a1 for p::a; // No error
   alias b1 for p::b; // Name resolution error
   alias c1 for p::c; // Name resolution error
   
   attribute a2 redefines p.a; // No error
   attribute b2 redefines p.b; // Name resolution error (previously no error)
   attribute b3 redefines p.c; // Name resolution error
   

   [PR #709]

Jupyter

1. JupyterLab 4.x. The Jupyter deployment has been updated for JupyterLab 4.x, the latest major revision available. Previous versions of JupyterLab and Jupyter Classic Notebook are no longer supported. (The Jupyter kernel for SysML v2 should still run with older versions, but keyword highlighting in the browser will not work.)
   [PR #696]

Visualization (PlantUML)

Bug fix.

Technical Updates

None.

Bug Fixes

1. Usage typing. Corrected the validation disallowing a usage to be typed by another usage in SysML.
   [PR #707]
2. Default multiplicities. Fixed the adding of a default multiplicity to a usage with a nested alias declaraion.
   [PR #708]
3. Protected name visibility. Fixed the incorrect visibility of protected names used in feature chains.
   [PR #709]
4. Transition visualization (PlantUML). Fixed a possible null pointer exception when a state model is loaded from the repository.
   [PR #710]