xoEPC - Jan Mendling

More documents

Recommendations

Info

62 3. Event-driven Process Chains (EPC) Figure 3.10: Test Equipment Management EPC from the Quality Management branch of the SAP Reference Model
3.4. EPC Semantics 63 mann propose a transformation semantics for EPCs based on YAWL [MMN06a], we will discuss how the OR-join behavior is formalized in YAWL. In [AH05], the authors propose a definition of the transition relation R(P ) with a reference to a second transition relation P that ignores all OR-joins. A similar semantics that is calculated on history- logs of the process is proposed by Van Hee, Oanea, Serebrenik, Sidorova, and Voorhoeve in [HOS + 06]. The consequence of this definition can be illustrated using the example EPCs. • Figure 3.6(a): The single OR-join on the loop can fire. • Figure 3.6(b): The two OR-joins on the loop can fire. • Figure 3.7: The three OR-joins on the loop can fire. • Figure 3.8(a): The OR-join c2 must wait for the second token between e3 and f3. • Figure 3.8(b): Both OR-joins can fire. • Figure 3.9(a): The OR-join c1 must wait for the second token between e3 and f3. • Figure 3.9(b): Both OR-joins can fire. Kindler criticizes that each choice for defining P “appears to be arbitrary or ad hoc in some way” [Kin06] and uses the pair (P, Q) instead. The example EPCs illustrate that the original YAWL semantics provide for a limited degree of synchronization. Consider, for example, the vicious circle EPC with three OR-joins: all are allowed to fire, but if one does, the subsequent OR-join has to wait. Furthermore, the refined EPCs exhibit different behavior from their unrefined counterparts since OR-joins are ignored, i.e. they are considered unable to fire. Wynn, Edmond, Van der Aalst, and Ter Hofstede illustrate that the OR-join semantics in YAWL exhibit some non-intuitive behavior when OR-joins depend upon each other [WEAH05]. Therefore, they present a novel approach based on a mapping to Reset nets. Whether or not an OR-join can fire (i.e. R(P )), is determined depending on (a) a cor- responding Reset net (i.e. P ) that treats all OR-joins as XOR-joins 3 , and (b) a predicate 3 In fact, [WEAH05] proposes two alternative treatments for the “other OR-joins” when evaluating an OR-join: treat them either as XOR-joins (optimistic) or as AND-joins (pessimistic). However, the authors select the optimistic variant because the XOR-join treatment of other OR-joins more closely match the informal semantics of the OR-join.
Page 1:
Detection and Prediction of Errors
Page 5 and 6:
Abstract Business process modeling
Page 7 and 8: Acknowledgement On these pages it i
Page 9 and 10: Contents List of Figures iv List of
Page 11 and 12: Contents iii 4.3.4 Reduction of the
Page 13 and 14: List of Figures 1.1 Information Sys
Page 15 and 16: List of Figures vii 4.15 Reduction
Page 17 and 18: List of Figures ix A.5 Asset Accoun
Page 19 and 20: List of Figures xi A.40 Plant Maint
Page 21 and 22: List of Figures xiii A.77 Sales and
Page 23 and 24: List of Figures xv B.23 Personnel T
Page 25 and 26: List of Figures xvii C.3 Box plot f
Page 27 and 28: List of Figures xix C.59 Box plot f
Page 29 and 30: List of Tables 3.1 Overview of appr
Page 31 and 32: List of Acronyms ACM Association fo
Page 33 and 34: Table of Acronyms xxv WS-CDL Web Se
Page 35 and 36: Chapter 1 Introduction This chapter
Page 37 and 38: 1.2. Research Contributions 3 1.2 R
Page 39 and 40: 1.3. Epistemological Position 5 wit
Page 41 and 42: 1.3. Epistemological Position 7 lem
Page 43 and 44: 1.3. Epistemological Position 9 The
Page 45 and 46: 1.3. Epistemological Position 11 ce
Page 47 and 48: 1.4. Structure of this Thesis 13 ne
Page 49 and 50: 3.4. EPC Semantics 53 a decision ha
Page 51 and 52: 3.4. EPC Semantics 55 c1 c2 e1 f1 e
Page 53 and 54: 3.4. EPC Semantics 57 e2 f2 a3 a4 a
Page 55 and 56: 3.4. EPC Semantics 59 Boolean net.
Page 57: 3.4. EPC Semantics 61 Even though t
Page 61 and 62: 3.4. EPC Semantics 65 Table 3.3 sum
Page 63 and 64: 3.4. EPC Semantics 67 In the follow
Page 65 and 66: 3.4. EPC Semantics 69 token. The di
Page 67 and 68: 3.4. EPC Semantics 71 have a wait c
Page 69 and 70: 3.4. EPC Semantics 73 d dead contex
Page 71 and 72: 3.4. EPC Semantics 75 (a) (b) (c) (
Page 73 and 74: 3.4. EPC Semantics 77 (a) d (b) (c)
Page 75 and 76: 3.4. EPC Semantics 79 • Figure 3.
Page 77 and 78: 3.4. EPC Semantics 81 assigns a pos
Page 79 and 80: 3.4. EPC Semantics 83 are in a wait
Page 81 and 82: 3.4. EPC Semantics 85 • m → −
Page 83 and 84: 3.4. EPC Semantics 87 is set to dea
Page 85 and 86: 3.4. EPC Semantics 89 • m ∗ →
Page 87 and 88: 3.4. EPC Semantics 91 Algorithm 1 P
Page 89 and 90: 3.4. EPC Semantics 93 format [IDS03
Page 91 and 92: 3.4. EPC Semantics 95 Figure 3.22:
Page 93 and 94: 3.5. EPCs and other Process Modelin
Page 95 and 96: 224 A. Errors found with xoEPC Anal
Page 97 and 98: 226 A. Errors found with xoEPC Post
Page 99 and 100: 228 A. Errors found with xoEPC Post
Page 101 and 102: 230 A. Errors found with xoEPC Need
Page 107 and 108: 236 A. Errors found with xoEPC Capa
Page 109 and 110:
238 A. Errors found with xoEPC Shop
Page 111 and 112:
240 A. Errors found with xoEPC Open
Page 113 and 114:
242 A. Errors found with xoEPC Requ
Page 115 and 116:
244 A. Errors found with xoEPC Mat.
Page 117 and 118:
246 A. Errors found with xoEPC Chec
Page 119 and 120:
248 A. Errors found with xoEPC Comp
Page 121 and 122:
250 A. Errors found with xoEPC Budg
Page 123 and 124:
252 A. Errors found with xoEPC Paym
Page 125 and 126:
254 A. Errors found with xoEPC Mate
Page 127 and 128:
256 A. Errors found with xoEPC Prov
Page 129 and 130:
258 A. Errors found with xoEPC Need
Page 131 and 132:
260 A. Errors found with xoEPC Empl
Page 133 and 134:
262 A. Errors found with xoEPC Exte
Page 135 and 136:
264 A. Errors found with xoEPC Capa
Page 137 and 138:
266 A. Errors found with xoEPC Main
Page 139 and 140:
Page 141 and 142:
Page 143 and 144:
Page 145 and 146:
274 A. Errors found with xoEPC With
Page 147 and 148:
276 A. Errors found with xoEPC Proj
Page 149 and 150:
278 A. Errors found with xoEPC Peri
Page 151 and 152:
280 A. Errors found with xoEPC Ente
Page 153 and 154:
282 A. Errors found with xoEPC Ente
Page 155 and 156:
284 A. Errors found with xoEPC Insp
Page 157 and 158:
Page 159 and 160:
288 A. Errors found with xoEPC Serv
Page 161 and 162:
290 A. Errors found with xoEPC Need
Page 163 and 164:
292 A. Errors found with xoEPC Recr
Page 165 and 166:
294 A. Errors found with xoEPC Seco
Page 167 and 168:
296 A. Errors found with xoEPC Deli
Page 169 and 170:
298 A. Errors found with xoEPC Deli
Page 171 and 172:
300 A. Errors found with xoEPC Quot
Page 173 and 174:
302 A. Errors found with xoEPC Good
Page 175 and 176:
304 A. Errors found with xoEPC Spec
Page 177 and 178:
306 A. Errors found with xoEPC Nett
Page 179 and 180:
Page 181 and 182:
Page 183 and 184:
312 A. Errors found with xoEPC OTC
Page 185 and 186:
314 A. Errors found with xoEPC
Page 187 and 188:
316 B. EPCs not completely reduced
Page 189 and 190:
Page 191 and 192:
Page 193 and 194:
Page 195 and 196:
Page 197 and 198:
Page 199 and 200:
Page 201 and 202:
Page 203 and 204:
Page 205 and 206:
Page 207 and 208:
Page 209 and 210:
Page 211 and 212:
Page 213 and 214:
Page 215 and 216:
Page 217 and 218:
Page 219 and 220:
Page 221 and 222:
Page 223 and 224:
Page 225 and 226:
Page 227 and 228:
Page 229 and 230:
Page 231 and 232:
Page 233 and 234:
Page 235 and 236:
Page 237 and 238:
Page 239 and 240:
Page 241 and 242:
Page 243 and 244:
Page 245 and 246:
374 C. Descriptive Statistics of Va
Page 247 and 248:
Page 249 and 250:
Page 251 and 252:
Page 253 and 254:
Page 255 and 256:
Page 257 and 258:
Page 259 and 260:
Page 261 and 262:
Page 263 and 264:
Page 265 and 266:
Page 267 and 268:
Page 269 and 270:
Page 271 and 272:
Page 273 and 274:
Page 275 and 276:
Page 277 and 278:
Page 279 and 280:
Page 281 and 282:
Page 283 and 284:
Page 285 and 286:
Page 287 and 288:
Page 289 and 290:
Page 291 and 292:
Page 293 and 294:
Page 295 and 296:
Page 297 and 298:
Page 299 and 300:
428 D. Logistic Regression Results
Page 301 and 302:
Page 303 and 304:
Page 305 and 306:
Page 307 and 308:
Page 309 and 310:
Page 311 and 312:
Page 313 and 314:
442 Bibliography [ACD + 03] T. Andr
Page 315 and 316:
444 Bibliography [ARD + 06] W.M.P.
Page 317 and 318:
446 Bibliography [BE05b] U. Brandes
Page 319 and 320:
448 Bibliography [Boe81] B.W. Boehm
Page 321 and 322:
450 Bibliography Proceedings of the
Page 323 and 324:
452 Bibliography [DAV05] B.F. van D
Page 325 and 326:
454 Bibliography [DZ05] J. Dehnert
Page 327 and 328:
456 Bibliography [GD05a] A. Selçuk
Page 329 and 330:
458 Bibliography [Gro75] E. Grochla
Page 331 and 332:
460 Bibliography [HMPR04] A.R. Hevn
Page 333 and 334:
462 Bibliography [IEE83] IEEE. IEEE
Page 335 and 336:
464 Bibliography [Kie03] B. Kiepusz
Page 337 and 338:
466 Bibliography volume 4103 of Lec
Page 339 and 340:
468 Bibliography [Löw00] J. Löwer
Page 341 and 342:
470 Bibliography [MH05] J. Mendling
Page 343 and 344:
472 Bibliography many, pages 61-80,
Page 345 and 346:
474 Bibliography Workshops at the 1
Page 347 and 348:
476 Bibliography [Nis98] M.E. Nisse
Page 349 and 350:
478 Bibliography [Por85] M. E. Port
Page 351 and 352:
480 Bibliography [RV04] H.A. Reijer
Page 353 and 354:
482 Bibliography [SF06] H. Smith an
Page 355 and 356:
484 Bibliography on Conceptual Mode
Page 357 and 358:
486 Bibliography A. Haller, editors
Page 359 and 360:
488 Bibliography O. Pastor, editors
Page 361 and 362:
490 Bibliography [WVA + 06b] M.T. W
show all

xoEPC - Jan Mendling

Create successful ePaper yourself

Delete template?

Save as template?