SFState (Model)

Inheritance

Ancestors

SFHasRefId

SFTransConnector

SFState

Attributes

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

Remarks

Aspects

SFStateAspect: SFState, State

Containment

Children: Automata, RhapsodyChart, SFChoice, SFConditional, SFConnectorRef, SFData, SFDeepHistory, SFEntry, SFEvent, SFExit, SFFork, SFHistory, SFJoin, SFJunction, SFShallowHistory, SFState, SFStateDE, SFTerminate, SFTransConnector, SFTransition, SFTransStart, StateFlow, UMLStateMachine
Parents: Block, SFState, Subsystem

Formal Specification

Structural Semantics: CyPhyML.4ml