(a)
State model of
PrintHello
component
(b)
Java code generated from the state model
Figure 1:
State model of
PrintHello
component and the generated code.
