control-node-outgoing-successions

Available in: SysML

This checks that succession source ends to control nodes have a multiplicity of [1..1] if it is explicit.

Specification

All outgoing Successions from a ControlNode must have a source multiplicity of 1..1.

Example

action {
    action a;
    action b;

    first start;
    then fork F;
        first [0..1] F then a; // error: Outgoing succession from a control node must have a source multiplicity of `[1..1]`, instead has `[0..1]`
        first [1..1] F then b; // ok
}

Leave default multiplicities as-is:

action {
    action a;
    action b;

    first start;
    then fork F;
        first F then a; // ok
        first F then b; // ok
}

---

All validation rules