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

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.

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

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.

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

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.

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

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.

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

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.

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.

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.

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.

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.

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.

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.

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.