state-usage-state-subaction-kind
Available in: SysML
This checks that state usages own at most one of each entry, do, and exit
subactions.
Specification
A
StateUsagemust not have more than one ownedStateSubactionMembershipof eachkind.
Example
action a;
state s {
entry a;
entry a; // error
}
Remove the additional subactions:
action a;
state s {
entry a; // ok
}