\section{Protos models} \subsection{Workflow process A} \subsubsection{Process perspective} to do... \subsubsection{Resource perspective} to do... \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 & 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 1 & 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 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 \end{tabular} \\ \begin{tabular}{|p{1.5cm}|p{2.5cm}|p{8cm}|} \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 & $\checkmark$ & & & \\ \hline Main process & Cancel & $\checkmark$ & & $\checkmark$ & \\ \hline Main process & Cancel party & $\checkmark$ & & & \\ \hline Main process & Refund & $\checkmark$ & & $\checkmark$ & \\ \hline Main process & Plan \& confirm logistics & $\checkmark$ & & & \\ \hline Main process & Inspect goods & $\checkmark$ & & & \\ \hline Main process & Send fine & $\checkmark$ & & & $\checkmark$ \\ \hline Main process & Fine paid & $\checkmark$ & & $\checkmark$ & \\ \hline Main process & Send new fine & $\checkmark$ & & & $\checkmark$ \\ \hline Main process & Paid by lawsuit & $\checkmark$ & & $\checkmark$ & \\ \hline \end{tabular} \\ \subsection{Workflow process B} \subsubsection{Process perspective} to do... \subsubsection{Resource perspective} to do... \subsubsection{Task description} \begin{tabular}{|p{1.5cm}|p{2.5cm}|p{8cm}|} \hline \textbf{Name} & \textbf{Executor} & \textbf{Description} \\ \hline Inspect goods & Warehouse employee & The employee inspects the goods inside the warehouse for both freshness date and quantity. \\ \hline Check date & Warehouse employee & The employee checks the freshness date of a particular item. \\ \hline Throw away & Warehouse employee & The employee discards of the item if it expired it's date. \\ \hline Update register & Warehouse manager & The manager updates the register after an item is discarded. \\ \hline Check quantity & Warehouse employee & The employee checks the quantity of a particular item. \\ \hline Add to order & Warehouse employee & The employee adds the out of stock item to the ordering list. \\ \hline AND-join & System & \\ \hline Order goods & Warehouse manager & The manager orders the goods that are on the ordering list. \\ \hline Check goods & Warehouse employee & The employee checks the goods after an order arrives if it's complete. \\ \hline Check quality & Warehouse employee & The employee checks the quality of the incoming goods. \\ \hline Return goods & Warehouse employee & The employee returns the goods which were lacking quality. \\ \hline Check quantity & Warehouse employee & The employee checks if the quantity of the goods is correct. \\ \hline Order extra goods & Warehouse manager & The manager re-orders the missing items. \\ \hline AND-Join & System & \\ \hline Put in warehouse & Warehouse employee & The employee puts the incoming goods inside the warehouse. \\ \hline Register goods & Warehouse manager & The manager updates the register after the new items arrived. \\ \hline Search new warehouse & Manager & The manager searches for a suitable new warehouse. \\ \hline Return to supplier & Chauffeur & The chauffeur returns the goods to the supplier because of the lack of space in the warehouse. \\ \hline Plan \& confirm logistics & Logistics manager & The manager plans and confirms the logistics for the reshipment of the goods. \\ \hline Pay logistics & Logistics manager & The manager pays the logistics for the reshipment of the goods. \\ \hline Deliver goods & Chauffeur & The chauffeur delivers the goods to the new warehouse. \\ \hline \end{tabular} \\ \subsubsection{Data perspective} \textbf{Inspect Date 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 & Inspect goods & $\checkmark$ & $\checkmark$ & & \\ \hline Main process & Check date & $\checkmark$ & & & \\ \hline Main process & Throw away & $\checkmark$ & & & $\checkmark$ \\ \hline Main process & Update register & $\checkmark$ & & & \\ \hline Main process & And-join & $\checkmark$ & & & \\ \hline \end{tabular} \\ \textbf{Trow Away Documents:} \\ \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 goods & $\checkmark$ & $\checkmark$ & & \\ \hline Main process & Check date & $\checkmark$ & & & $\checkmark$ \\ \hline Main process & Throw away & $\checkmark$ & & & \\ \hline Main process & And-join & $\checkmark$ & & $\checkmark$ & \\ \hline \end{tabular} \\ \textbf{Inspect Quantity 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 & Inspect goods & $\checkmark$ & $\checkmark$ & & \\ \hline Main process & Check quantity & $\checkmark$ & & & $\checkmark$ \\ \hline Main process & Add to order & $\checkmark$ & & & \\ \hline Main process & And-join & $\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 & Inspect goods & $\checkmark$ & $\checkmark$ & & \\ \hline Main process & Check quantity & $\checkmark$ & & & \\ \hline Main process & Add to order & $\checkmark$ & & & $\checkmark$ \\ \hline Main process & And-join & $\checkmark$ & & & \\ \hline Main process & Order goods & $\checkmark$ & & & \\ \hline Main process & Check goods & $\checkmark$ & & & \\ \hline Main process & Check quality & & & & \\ \hline Main process & Return goods & & & & \\ \hline Main process & Check quantity & $\checkmark$ & & & \\ \hline Main process & Order extra goods & $\checkmark$ & & & \\ \hline Main process & And-join & $\checkmark$ & & $\checkmark$ & \\ \hline \end{tabular} \\ \textbf{Complaint 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 & Check goods & $\checkmark$ & $\checkmark$ & & \\ \hline Main process & Check quality & $\checkmark$ & & & $\checkmark$ \\ \hline Main process & Return goods & $\checkmark$ & & & \\ \hline Main process & And-join & $\checkmark$ & & $\checkmark$ & \\ \hline \end{tabular} \\ \textbf{Item 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 & And-join & $\checkmark$ & $\checkmark$ & & \\ \hline Main process & Put in warehouse & $\checkmark$ & & & $\checkmark$ \\ \hline Main process & Register goods & $\checkmark$ & & $\checkmark$ & \\ \hline Main process & Search new warehouse & $\checkmark$ & & & \\ \hline Main process & Return to supplier & $\checkmark$ & & & \\ \hline Main process & Plan \& confirm logistics & $\checkmark$ & & & \\ \hline Main process & Pay logistics & & & & \\ \hline Main process & Deliver goods & $\checkmark$ & & & \\ \hline \end{tabular} \\ \textbf{Item checklist:} \\ \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 & Put in warehouse & $\checkmark$ & $\checkmark$ & & \\ \hline Main process & Register goods & $\checkmark$ & & $\checkmark$ & \\ \hline \end{tabular} \\ \textbf{Warehouses 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 & Search new warehouse & $\checkmark$ & $\checkmark$ & & \\ \hline Main process & Return to supplier & $\checkmark$ & & $\checkmark$ & \\ \hline Main process & Plan \& confirm logistics & $\checkmark$ & & & \\ \hline Main process & Deliver goods & $\checkmark$ & & $\checkmark$ & \\ \hline \end{tabular} \\ \textbf{Logistics documents:} \\ \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 & Return to supplier & $\checkmark$ & & & \\ \hline Main process & Plan \& confirm logistics & $\checkmark$ & $\checkmark$ & & \\ \hline Main process & Pay logistics & $\checkmark$ & & & \\ \hline Main process & Deliver goods & $\checkmark$ & & $\checkmark$ & \\ \hline \end{tabular} \\ \textbf{Supplier documents:} \\ \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 & Add to order & $\checkmark$ & & & \\ \hline Main process & Order goods & $\checkmark$ & & & \\ \hline Main process & Check goods & $\checkmark$ & & & \\ \hline Main process & Check quality & & & & \\ \hline Main process & Return goods & $\checkmark$ & & & \\ \hline Main process & Check quantity & & & & \\ \hline Main process & Order extra goods & $\checkmark$ & & & \\ \hline Main process & Return to supplier & $\checkmark$ & & & \\ \hline \end{tabular} \\ \textbf{Warehouse register:} \\ \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 goods & $\checkmark$ & & & \\ \hline Main process & Update register & $\checkmark$ & & & $\checkmark$ \\ \hline Main process & Put in warehouse & $\checkmark$ & & & \\ \hline Main process & Register goods & $\checkmark$ & & & $\checkmark$ \\ \hline Main process & Return to supplier & $\checkmark$ & & & $\checkmark$ \\ \hline Main process & Search new warehouse & $\checkmark$ & & & \\ \hline Main process & Deliver goods & $\checkmark$ & & & \\ \hline \end{tabular} \\ \textbf{Financial register:} \\ \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$ & & & \\ \hline Main process & Order extra goods & $\checkmark$ & & & \\ \hline Main process & Return to supplier & $\checkmark$ & & & \\ \hline Main process & Search new warehouse & $\checkmark$ & & & \\ \hline Main process & Plan \& confirm logistics & $\checkmark$ & & & \\ \hline Main process & Pay logistics & $\checkmark$ & & & $\checkmark$ \\ \hline \end{tabular} \\ %\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 & Inspect goods & $\checkmark$ & & & \\ \hline % Main process & Check date & $\checkmark$ & & & \\ \hline % Main process & Throw away & $\checkmark$ & & & \\ \hline % Main process & Update register & $\checkmark$ & & & \\ \hline % Main process & Check quantity & $\checkmark$ & & & \\ \hline % Main process & Add to order & $\checkmark$ & & & \\ \hline % Main process & And-join & $\checkmark$ & & & \\ \hline % Main process & Order goods & $\checkmark$ & & & \\ \hline % Main process & Check goods & $\checkmark$ & & & \\ \hline % Main process & Check quality & $\checkmark$ & & & \\ \hline % Main process & Return goods & $\checkmark$ & & & \\ \hline % Main process & Check quantity & $\checkmark$ & & & \\ \hline % Main process & Order extra goods & $\checkmark$ & & & \\ \hline % Main process & And-join & $\checkmark$ & & & \\ \hline % Main process & Put in warehouse & $\checkmark$ & & & \\ \hline % Main process & Register goods & $\checkmark$ & & & \\ \hline % Main process & Return to supplier & $\checkmark$ & & & \\ \hline % Main process & Search new warehouse & $\checkmark$ & & & \\ \hline % Main process & Plan \& confirm logistics & $\checkmark$ & & & \\ \hline % Main process & Pay logistics & $\checkmark$ & & & \\ \hline % Main process & Deliver goods & $\checkmark$ & & & \\ \hline %\end{tabular} \\ \textbf{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 & Check date & $\checkmark$ & & & \\ \hline Main process & Check quantity & $\checkmark$ & & & \\ \hline Main process & Check quality & $\checkmark$ & & & \\ \hline Main process & Check quantity & $\checkmark$ & & & \\ \hline \end{tabular} \\ %\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 & Inspect goods & $\checkmark$ & & & \\ \hline % Main process & Check date & $\checkmark$ & & & \\ \hline % Main process & Throw away & $\checkmark$ & & & \\ \hline % Main process & Update register & $\checkmark$ & & & \\ \hline % Main process & Check quantity & $\checkmark$ & & & \\ \hline % Main process & Add to order & $\checkmark$ & & & \\ \hline % Main process & And-join & $\checkmark$ & & & \\ \hline % Main process & Order goods & $\checkmark$ & & & \\ \hline % Main process & Check goods & $\checkmark$ & & & \\ \hline % Main process & Check quality & $\checkmark$ & & & \\ \hline % Main process & Return goods & $\checkmark$ & & & \\ \hline % Main process & Check quantity & $\checkmark$ & & & \\ \hline % Main process & Order extra goods & $\checkmark$ & & & \\ \hline % Main process & And-join & $\checkmark$ & & & \\ \hline % Main process & Put in warehouse & $\checkmark$ & & & \\ \hline % Main process & Register goods & $\checkmark$ & & & \\ \hline % Main process & Return to supplier & $\checkmark$ & & & \\ \hline % Main process & Search new warehouse & $\checkmark$ & & & \\ \hline % Main process & Plan \& confirm logistics & $\checkmark$ & & & \\ \hline % Main process & Pay logistics & $\checkmark$ & & & \\ \hline % Main process & Deliver goods & $\checkmark$ & & & \\ \hline %\end{tabular} \\