1. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.
FRIEDENTHAL
A Practical Guide to SysML
The Systems Modeling Language
Third edition
Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

2. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.
CH11 - MODELING EVENT-BASED BEHAVIOR WITH STATE MACHINES
Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

3. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.
FIGURE 11.1
A state machine.
Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

4. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.
FIGURE 11.2
A state machine containing a single state.
Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

5. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.
FIGURE 11.3
Transitions between states.
Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

6. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.
FIGURE 11.4
Defining a transition effect using an activity.
Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

7. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.
FIGURE 11.5
Routing transitions.
Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

8. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.
FIGURE 11.6
Specifying shutdown using a choice pseudostate.
Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

9. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.
FIGURE 11.7
Transition-oriented notation.
Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

10. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.
FIGURE 11.8
A state machine driven by call events for operations on its owning block.
Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

11. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.
FIGURE 11.9
States nested within a composite state.
Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

12. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.
FIGURE 11.10
Entering and leaving a set of concurrent regions.
Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

13. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.
FIGURE 11.11
Illustration of transition firing order.
Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

14. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.
FIGURE 11.12
Recovering from an interruption using a history pseudostate.
Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

15. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.
FIGURE 11.13
A state machine with entry and exit points.
Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

16. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.
FIGURE 11.14
Invoking a substate machine.
Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.

17. Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.
FIGURE 11.15
State machine for H2O.
Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.