merge-node-incoming-successions

Available in: SysML

This checks that successions to merge nodes have a source multiplicity of [0..1] if it is explicit.

Specification

All incoming Successions to a MergeNode must have a source multiplicity of 0..1.

Example

action {
    action a;
    action b;

    first [1..1] a then M; // error: Incoming succession to a merge node must have a source multiplicity of `[0..1]`, instead has `[1]`
    first [1..1] b then M; // error: Incoming succession to a merge node must have a source multiplicity of `[0..1]`, instead has `[1]`
    merge M;
}

Leave default multiplicities, or use [0..1]:

action {
    action a;
    action b;

    first a then M; // ok
    first [0..1] b then M; // ok
    merge M;
}

---

All validation rules