···240240 \caption{System overview diagram}
241241\end{figure}
242242243243+In the context of the system overview diagram, internal protocols for the game are also added. Figure~\ref{fig:protocols} provides them all.
244244+245245+\begin{figure}[htp]
246246+ \centering
247247+ \subfloat[Bidding protocol]{\includegraphics[keepaspectratio,scale=0.45]{pdt/images/protocols/Bidding_protocol.png}}
248248+ \subfloat[Game protocol]{\includegraphics[keepaspectratio,scale=0.45]{pdt/images/protocols/Game_protocol.png}}\\
249249+ \subfloat[Dealing protocol]{\includegraphics[keepaspectratio,scale=0.45]{pdt/images/protocols/Dealing_protocol.png}}\\
250250+ \subfloat[First bid protocol]{\includegraphics[keepaspectratio,scale=0.45]{pdt/images/protocols/First_bid_protocol.png}}
251251+ \subfloat[Communication protocol]{\includegraphics[keepaspectratio,scale=0.45]{pdt/images/protocols/Communication_protocol.png}}\\
252252+ \subfloat[Join the game protocol]{\includegraphics[keepaspectratio,scale=0.45]{pdt/images/protocols/Join_game_protocol.png}}
253253+ \subfloat[Wake up dealer procotol]{\includegraphics[keepaspectratio,scale=0.45]{pdt/images/protocols/Wake_up_dealer_protocol.png}}
254254+ \label{fig:protocols}
255255+ \caption{Protocols for agent coordination}
256256+\end{figure}
257257+258258+243259\section{Detailed Design}\label{sec:detaildesign}
244260245245-In this phase, the internals of each agent are developed in terms of capabilities, events, plans and data at the level of individual agents.
261261+In this phase, the internals of each agent are developed in terms of capabilities, events, plans and data.
246262247263\subsection{Agent Overview Diagram}
248264The agent overview diagram shows the internals of an agent. Thus, there is one agent overview diagram for every agent in the system: the dealer, the gatekeeper, the 5 non-player character and the notary. Their diagrams are respectively provided in Figure~\ref{fig:dealer}, Figure~\ref{fig:notary}, Figure~\ref{fig:gatekeeper} and Figure~\ref{fig:nonplay-char}.