State Machines

Generated from the sysml-rs language pack — see the Language Reference index for provenance, licensing, and the raw JSON. 8 cards.

At Most One Transition Fires Per Trigger

KerML — kerml.validation.at-most-one-transition-fires-per-trigger

At most one outgoing transition fires per trigger (via accepted[0..1] + isDispatch).

Normative clauses: KerML §9.2.11.1

Support (sysml-rs): parse unknown · resolve unknown · elaborate unknown · execute unknown

At Most One Each Subaction Kind

SysML — sysml.validation.at-most-one-each-subaction-kind

≤1 entry, ≤1 do, ≤1 exit per state.

Normative clauses: SysML §8.3.18.5

Support (sysml-rs): parse unknown · resolve unknown · elaborate unknown · execute unknown

Entry Do Exit Ordering

SysML — sysml.validation.entry-do-exit-ordering

Entry completes → do starts and runs while active → on exit, do interrupted, exit runs to completion.

Normative clauses: SysML §7.18.1

Support (sysml-rs): parse unknown · resolve unknown · elaborate unknown · execute unknown

Initial State Via Entry Succession

SysML — sysml.validation.initial-state-via-entry-succession

The initial substate is the target of a succession from the entry action.

Normative clauses: SysML §7.18.2

Support (sysml-rs): parse unknown · resolve unknown · elaborate unknown · execute unknown

No Transition On Unmatched Event

SysML — sysml.validation.no-transition-on-unmatched-event

An event matching no outgoing transition of the current state leaves the machine in place (no spurious firing).

Normative clauses: SysML §7.18.3

Support (sysml-rs): parse unknown · resolve unknown · elaborate unknown · execute unknown

Transition Firing Order Exit Effect Entry

SysML — sysml.validation.transition-firing-order-exit-effect-entry

Firing sequence: interrupt source do → source exit → transition effect → target entry → target do.

Normative clauses: SysML §7.18.3

Support (sysml-rs): parse unknown · resolve unknown · elaborate unknown · execute unknown

Transition Guard Boolean

SysML — sysml.validation.transition-guard-boolean

A transition guard is a Boolean[1..1] expression that must be true for the transition to occur.

Normative clauses: SysML §7.18.3

Support (sysml-rs): parse unknown · resolve unknown · elaborate unknown · execute unknown

Transition Selection

SysML — sysml.validation.transition-selection

An accepted event-triggered transition fires and moves the machine to its named target state.

Normative clauses: SysML §7.18.3

Support (sysml-rs): parse unknown · resolve unknown · elaborate unknown · execute unknown