\section{Protos models}

\subsection{Workflow process A}

\subsubsection{Process perspective}

to do...

\subsubsection{Resource perspective}

to do...

\subsubsection{Task description}

\begin{tabular}{|p{2cm}|p{2.5cm}|p{8cm}|}
  \hline
  \textbf{Name}             & \textbf{Executor}       & \textbf{Description} \\ \hline
  Order                     & Store employee          & The store employee takes an order of a customer. \\ \hline
  Receive cash              & Store employee          & The store employee receives the cash money from the customer. \\ \hline
  Create bill               & Administrative employee & The order is processed and the bill for the customer is being created. \\ \hline
  Send bill                 & Administrative employee & The bill is being send to the customer. \\ \hline
  Payment received          & Administrative manager  & The manager marks the order as being payed. \\ \hline
  Payment timeout           & System                  & \\ \hline
  Plan logistics            & Logistics manager       & The manager plans the logistics used for the shipment of the ordered goods. \\ \hline
  Confirm logistics         & Logistics manager       & The manager confirms the logistics after the payment has been received. \\ \hline
  Pay logistics             & Logistics manager       & The manager pays the logistics after the logistics have been confirmed. \\ \hline
  Pick order                & Warehouse employee      & The employee picks the needed goods for the order. \\ \hline
  Order goods               & Warehouse manager       & The manager orders the goods needed to complete the order. \\ \hline
  Receive goods             & Warehouse employee      & Employee $ e_1 $ receives the goods ordered by the manager to complete the order. \\ \hline
  Inspect order             & Warehouse employee      & Employee $ e_2 $, where $ e_1 \neq e_2 $, inspects the order for completeness. \\ \hline
  Cancel order              & Manager                 & The manager can decide to cancel an order \\ \hline
  Put back goods            & Store employee          & After a order is canceled the goods are placed back into the warehouse. \\ \hline
  Cancel party              & Manager                 & After the payment has been done and before the goods are being delivered, the party can be canceled by the manager. \\ \hline
  Deliver goods             & Chauffeur               & The chauffeur delivers the goods to the party. \\ \hline
  Refund                    & Administrative manager  & After the cancelation of a party the manager can refund the money paid by the customer. \\ \hline
  Plan \& confirm logistics & Logistics manager       & The manager plans and confirms the logistics for the retrieval of the goods. \\ \hline
  Pay logistics             & Logistics manager       & The manger pays the money for the logistics of the retrieval of the goods. \\ \hline
  Pick up goods             & Chauffeur               & The chauffeur retrieves the goods after the party has been held. \\ \hline
  Inspect goods             & Warehouse manager       & The manager inspects the retrieved goods for damages or missing parts. \\ \hline
  Send fine                 & Administrative employee & The employee sends a fine for the damaged or missing goods. \\ \hline
  Fine timeout              & System                  & \\ \hline
  Receive fine              & Administrative manager  & The manager has received the money for the fine. \\ \hline
  Paid by lawsuit           & Administrative manager  & The manager has sued the customer and eventually received the money. \\ \hline
\end{tabular} \\

\subsubsection{Data perspective}
