Modify, update, add, edit as seems appropriate
- Statechart correctly implements relevant behaviors from sequence diagrams
- Initialization arc
- Each state has unique identifier and a state name (e.g. "S5.
INIT")
- Each arc has a guard condition stated with a unique identifier (e.g.,
"A7. bump==true")
- Each arc corresponds to at least one arc on at least one Sequence Diagram
- No side effects on arcs
- Each state has all side effects identified as being set to a value
- No use of boolean variables that could instead be expressed as states
- Each state has at least one entrance and one exit (except any intentional
"death states" to handle system failures).
Last update 10/12/2023: updated to clarify that statechart should correctly
implement relevant behaviors from sequence diagrams