\section{Protos models}

\subsection{Workflow process PartyParty}

\subsubsection{Process perspective}

\begin {center}
  \includegraphics[width=\textwidth]{Workflow_PartyParty_Top.png} \\
  Figure 2: Workflow process PartyParty (Top Half) \\
\end {center}

\begin {center}
  \includegraphics[width=\textwidth]{Workflow_PartyParty_Bottom.png} \\
  Figure 3: Workflow process PartyParty (Bottom Half)\\
\end {center}

\subsubsection{Resource perspective}

\begin {center}
  \includegraphics[width=\textwidth]{Resource_Perspective_PartyParty.png} \\
  Figure 4: Resource Perspective PartyParty \\
\end {center}

\begin{tabular}{|p{4cm}|p{8cm}|}
  \hline
  \textbf{Role}             & \textbf{Manager} \\ \hline
  Number of Persons         & 1 \\ \hline
  Cost                      & 0 \\ \hline
\end{tabular} \\

\begin{tabular}{|p{4cm}|p{8cm}|}
  \hline
  \textbf{Role}             & \textbf{Warehouse Manager} \\ \hline
  Number of Persons         & 2 \\ \hline
  Cost                      & 0 \\ \hline
\end{tabular} \\

\begin{tabular}{|p{4cm}|p{8cm}|}
  \hline
  \textbf{Role}             & \textbf{Administration Manager} \\ \hline
  Number of Persons         & 3 \\ \hline
  Cost                      & 0 \\ \hline
\end{tabular} \\

\begin{tabular}{|p{4cm}|p{8cm}|}
  \hline
  \textbf{Role}             & \textbf{Warehouse Employee} \\ \hline
  Number of Persons         & 10 \\ \hline
  Cost                      & 0 \\ \hline
\end{tabular} \\

\begin{tabular}{|p{4cm}|p{8cm}|}
  \hline
  \textbf{Role}             & \textbf{Store Employee} \\ \hline
  Number of Persons         & 10 \\ \hline
  Cost                      & 0 \\ \hline
\end{tabular} \\

\begin{tabular}{|p{4cm}|p{8cm}|}
  \hline
  \textbf{Role}             & \textbf{Logistics Employee} \\ \hline
  Number of Persons         & 3 \\ \hline
  Cost                      & 0 \\ \hline
\end{tabular} \\

\begin{tabular}{|p{4cm}|p{8cm}|}
  \hline
  \textbf{Role}             & \textbf{Chauffeur} \\ \hline
  Number of Persons         & 2 \\ \hline
  Cost                      & 0 \\ \hline
\end{tabular} \\

\begin{tabular}{|p{4cm}|p{8cm}|}
  \hline
  \textbf{Role}             & \textbf{Administration Employee} \\ \hline
  Number of Persons         & 5 \\ \hline
  Cost                      & 0 \\ \hline
\end{tabular} \\

\vspace{10 mm}

\begin{tabular}{|p{4cm}|p{8cm}|}
  \hline
  \textbf{Team}             & \textbf{Warehouse} \\ \hline
\end{tabular} \\

\begin{tabular}{|p{4cm}|p{8cm}|}
  \hline
  \textbf{Team}             & \textbf{Store} \\ \hline
\end{tabular} \\

\begin{tabular}{|p{4cm}|p{8cm}|}
  \hline
  \textbf{Team}             & \textbf{Administration} \\ \hline
\end{tabular} \\

\begin{tabular}{|p{4cm}|p{8cm}|}
  \hline
  \textbf{Team}             & \textbf{Logistics} \\ \hline
\end{tabular} \\

\subsubsection{Explanation}

  \newcounter{Lcount}
  \begin{list}{\Roman{Lcount}.}
    {\usecounter{Lcount}
    \setlength{\rightmargin}{\leftmargin}}
  \item After a Store Employee receives an order from a customer, there's 2 things that will need to be accomplished. The order has to be prepared to be shipped and payment for the order has to be received. These tasks can be performend in parallel of eachother, but can only finish when both tasks are completed.
  \item Unless an order is cancled by the customer by not paying the bill, the prepared order is then cancled and goods returned. There is a milestone in place to assure that the order is not shipped out before payment is received.
  \end{list}


\subsubsection{Task description}

\begin{tabular}{|p{1.5cm}|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 1          & Logistics employee      & The manager plans the logistics used for the shipment of the ordered goods. \\ \hline
  Confirm logistics 1       & Logistics employee      & The manager confirms the logistics after the payment has been received. \\ \hline
  Pay logistics 1           & Administrative 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 logistics 2          & Logistics employee      & The manager plans the logistics for the retrieval of the goods. \\ \hline
  Confirm logistics 2       & Logistics employee      & The manager confirms the logistics for the retrieval of the goods. \\ \hline
  Pay logistics 2           & Administrative 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}

\textbf{Order specifications:} \\
\begin{tabular}{|l|p{1.5cm}|c|c|c|c|}
  \hline
  \textbf{Subprocess} & \textbf{Object}           & \textbf{Mandatory} & \textbf{Created} & \textbf{Deleted} & \textbf{Changed} \\ \hline
  Main process        & Order                     & $\checkmark$       & $\checkmark$     &                  &                  \\ \hline
  Main process        & Receive cash              & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Create bill               & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Send bill                 & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Payment timeout           & $\checkmark$       &                  &                  & $\checkmark$     \\ \hline
  Main process        & Pick order                & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Inspect order             & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Plan logistics 1          & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Cancel order              & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Put back goods            & $\checkmark$       &                  &                  & $\checkmark$     \\ \hline
  Main process        & Cancel party              & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Refund                    & $\checkmark$       &                  & $\checkmark$     &                  \\ \hline
  Main process        & Plan logistics 2          & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Confirm logistics 2       & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Inspect goods             & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Send fine                 & $\checkmark$       &                  &                  & $\checkmark$     \\ \hline
  Main process        & Receive fine              & $\checkmark$       &                  & $\checkmark$     &                  \\ \hline
  Main process        & Fine timeout              & $\checkmark$       &                  &                  & $\checkmark$     \\ \hline
  Main process        & Paid by lawsuit           & $\checkmark$       &                  & $\checkmark$     &                  \\ \hline
\end{tabular} \\

\textbf{Customer specifications:} \\
\begin{tabular}{|l|p{1.5cm}|c|c|c|c|}
  \hline
  \textbf{Subprocess} & \textbf{Object}           & \textbf{Mandatory} & \textbf{Created} & \textbf{Deleted} & \textbf{Changed} \\ \hline
  Main process        & Order                     & $\checkmark$       & $\checkmark$     &                  &                  \\ \hline
  Main process        & Receive cash              & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Create bill               & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Send bill                 & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Payment timeout           & $\checkmark$       &                  &                  & $\checkmark$     \\ \hline
  Main process        & Payment received          & $\checkmark$       &                  &                  & $\checkmark$     \\ \hline
  Main process        & Cancel order              & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Cancel party              & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Refund                    & $\checkmark$       &                  & $\checkmark$     &                  \\ \hline
  Main process        & Send fine                 & $\checkmark$       &                  &                  & $\checkmark$     \\ \hline
  Main process        & Receive Fine              & $\checkmark$       &                  & $\checkmark$     &                  \\ \hline
  Main process        & Fine timeout              & $\checkmark$       &                  &                  & $\checkmark$     \\ \hline
  Main process        & Paid by lawsuit           & $\checkmark$       &                  & $\checkmark$     &                  \\ \hline
\end{tabular} \\

\textbf{Order price:} \\
\begin{tabular}{|l|p{1.5cm}|c|c|c|c|}
  \hline
  \textbf{Subprocess} & \textbf{Object}           & \textbf{Mandatory} & \textbf{Created} & \textbf{Deleted} & \textbf{Changed} \\ \hline
  Main process        & Order                     & $\checkmark$       & $\checkmark$     &                  &                  \\ \hline
  Main process        & Receive cash              & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Create bill               & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Send bill                 & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Payment received          & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Payment timeout           & $\checkmark$       &                  &                  & $\checkmark$     \\ \hline
  Main process        & Refund                    & $\checkmark$       &                  & $\checkmark$     &                  \\ \hline
  Main process        & Send fine                 & $\checkmark$       &                  &                  & $\checkmark$     \\ \hline
  Main process        & Receive fine              & $\checkmark$       &                  & $\checkmark$     &                  \\ \hline
  Main process        & Fine timeout              & $\checkmark$       &                  &                  & $\checkmark$     \\ \hline
  Main process        & Paid by lawsuit           & $\checkmark$       &                  & $\checkmark$     &                  \\ \hline
\end{tabular} \\

\textbf{Ordering list:} \\
\begin{tabular}{|l|p{1.5cm}|c|c|c|c|}
  \hline
  \textbf{Subprocess} & \textbf{Object}           & \textbf{Mandatory} & \textbf{Created} & \textbf{Deleted} & \textbf{Changed} \\ \hline
  Main process        & Order goods               & $\checkmark$       & $\checkmark$     &                  &                  \\ \hline
  Main process        & Receive goods             & $\checkmark$       &                  & $\checkmark$     &                  \\ \hline
\end{tabular} \\

\textbf{Order pick list:} \\
\begin{tabular}{|l|p{1.5cm}|c|c|c|c|}
  \hline
  \textbf{Subprocess} & \textbf{Object}           & \textbf{Mandatory} & \textbf{Created} & \textbf{Deleted} & \textbf{Changed} \\ \hline
  Main process        & Pick order                & $\checkmark$       & $\checkmark$     &                  &                  \\ \hline
  Main process        & Order goods               & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Receive goods             & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Inspect order             & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & AND-join                  & $\checkmark$       &                  & $\checkmark$     &                  \\ \hline
\end{tabular} \\

\textbf{Logistics plan:} \\
\begin{tabular}{|l|p{1.5cm}|c|c|c|c|}
  \hline
  \textbf{Subprocess} & \textbf{Object}           & \textbf{Mandatory} & \textbf{Created} & \textbf{Deleted} & \textbf{Changed} \\ \hline
  Main process        & Plan logistics 1          & $\checkmark$       & $\checkmark$     &                  &                  \\ \hline
  Main process        & Confirm logistics 1       & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Pay logistics 1           & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Deliver goods             & $\checkmark$       &                  & $\checkmark$     &                  \\ \hline
  Main process        & Plan logistics 2          & $\checkmark$       & $\checkmark$     &                  &                  \\ \hline
  Main process        & Confirm logistics 2       & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Pay logistics 2           & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Pick up goods             & $\checkmark$       &                  & $\checkmark$     &                  \\ \hline
\end{tabular} \\

\textbf{Chauffeur id:} \\
\begin{tabular}{|l|p{1.5cm}|c|c|c|c|}
  \hline
  \textbf{Subprocess} & \textbf{Object}           & \textbf{Mandatory} & \textbf{Created} & \textbf{Deleted} & \textbf{Changed} \\ \hline
  Main process        & Plan logistics 1          & $\checkmark$       & $\checkmark$     &                  &                  \\ \hline
  Main process        & Confirm logistics 1       & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Pay logistics 1           & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Deliver goods             & $\checkmark$       &                  & $\checkmark$     &                  \\ \hline
  Main process        & Plan logistics 2          & $\checkmark$       & $\checkmark$     &                  &                  \\ \hline
  Main process        & Confirm logistics 2       & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Pay logistics 2           & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Pick up goods             & $\checkmark$       &                  & $\checkmark$     &                  \\ \hline
\end{tabular} \\

\textbf{Jurisdictional rules:} \\
\begin{tabular}{|l|p{1.5cm}|c|c|c|c|}
  \hline
  \textbf{Subprocess} & \textbf{Object}           & \textbf{Mandatory} & \textbf{Created} & \textbf{Deleted} & \textbf{Changed} \\ \hline
  Main process        & Send fine                 & $\checkmark$       & $\checkmark$     &                  &                  \\ \hline
  Main process        & Receiver fine             & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Fine timeout              & $\checkmark$       &                  &                  &                  \\ \hline
  Main process        & Paid by lawsuit           & $\checkmark$       &                  & $\checkmark$     &                  \\ \hline
\end{tabular} \\

\textbf{Warehouse employee id:} \\
\begin{tabular}{|l|p{1.5cm}|c|c|c|c|}
  \hline
  \textbf{Subprocess} & \textbf{Object}           & \textbf{Mandatory} & \textbf{Created} & \textbf{Deleted} & \textbf{Changed} \\ \hline
  Main process        & Inspect order             & $\checkmark$       & $\checkmark$     & $\checkmark$     &                  \\ \hline
  Main process        & Inspect goods             & $\checkmark$       & $\checkmark$     & $\checkmark$     &                  \\ \hline
\end{tabular} \\

\textbf{Cancelation form:} \\
\begin{tabular}{|l|p{1.5cm}|c|c|c|c|}
  \hline
  \textbf{Subprocess} & \textbf{Object}           & \textbf{Mandatory} & \textbf{Created} & \textbf{Deleted} & \textbf{Changed} \\ \hline
  Main process        & Cancel order              & $\checkmark$       & $\checkmark$     &                  &                  \\ \hline
  Main process        & Put back goods            & $\checkmark$       &                  & $\checkmark$     &                  \\ \hline
  Main process        & Cancel party              & $\checkmark$       & $\checkmark$     &                  &                  \\ \hline
  Main process        & Refund                    & $\checkmark$       &                  & $\checkmark$     &                  \\ \hline
\end{tabular} \\
