decision-node-incoming-successions

Available in: SysML

This checks that unique decisions are succeeded to only once.

Specification

A DecisionNode may have at most one incoming Succession.

Example

action {
    action a;
    action b;

    first start;
    then decide d; // error: A decision node may have at most one incoming succession
        if true then a;
        else b;

    first b then d;
}

Use a decision node as succession target only once:

action {
    action a;
    action b;

    first start;
    then decide d; // ok
        if true then a;
        else b;
}

---

All validation rules