SYSML2_ — ObjectFlow with guards outgoing from DecisionNodes are not mapped correctly

An object flow with a guard is mapped to a conditional succession and a succession flow. Conditional succession targets the succession flow. Both have the decision node as the source element. However, only one succession outgoing decision node can be taken.

Change the mapping to:

first sourceNode if guardCondition.result then objectFlow {
  constraint guardCondition {
    bind result = guardCondition.result;
    calc guardCondition {
      language "English"
      /*
       * guard says ok
       */
    }
}
flow objectFlow from sourceNode to targetNode;
first source then target;

The source and target of the flow succession are parameters (the target elements of the corresponding SysML v1 ObjectNodes). The source and target of the succession are the owner of the object nodes. Exceptional cases are control nodes.