blob: 50d0291388fcf387696739d0ff1580cddaa8f914 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
|
\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} \\
|
