xoEPC - Jan Mendling

More documents

Recommendations

Info

76 3. Event-driven Process Chains (EPC) context and each that gets a positive token is set to a wait context. The last two firing rules of the OR-join in Figure 3.17(h) deserve some further com- ments. Beyond the removal of all positive and negative tokens on the input arcs, also those negative tokens on the negative upper corona of the OR-join are removed. The motivation for this concept is that loops can propagate dead context, but negative tokens get stuck at the entry join of a loop. After the loop, a dead context can make the firing condition of an OR-join become true, while negative tokens that were generated for syn- chronization purposes still reside before the loop. Not removing such negative tokens with the firing of an OR-join might cause non-intuitive behavior. Therefore, in addition to the positive and negative tokens on the input arcs of the OR-join, also those negative tokens with a path leading to the OR-join via arcs that all have a dead context, i.e. on the negative corona, are also removed. Figure 3.18 gives the example of a structured EPC with an outer XOR-loop between c1 and c6 and an inner XOR-loop between c3 and c4. The inner loop is also nested in an OR-block between c2 and c5. The current marking is produced by firing the OR-split with a negative token to the left and a positive token to the right, and then propagating the positive token via f2. Now, the OR-join c5 is enabled with a dead context on one of the input arcs. Moreover, there is a negative token before the inner XOR-loop which cannot be propagated. If the OR-join would now simply fire and navigate via e2 back to c2 the EPC would be in a deadlock since the firing rules for tokens require the output arcs to be empty. Therefore, the negative token before c3 has to be removed when firing the OR-join c5. Accordingly, if an OR-join fires, it has to remove all negative tokens on its so-called negative upper corona, i.e. the arcs carrying a negative token that have a path to the OR-join on which each arc has a dead context and no token on it. Observations on State Propagation The transition relations of state propagation permit the observation that the EPC semantics are safe, i.e. it is not possible to have more than one token on an arc. Firstly, this property is enforced by the definition of state since it is a mapping from the arcs to the set of -1,0, and +1. Furthermore, the state propagation rules guarantee safeness, too,
3.4. EPC Semantics 77 (a) d (b) (c) (f) d (g) d d w w d w w w w w w d w w d d d d d w w (d) d d (e) (h) d d w w d d d d d d d d Figure 3.17: Transition Relation for Positive Token Propagation w w w w d w d d w
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 and 58: 3.4. EPC Semantics 61 Even though t
Page 59 and 60: 3.4. EPC Semantics 63 mann propose
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: 3.4. EPC Semantics 75 (a) (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?