UML/SysML: If you have a Boolean "state flag" attribute corresponding to a State you MUST set it on an 'entry' of the State, not on the 'effect' of a Transition into the State (otherwise with multiple incoming Transitions it could be WET and breaks SSoT).

Icon class
icon_class
far fa-sticky-note
icon_class_computed
far fa-sticky-note
Note kind
POLICY
Policy level
STRICT
Specification keywords
fUML-1.3
fUML-1.4
SysML-1.6
SysML-1.7
SysMLv2
UML-2.5.1
UML keywords
StateMachine
State::entry
Transition
attribute
SysMLv1.x keywords
value property
Keywords
Relates to
22: Mini StateMachines for @Entity, PotentialPhysicalAsset, ActualPhysicalAsset
23: Mini StateMachine for DigitalTwin and DoAttach effect Activity
25: Effect Activities used by the acquisition case
Related notes
[POLICY]{STRONG} About the Single Source of Truth (SSOT) and Don't Repeat Yourself (DRY) principles
Related notes (backlinks)
Related snippets (extracts)
Visit also
Visit also (backlinks)