\section{PaWS}

The introduction page presents general information about PaWS and PIPS
in the panel on the left side, as it is shown in the Figure~\ref{fig:intro_page}.

\begin{figure}[h!]
  \centering
  \includegraphics[width=0.8\textwidth]{reportCh4/intro_page}
  \caption{PaWS Introduction page.}
  \label{fig:intro_page}
\end{figure}

The left side panel allows the user to choose a mode and its concrete
tool or demonstration. To do it, the user has to click on the tab of
the chosen pass or demonstration. The tab is expanded (see
Figure~\ref{fig:expanded_tab}) with more detailed information and
links to the actual pages are made visible.

\begin{figure}[h!]
  \centering
  \includegraphics[width=1.0\textwidth]{reportCh4/expanded_tab}
  \caption{Expanded preconditions tab.}
  \label{fig:expanded_tab}
\end{figure}

To come back to the introduction page, the user can use the logo image
(see Figure \ref{fig:logo_image}) as a clickable link.

\begin{figure}[h!]
  \centering
  \includegraphics[width=0.2\textwidth]{reportCh4/logo_image}
  \caption{Logo image as home page link.}
  \label{fig:logo_image}
\end{figure}