state-definition-state-subaction-kind

Available in: SysML

This checks that state definitions own at most one of each entry, do, and exit subactions.

Specification

A StateDefinition must not have more than one owned StateSubactionMembership of each kind.

Example

action a;
state def S {
    entry a;
    entry a; // error
}

Remove the additional subactions:

action a;
state def S {
    entry a; // ok
}