1
Download Stateflow User's Guide
Transcript
Connective Junctions Connective Junctions Example: If-Then-Else Decision Construct This example shows the semantics of an if-then-else decision construct. State A is active Initially the Stateflow diagram is asleep. State A is active. Event E_one occurs and awakens the Stateflow diagram. Condition [C_two] is true. Event E_one is processed from the root of the Stateflow diagram down through the hierarchy of the Stateflow diagram. 1 The Stateflow diagram root checks to see if there is a valid transition as a result of E_one. There is a valid transition segment from state A to the connective junction. The transition segments beginning from a twelve o’clock position on the connective junction are evaluated for validity. The first transition segment labeled with condition [C_one] is not valid. The next 7-33
