Transition actions

No transition actions except signal emissions.

Description

There shall be no action in transitions except signal emission.

Rationale

This enforces compliance with a specific modeling standard by ensuring that state machine transition actions are either empty or limited to emitting signals.

Verification

This rule checks whether any state machine transition in the model contains an action other than emitting a signal, and fails if it finds one.

Resolution

Modify the offending transition, as detailed in the rule failure message.

Customization

N/A.