Semantics, Verification, and Implementation of Workflows ... - YAWL
Semantics, Verification, and Implementation of Workflows ... - YAWL
Semantics, Verification, and Implementation of Workflows ... - YAWL
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
5.1.5 Elimination <strong>of</strong> self-loop transitions . . . . . . . . . . . . . 92<br />
5.1.6 Fusion <strong>of</strong> equivalent subnets . . . . . . . . . . . . . . . . . 95<br />
5.1.7 Abstraction . . . . . . . . . . . . . . . . . . . . . . . . . . 98<br />
5.2 Related work . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100<br />
6 Reduction rules for <strong>YAWL</strong> nets 102<br />
6.1 Reduction rules for <strong>YAWL</strong> nets without OR-joins . . . . . . . . . 102<br />
6.1.1 Fusion <strong>of</strong> series conditions . . . . . . . . . . . . . . . . . . 102<br />
6.1.2 Fusion <strong>of</strong> parallel conditions . . . . . . . . . . . . . . . . . 104<br />
6.1.3 Fusion <strong>of</strong> alternative conditions . . . . . . . . . . . . . . . 106<br />
6.1.4 Fusion <strong>of</strong> series tasks . . . . . . . . . . . . . . . . . . . . . 107<br />
6.1.5 Fusion <strong>of</strong> parallel tasks . . . . . . . . . . . . . . . . . . . . 109<br />
6.1.6 Fusion <strong>of</strong> alternative tasks . . . . . . . . . . . . . . . . . . 110<br />
6.1.7 Elimination <strong>of</strong> self-loop tasks . . . . . . . . . . . . . . . . 112<br />
6.1.8 Fusion <strong>of</strong> AND-split <strong>and</strong> AND-join tasks . . . . . . . . . . 113<br />
6.1.9 Fusion <strong>of</strong> XOR-split <strong>and</strong> XOR-join tasks . . . . . . . . . . 115<br />
6.2 Reduction rules for <strong>YAWL</strong> nets with OR-joins . . . . . . . . . . . 116<br />
6.2.1 Fusion <strong>of</strong> an OR-join <strong>and</strong> another task . . . . . . . . . . . 118<br />
6.2.2 Fusion <strong>of</strong> incoming edges to an OR-join . . . . . . . . . . . 120<br />
6.3 <strong>Implementation</strong> . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121<br />
6.3.1 <strong>YAWL</strong> reduction rules . . . . . . . . . . . . . . . . . . . . 121<br />
6.3.2 Linking reduction rules to verification . . . . . . . . . . . . 123<br />
6.4 Related work . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125<br />
7 Validation 127<br />
7.1 Visa application process . . . . . . . . . . . . . . . . . . . . . . . 127<br />
7.2 Illustrating the OR-join semantics . . . . . . . . . . . . . . . . . . 131<br />
7.2.1 Enabling the cancel application task . . . . . . . . . . . . 133<br />
7.2.2 Enabling the make decision task . . . . . . . . . . . . . . . 134<br />
7.2.3 Enabling the calculate total points task . . . . . . . . . . . 135<br />
7.3 Illustrating structural properties . . . . . . . . . . . . . . . . . . . 136<br />
7.3.1 Verifying soundness . . . . . . . . . . . . . . . . . . . . . . 137<br />
7.3.2 Verifying weak soundness . . . . . . . . . . . . . . . . . . . 138<br />
7.3.3 Verifying irreducible cancellation regions . . . . . . . . . . 139<br />
7.3.4 Verifying immutable OR-joins . . . . . . . . . . . . . . . . 139<br />
7.4 Illustrating reduction rules . . . . . . . . . . . . . . . . . . . . . . 140<br />
7.4.1 <strong>YAWL</strong> reduction rules . . . . . . . . . . . . . . . . . . . . 142<br />
7.4.2 Reset reduction rules . . . . . . . . . . . . . . . . . . . . . 144