fork-node-incoming-successions

Available in: SysML

This checks that unique decisions are succeeded to only once.

Specification

A ForkNode may have at most one incoming Succession.

Example

action {
    action a;
    action b;

    first start;
    then fork f; // error: A fork node may have at most one incoming succession
        then a;
        then b;

    first b then f;
}

Use a decision node as succession target only once:

action {
    action a;
    action b;

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

---

All validation rules