2025-12 - SysML v2 Pilot Implementation

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

Language Features

1. Library function evaluation. The following additional library functions are now implemented for non-model-level evaluation:

   • All SequnceFunctions
   • All CollectionFunctions
   • All ControlFunctions
   • DataFunctions::max and min

   In addition, model-level evaluable equality operators (== and !=) now work on Collections.
   [PR #727]

Model Libraries

None.

Backward Incompatibilities

None.

Jupyter

None.

Visualization (PlantUML)

None.

Technical Updates

1. BNF Extractor Tool. A BNF Extractor tool is now available in the directory tool-support/bnf-grammar. This tool extracts the normative BNF for the KerML textual notation and SysML textual and graphical notations from the corresponding specification documents. It then generates consolidated grammar files in text or HTML format. For details, see the README.adoc file in the bnf-grammar directory.
   [PR #720]

Bug Fixes

1. getEnumeratedValue and getVariant. Fixed the implementation of the EnumerationDefinition operations getEnumeratedValue and getVariant.
   [PR #723]
2. Actors and stakeholders. Fixed the implicit redefinition of actor and stakeholder parameters.
   [PR #724]
3. objects and subobjects. Corrected the implicit specialization of Objects::objects and Objects::Object::subobjects in certain cases for port usages and occurrence usages.
   [PR #725]