|
@@ -69,7 +69,7 @@ Figure \ref{fig:sc_flat1} shows a very simple statechart with initial state $A$.
|
|
|
\begin{figure}
|
|
|
\centering
|
|
|
\includegraphics{sc_flat1}
|
|
|
-\caption{}
|
|
|
+\caption{Simple flat statechart}
|
|
|
\label{fig:sc_flat1}
|
|
|
\end{figure}
|
|
|
|
|
@@ -135,7 +135,7 @@ There are more semantic choices to be made when we introduce internal events.
|
|
|
\begin{figure}
|
|
|
\centering
|
|
|
\includegraphics{sc_flat2}
|
|
|
-\caption{}
|
|
|
+\caption{Flat statechart with internal events}
|
|
|
\label{fig:sc_flat2}
|
|
|
\end{figure}
|
|
|
|
|
@@ -231,7 +231,7 @@ Even if the first strategy does not require an extension of the syntax or semant
|
|
|
\begin{figure}
|
|
|
\centering
|
|
|
\includegraphics{sc_flat4}
|
|
|
-\caption{}
|
|
|
+\caption{Example statechart with ambiguous transitions in state $A$ if $x == 0$}
|
|
|
\label{fig:sc_flat4}
|
|
|
\end{figure}
|
|
|
|
|
@@ -574,7 +574,7 @@ Figure \ref{fig:big_step_maximality} shows a statechart with 2 orthogonal region
|
|
|
\begin{figure}
|
|
|
\centering
|
|
|
\includegraphics{big_step_maximality}
|
|
|
-\caption{}
|
|
|
+\caption{Example statechart for Big-Step Maximality}
|
|
|
\label{fig:big_step_maximality}
|
|
|
\end{figure}
|
|
|
|
|
@@ -651,7 +651,7 @@ In the statechart in Figure \ref{fig:sc_event_lifeline}, suppose a big-step star
|
|
|
\begin{figure}
|
|
|
\centering
|
|
|
\includegraphics{sc_event_lifeline}
|
|
|
-\caption{}
|
|
|
+\caption{Example statechart for Event Lifeline}
|
|
|
\label{fig:sc_event_lifeline}
|
|
|
\end{figure}
|
|
|
|
|
@@ -697,7 +697,7 @@ For the statechart in Figure \ref{fig:memory_protocol}, suppose we choose \texts
|
|
|
\begin{figure}
|
|
|
\centering
|
|
|
\includegraphics[]{memory_protocol}
|
|
|
-\caption{}
|
|
|
+\caption{Example statechart for Memory Protocol}
|
|
|
\label{fig:memory_protocol}
|
|
|
\end{figure}
|
|
|
|