State (Model)

Inheritance

Ancestors

HasRefId

TransConnector

State

Attributes

Attribute name Description
Decomposition {AND_STATE;;OR_STATE;;FUNC_STATE;;GROUP_STATE;}

Remarks

StateFlow state.

Aspects

SFStateAspect: SFState, State

Containment

Children: Automata, Choice, Conditional, ConnectorRef, Data, DeepHistory, Entry, Event, Exit, Fork, History, Join, RhapsodyChart, SF_Junction, ShallowHistory, State, StateDE, StateFlow, Terminate, TransConnector, Transition, TransStart, UMLStateMachine
Parents: Block, State, Subsystem

Formal Specification

Structural Semantics: CyPhyML.4ml