SFStateDE (Model) - Abstract

Inheritance

Ancestors

SFHasRefId

SFStateDE

Descendants

SFStateDE

SFEvent, SFData

Remarks

Aspects

SFStateAspect: SFState, State

Containment

Children: TypeBaseRef
Parents: SFState

Formal Specification

Structural Semantics: CyPhyML.4ml