2024-11 - SysML v2 Pilot Implementation

This is an incremental update to the 2024-09 release (there was no 2024-10 release). It corresponds to Eclipse plugin version 0.46.0.

New Features

1. Terminate actions. A terminate action is used to terminate the performance of some other action. It has the form

   actionnameterminateexpression;

   The action part is optional. The expression evaluates to the action to be terminated. The terminated action ends its performance no later than the completion of the terminate action. If the expression is omitted, the default is the immediately containing action of the terminate action.

   action outerAction {
       in action a;
       action term_a terminate a; // terminates a
       then terminate; // terminates outerAction
   } 
   

   A terminate action usage may also be used to terminate a non-action occurrence (such as a part). In this case, the lifetime of the terminated occurrence must end no later than the completion of the terminate action. That is, the terminate action usage effectively "destroys" the terminated occurrence.

   part container {
       part component : Component[0..1];
       action act {
           assign component := Component(); // Create component
           then terminate component; // Destroy component
       }
   }
   

   [PR #597]

Backward Incompatibilities

1. Reserved words. New SysML keyword: terminate

Issue Resolutions

1. SysML Metamodel. The SysML concrete syntax, abstract syntax and model library have been updated consistent with the resolution of the following SysML v2 FTF issue.

   • SYSML2_-44 Transformation of UML4SysML::ActivityFinalNode is not specified yet

     [PR #597]

   The resolution to the following issue had already been substantially implemented, but the implementation has been further updated consistent with the final resolution.

   • SYSML2_-222 TransitionUsage source and target properties do not support feature chains

     [PR #602]

Jupyter

None.

Visualization (PlantUML)

Bug fix.

Technical Updates

1. Caching. Added clearing of the cached effectiveName and effectiveShortName of elements.

   [PR #595]

Bug Fixes

1. Port conjugation. Fixes the setting of the source and conjugatedType fields of a PortConjugation.

   [PR #596]

2. Transition usage. Fixes the parsing of the source of a transition usage when it is a feature chain.

   [PR #600]

3. Transition usage rendering (PlantUML). Fixes the rendering of transition usages to resolve its succession end features correctly.

   [PR #601}

4. Binding connections. Fixes the implicit subsetting of binding connections as usages in SysML models.

   [PR #603]