ST6RI-800 Terminate Actions

[seidewitz]

This PR implements a new capability for terminate actions in SysML v2, as specified in the resolution to the following issue approved on Ballot 4 of the SysML v2 Finalization Task Force.

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

Language

A terminate action usage is used to terminate the performance of some other action. It has the form

actionnameterminateexpression;

The action name (or other declaration information) is optional. The expression is evaluates to the action to be terminated. The terminated action ends its performance by the completion of the terminate action.

actionouterAction {     in actiona;     actionterm_aterminatea; // terminates a     then terminate; // terminates outerAction }

A terminate action usage may also be used to terminate a non-action occurrence. In this case, the lifetime of the terminated occurrence must end by the completion of the terminate action. That is, the terminate action usage effectively "destroys" the terminated occurrence.

partcontainer {     partcomponent : Component[0..1];     actionact {         assigncomponent := Component(); // Create component         then terminatecomponent; // Destroy component     } }

Model Library

The following elements are added to the Systems Library model Actions:

• action defTerminateAction – The base type for all terminate action usages.
• actionterminateActions – The base feature for all terminate action usages. It also provides the default for the terminated occurrence as the featuring occurrence of the terminate action (which will generally be a containing action).

The following feature is added to the base action definition Action:

• actionterminateSubactions – The subactions of an action that are terminate actions.

[seidewitz]

@ivan-gomes @manasbajaj This PR adds TerminateActionUsage to the SysML abstract syntax. The API implementation needs to be updated for this. The SysML.uml and SysML.ecore files are updated on the ST6RI-800 branch.