transition-usage-trigger-actions

Available in: SysML

This checks that transitions that start not from states have no trigger actions (accept).

Specification

If the source of a TransitionUsage is not a StateUsage, then the TransitionUsage must not have any trigger_actions.

state S {
    action s;
    transition first s
        accept after 0 [SI::s] // error
        then s;
}

Remove the accept part:

state S {
    action s;
    transition first s // ok
        then s;
}

Or use state as source:

state S {
    state s;
    transition first s
        accept after 0 [SI::s] // ok
        then s;
}