|
Part I Basic Concepts and Flexibility Issues |
|
|
|
|
3 | (6) |
|
|
3 | (2) |
|
1.2 Goal and Intended Audience |
|
|
5 | (1) |
|
|
6 | (1) |
|
1.4 Outline and Organization of the Chapters |
|
|
6 | (3) |
|
2 Process-Aware Information Systems |
|
|
9 | (34) |
|
|
9 | (1) |
|
2.2 Prespecified and Repetitive Processes |
|
|
10 | (5) |
|
|
11 | (1) |
|
2.2.2 Examples of Prespecified Processes |
|
|
12 | (2) |
|
|
14 | (1) |
|
2.3 Knowledge-Intensive Processes |
|
|
15 | (5) |
|
|
15 | (1) |
|
2.3.2 Examples of Knowledge-Intensive Processes |
|
|
16 | (4) |
|
|
20 | (1) |
|
2.4 Perspectives on a PAIS |
|
|
20 | (10) |
|
2.4.1 Function Perspective |
|
|
21 | (1) |
|
2.4.2 Behavior Perspective |
|
|
22 | (3) |
|
2.4.3 Information Perspective |
|
|
25 | (1) |
|
2.4.4 Organization Perspective |
|
|
26 | (1) |
|
2.4.5 Operation Perspective |
|
|
27 | (2) |
|
|
29 | (1) |
|
|
30 | (10) |
|
|
30 | (1) |
|
2.5.2 Build-Time Environment |
|
|
30 | (3) |
|
2.5.3 Run-Time Environment |
|
|
33 | (7) |
|
|
40 | (3) |
|
|
41 | (2) |
|
3 Flexibility Issues in Process-Aware Information Systems |
|
|
43 | (16) |
|
|
43 | (1) |
|
3.2 A Taxonomy of Flexibility Needs in Process-Aware Information Systems |
|
|
44 | (6) |
|
|
45 | (1) |
|
|
46 | (1) |
|
|
46 | (1) |
|
|
47 | (3) |
|
3.3 Requirements for a Flexible PAIS |
|
|
50 | (2) |
|
|
52 | (1) |
|
|
53 | (6) |
|
|
54 | (5) |
|
Part II Flexibility Support for Prespecified Processes |
|
|
|
4 Process Modeling and Flexibility-by-Design |
|
|
59 | (30) |
|
|
59 | (1) |
|
4.2 Modeling Prespecified Processes |
|
|
60 | (12) |
|
|
60 | (3) |
|
4.2.2 Control Flow Patterns |
|
|
63 | (6) |
|
4.2.3 Flexibility-by-Design Through Control Flow Patterns |
|
|
69 | (3) |
|
4.2.4 Granularity of Process Models and Its Relation to Flexibility |
|
|
72 | (1) |
|
4.3 Executing Prespecified Processes |
|
|
72 | (4) |
|
4.3.1 Process Instance and Execution Trace |
|
|
73 | (2) |
|
4.3.2 Enabled Activities and Instance Completion |
|
|
75 | (1) |
|
4.4 Verifying Prespecified Process Models |
|
|
76 | (9) |
|
4.4.1 Process Model Soundness |
|
|
77 | (3) |
|
4.4.2 Correctness of Data Flow |
|
|
80 | (4) |
|
4.4.3 Well-Structured Versus Unstructured Process Models |
|
|
84 | (1) |
|
|
85 | (4) |
|
|
85 | (4) |
|
5 Process Configuration Support |
|
|
89 | (38) |
|
|
89 | (3) |
|
5.2 Behavior-Based Configuration Approaches |
|
|
92 | (11) |
|
5.2.1 Hiding and Blocking |
|
|
93 | (3) |
|
|
96 | (7) |
|
5.3 Structural Configuration Approaches |
|
|
103 | (9) |
|
5.3.1 Representing a Process Family Through a Base Process and Prespecified Changes |
|
|
104 | (6) |
|
5.3.2 Configuring a Process Variant Through Structural Changes |
|
|
110 | (2) |
|
5.4 End-User Support in Configuring Process Variants |
|
|
112 | (8) |
|
5.4.1 Questionnaire-Driven Process Configuration |
|
|
112 | (7) |
|
5.4.2 Feature-Driven Process Configuration |
|
|
119 | (1) |
|
5.4.3 Context-Driven Process Configuration |
|
|
120 | (1) |
|
|
120 | (3) |
|
5.5.1 Capturing Variability of Multiple Process Perspectives |
|
|
121 | (1) |
|
5.5.2 Ensuring Correctness of Configured Process Variants |
|
|
121 | (1) |
|
5.5.3 Merging Process Variants |
|
|
122 | (1) |
|
5.5.4 Adaptive Reference Process Modeling |
|
|
123 | (1) |
|
|
123 | (4) |
|
|
124 | (3) |
|
|
127 | (26) |
|
|
127 | (2) |
|
6.2 Exception Sources and Their Detection |
|
|
129 | (2) |
|
6.2.1 Sources of Exceptions |
|
|
129 | (2) |
|
6.2.2 Detecting Exceptions |
|
|
131 | (1) |
|
|
131 | (12) |
|
6.3.1 Exception Handling Patterns |
|
|
134 | (9) |
|
6.4 Compensation Handling |
|
|
143 | (3) |
|
6.4.1 Semantic Rollback Through Compensation |
|
|
143 | (1) |
|
6.4.2 Compensation Spheres |
|
|
144 | (2) |
|
6.5 Exception Handling in Selected Approaches |
|
|
146 | (4) |
|
6.5.1 Compensation and Exception Handling in WS-BPEL |
|
|
147 | (1) |
|
6.5.2 Exception Handling in the Exlet Approach |
|
|
148 | (2) |
|
|
150 | (3) |
|
|
150 | (3) |
|
7 Ad hoc Changes of Process Instances |
|
|
153 | (66) |
|
|
153 | (3) |
|
7.2 Changing the Behavior of a Running Process Instance |
|
|
156 | (7) |
|
|
156 | (5) |
|
7.2.2 A Basic Taxonomy for Ad hoc Changes |
|
|
161 | (2) |
|
7.3 Structurally Adapting Prespecified Process Models |
|
|
163 | (13) |
|
|
163 | (3) |
|
7.3.2 Adaptation Patterns |
|
|
166 | (1) |
|
7.3.3 Defining Structural Changes with Adaptation Patterns |
|
|
167 | (5) |
|
7.3.4 Ensuring Correctness of Structural Changes |
|
|
172 | (4) |
|
7.4 Ensuring State Compliance with a Changed Process Model |
|
|
176 | (13) |
|
7.4.1 Ad hoc Changes and Process Instance States |
|
|
177 | (2) |
|
7.4.2 A Correctness Notion for Dynamic Instance Changes |
|
|
179 | (2) |
|
7.4.3 A Relaxed Correctness Notion for Coping with Loop Changes |
|
|
181 | (4) |
|
7.4.4 Efficient Realization of Ad hoc Changes |
|
|
185 | (4) |
|
7.5 Manual Definition of Ad hoc Changes |
|
|
189 | (2) |
|
7.6 Assisting End-Users Through the Reuse of Ad hoc Changes |
|
|
191 | (15) |
|
7.6.1 Reusing Knowledge About Similar Ad hoc Changes |
|
|
191 | (2) |
|
7.6.2 Memorizing Ad hoc Changes |
|
|
193 | (5) |
|
7.6.3 Retrieving and Adapting Similar Ad hoc Changes |
|
|
198 | (7) |
|
|
205 | (1) |
|
7.7 Automated Adaptation and Evolution of Process Instances |
|
|
206 | (1) |
|
7.8 Duration of Ad hoc Changes |
|
|
207 | (2) |
|
|
209 | (1) |
|
|
209 | (3) |
|
7.10.1 Controlling Access to Process Change Functions |
|
|
209 | (1) |
|
7.10.2 Controlling Concurrent Ad hoc Changes |
|
|
210 | (1) |
|
7.10.3 Ensuring Traceability of Ad hoc Changes |
|
|
211 | (1) |
|
7.10.4 Ensuring Business Process Compliance |
|
|
212 | (1) |
|
|
212 | (2) |
|
|
214 | (5) |
|
|
214 | (5) |
|
8 Monitoring and Mining Flexible Processes |
|
|
219 | (34) |
|
|
219 | (2) |
|
8.2 Execution and Change Logs |
|
|
221 | (2) |
|
8.3 Mining Execution Logs |
|
|
223 | (6) |
|
|
225 | (2) |
|
8.3.2 Conformance Checking |
|
|
227 | (2) |
|
|
229 | (13) |
|
8.4.1 Anatomy of Process Changes |
|
|
230 | (2) |
|
8.4.2 Directly Applying Process Mining to Change Logs |
|
|
232 | (2) |
|
8.4.3 Understanding Change Dependencies |
|
|
234 | (2) |
|
8.4.4 Enhancing Multi-phase Mining with Commutativity |
|
|
236 | (3) |
|
8.4.5 Mining Change Processes with Regions |
|
|
239 | (3) |
|
8.5 Mining Process Variants in the Absence of a Change Log |
|
|
242 | (7) |
|
8.5.1 Closeness of a Reference Process Model and a Collection of Process Variants |
|
|
243 | (1) |
|
8.5.2 Scenarios for Mining Process Variants |
|
|
244 | (1) |
|
8.5.3 A Heuristic Approach for Process Variant Mining |
|
|
245 | (3) |
|
8.5.4 Other Approaches for Process Variant Mining |
|
|
248 | (1) |
|
|
249 | (4) |
|
|
250 | (3) |
|
9 Process Evolution and Instance Migration |
|
|
253 | (44) |
|
|
253 | (1) |
|
9.2 Fundamentals of Process Model Evolution |
|
|
254 | (12) |
|
9.2.1 Evolving a Process Model at the Process Type Level |
|
|
254 | (2) |
|
9.2.2 Deferred Process Model Evolution |
|
|
256 | (1) |
|
9.2.3 Immediate Process Model Evolution and Instance Migration |
|
|
257 | (4) |
|
|
261 | (2) |
|
9.2.5 Existing Approaches for Migrating Process Instances |
|
|
263 | (3) |
|
9.3 Common Support of Type and Instance Changes |
|
|
266 | (9) |
|
9.3.1 Migrating Biased Process Instances |
|
|
266 | (4) |
|
9.3.2 Overlapping Changes at the Type and Instance Level |
|
|
270 | (4) |
|
9.3.3 Integrated Change Support in Existing Approaches |
|
|
274 | (1) |
|
9.4 Coping with Noncompliant Process Instances |
|
|
275 | (6) |
|
|
276 | (1) |
|
9.4.2 Bringing Noncompliant Instances into a Compliant State |
|
|
277 | (1) |
|
9.4.3 Advanced Strategies for Treating Noncompliant Instances |
|
|
278 | (3) |
|
9.5 Evolving Other PAIS Perspectives |
|
|
281 | (2) |
|
9.5.1 Changes of the Organization Perspective |
|
|
281 | (1) |
|
9.5.2 Changes of the Information Perspective |
|
|
282 | (1) |
|
9.5.3 Changes of Other Perspectives |
|
|
282 | (1) |
|
9.6 Process Model Refactoring |
|
|
283 | (8) |
|
9.6.1 Identifying Refactoring Opportunities |
|
|
283 | (3) |
|
9.6.2 Refactoring Techniques |
|
|
286 | (5) |
|
|
291 | (6) |
|
|
291 | (6) |
|
10 Business Process Compliance |
|
|
297 | (26) |
|
|
297 | (3) |
|
10.2 Modeling Compliance Rules |
|
|
300 | (7) |
|
10.3 A Priori Compliance Checking |
|
|
307 | (1) |
|
10.4 Compliance Monitoring |
|
|
308 | (3) |
|
10.5 A-posteriori Compliance Checking |
|
|
311 | (1) |
|
10.6 Effects of Process Changes on Compliance |
|
|
312 | (2) |
|
|
314 | (2) |
|
|
316 | (1) |
|
|
316 | (7) |
|
|
317 | (6) |
|
Part III Flexibility Support for Loosely Specified Processes |
|
|
|
11 Concretizing Loosely Specified Processes |
|
|
323 | (18) |
|
|
323 | (1) |
|
11.2 Taxonomy of Decision Deferral |
|
|
324 | (4) |
|
|
324 | (2) |
|
|
326 | (1) |
|
11.2.3 Scope of Decision Deferral |
|
|
326 | (1) |
|
11.2.4 Process Perspective |
|
|
327 | (1) |
|
11.2.5 Degree of Automation |
|
|
327 | (1) |
|
11.2.6 Decision Making and Decision Support |
|
|
328 | (1) |
|
11.3 Decision Deferral Patterns |
|
|
328 | (2) |
|
|
330 | (3) |
|
11.5 Late Modeling and Composition |
|
|
333 | (3) |
|
|
336 | (1) |
|
11.7 Iterative Refinement |
|
|
337 | (2) |
|
|
339 | (2) |
|
|
340 | (1) |
|
12 Constraint-Based Process Models |
|
|
341 | (36) |
|
|
341 | (1) |
|
12.2 Modeling Constraint-Based Processes |
|
|
342 | (9) |
|
12.2.1 Constraint-Based Process Models |
|
|
343 | (1) |
|
12.2.2 Overview of Control Flow Constraints |
|
|
344 | (7) |
|
12.3 Executing Constraint-Based Processes |
|
|
351 | (6) |
|
12.3.1 Executing Constraint-Based Models Without Overlapping Activities |
|
|
353 | (2) |
|
12.3.2 Executing Constraint-Based Models with Overlapping Activities |
|
|
355 | (2) |
|
12.4 Verifying Constraint-Based Process Models |
|
|
357 | (2) |
|
12.5 Adapting and Evolving Constraint-Based Process Models |
|
|
359 | (5) |
|
12.6 Assistance for Modeling and Evolving Constraint-Based Processes |
|
|
364 | (3) |
|
12.6.1 Understandability and Maintainability Issues of Constraint-Based Process Models |
|
|
364 | (1) |
|
12.6.2 Test-Driven Modeling of Constraint-Based Process Models |
|
|
365 | (2) |
|
12.7 Assistance for Executing Constraint-Based Process Models |
|
|
367 | (2) |
|
12.8 Combining Constraint-Based and Prespecified Models |
|
|
369 | (1) |
|
12.9 Summary and Discussion |
|
|
370 | (7) |
|
|
371 | (6) |
|
Part IV User- and Data-Driven Processes |
|
|
|
13 User- and Data-Driven Processes |
|
|
377 | (28) |
|
|
377 | (2) |
|
13.2 The Case Handling Paradigm |
|
|
379 | (5) |
|
|
379 | (2) |
|
13.2.2 Strengths and Weaknesses |
|
|
381 | (2) |
|
|
383 | (1) |
|
13.3 Object-Aware Processes |
|
|
384 | (7) |
|
|
386 | (1) |
|
13.3.2 Object Interactions |
|
|
387 | (1) |
|
13.3.3 Data-Driven Execution |
|
|
388 | (1) |
|
13.3.4 Variable Activity Granularity |
|
|
389 | (1) |
|
13.3.5 Integrated Access to Business Processes and Objects |
|
|
390 | (1) |
|
|
391 | (9) |
|
|
392 | (1) |
|
|
393 | (1) |
|
13.4.3 Business Artifacts |
|
|
394 | (2) |
|
13.4.4 Data-Driven Process Coordination |
|
|
396 | (1) |
|
13.4.5 Product-Based Workflow Support |
|
|
397 | (2) |
|
|
399 | (1) |
|
|
399 | (1) |
|
|
400 | (5) |
|
|
401 | (4) |
|
14 A Framework for Object-Aware Processes |
|
|
405 | (36) |
|
|
405 | (2) |
|
14.2 Overview of the Framework |
|
|
407 | (2) |
|
|
409 | (5) |
|
14.3.1 Object Relationships |
|
|
410 | (1) |
|
|
411 | (3) |
|
|
414 | (8) |
|
|
415 | (1) |
|
|
416 | (1) |
|
14.4.3 Internal Micro Transitions |
|
|
417 | (2) |
|
14.4.4 External Micro Transitions |
|
|
419 | (2) |
|
|
421 | (1) |
|
14.5 Process and Data Authorization |
|
|
422 | (4) |
|
14.5.1 Authorization Table |
|
|
422 | (2) |
|
14.5.2 Automatic Generation of Form-Based Activities |
|
|
424 | (2) |
|
|
426 | (8) |
|
|
427 | (1) |
|
14.6.2 Process Context Coordination Component |
|
|
428 | (2) |
|
14.6.3 Aggregation Coordination Component |
|
|
430 | (1) |
|
14.6.4 Transverse Coordination Component |
|
|
431 | (1) |
|
14.6.5 Integrating Black-Box Activities |
|
|
432 | (1) |
|
|
433 | (1) |
|
|
434 | (3) |
|
|
437 | (4) |
|
|
437 | (4) |
|
Part V Technologies Enabling Flexibility Support in Process-Aware Information Systems |
|
|
|
|
441 | (24) |
|
|
441 | (1) |
|
15.2 Handling Errors and Exceptions in AristaFlow |
|
|
442 | (12) |
|
15.2.1 Illustrating Application Scenario |
|
|
442 | (2) |
|
15.2.2 Perspectives on the Handling of Exceptions and Errors |
|
|
444 | (10) |
|
|
454 | (3) |
|
15.4 Using the AristaFlow BPM Suite in Actual Practice |
|
|
457 | (4) |
|
15.4.1 Case Study 1: Disaster Management |
|
|
457 | (2) |
|
15.4.2 Case Study 2: Health Care Process Management |
|
|
459 | (1) |
|
15.4.3 Case Study 3: Software Engineering Processes |
|
|
460 | (1) |
|
15.4.4 Other Case Studies |
|
|
461 | (1) |
|
|
461 | (4) |
|
|
462 | (3) |
|
16 Alaska Simulator Toolset |
|
|
465 | (14) |
|
|
465 | (1) |
|
16.2 Alaska Simulator Toolset: Meta-Model |
|
|
466 | (5) |
|
16.3 Deciding at the Last Responsible Moment |
|
|
471 | (1) |
|
16.4 Architecture of Alaska Simulator Toolset |
|
|
471 | (2) |
|
16.5 Case Studies: Using Alaska Simulator Toolset in Practice |
|
|
473 | (3) |
|
|
476 | (3) |
|
|
477 | (2) |
|
17 Existing Tool Support for Flexible Processes |
|
|
479 | (4) |
|
|
479 | (1) |
|
|
480 | (3) |
|
Part VI Summary, References, and Appendices |
|
|
|
|
483 | (6) |
|
18.1 Enabling Flexibility in Process-Aware Information Systems |
|
|
484 | (1) |
|
|
485 | (4) |
A Overview of BPMN Elements |
|
489 | (2) |
References |
|
491 | (20) |
Index |
|
511 | |