|
|
1 | (14) |
|
|
2 | (3) |
|
1.2 Related Work and Comparison with Related Methods |
|
|
5 | (4) |
|
|
9 | (1) |
|
1.4 Recommendations for Readers |
|
|
10 | (5) |
|
|
11 | (4) |
|
2 Deontic Process Diagrams |
|
|
15 | (48) |
|
|
16 | (1) |
|
|
17 | (1) |
|
2.3 Deontic Classification |
|
|
18 | (7) |
|
2.3.1 Monadic Deontic Logic |
|
|
19 | (2) |
|
2.3.2 Dyadic Deontic Logic |
|
|
21 | (1) |
|
2.3.3 Multiple Deontic Classifications |
|
|
21 | (2) |
|
2.3.4 Deontic Logic with Agency |
|
|
23 | (1) |
|
2.3.5 User Versus Conditional Choice |
|
|
23 | (1) |
|
2.3.6 Levels of Deontic Classification |
|
|
24 | (1) |
|
|
25 | (17) |
|
|
25 | (1) |
|
2.4.2 Control-Flow Patterns with Deontic Logic |
|
|
26 | (16) |
|
|
42 | (5) |
|
2.6 The Semantics of Deontic Activities |
|
|
47 | (7) |
|
2.6.1 Different Levels of Abstraction |
|
|
48 | (1) |
|
2.6.2 Criteria for Comparing Standard and Deontic Process Diagrams Semantically |
|
|
48 | (1) |
|
2.6.3 General Semantic Differences Between Standard and Deontic Process Diagrams |
|
|
49 | (3) |
|
2.6.4 The Semantics of Tasks |
|
|
52 | (2) |
|
|
54 | (5) |
|
|
59 | (4) |
|
|
60 | (3) |
|
3 A Layered Approach for Actor Modelling |
|
|
63 | (22) |
|
|
64 | (1) |
|
|
65 | (2) |
|
3.3 Foundations of the Theory |
|
|
67 | (1) |
|
3.4 Approach for Actor Modelling |
|
|
67 | (4) |
|
3.4.1 Views of Actor Modelling Approach |
|
|
68 | (1) |
|
3.4.2 Layers of the Actor Modelling Approach |
|
|
68 | (3) |
|
|
71 | (4) |
|
3.6 Workflow Resource Patterns |
|
|
75 | (7) |
|
|
82 | (3) |
|
|
83 | (2) |
|
4 A Typed Approach to User Interaction Modelling |
|
|
85 | (32) |
|
|
86 | (1) |
|
|
87 | (3) |
|
4.3 Foundations of the Theory |
|
|
90 | (1) |
|
4.4 The Typed Workflow Chart |
|
|
90 | (16) |
|
4.4.1 Specification Overview |
|
|
91 | (3) |
|
4.4.2 The Worklist Metaphor |
|
|
94 | (2) |
|
4.4.3 Identifying (Complex) Dialogues |
|
|
96 | (2) |
|
4.4.4 Formal Execution Semantics |
|
|
98 | (8) |
|
|
106 | (5) |
|
4.5.1 Application Scenario: A Business Trip Workflow |
|
|
106 | (1) |
|
|
107 | (3) |
|
|
110 | (1) |
|
|
111 | (6) |
|
|
112 | (5) |
|
5 An Enhanced Communication Concept |
|
|
117 | (30) |
|
|
120 | (1) |
|
|
121 | (1) |
|
|
122 | (1) |
|
5.4 Properties of Event Triggers |
|
|
123 | (6) |
|
|
129 | (10) |
|
|
129 | (3) |
|
5.5.2 Refining the Ground Model with Event Pools |
|
|
132 | (6) |
|
5.5.3 "Indirectly Thrown" Triggers |
|
|
138 | (1) |
|
5.6 The Scope of Possible Communication |
|
|
139 | (2) |
|
5.7 Standard Event Trigger Types |
|
|
141 | (2) |
|
|
143 | (4) |
|
|
144 | (3) |
|
6 Horizontal Model Integration |
|
|
147 | (32) |
|
|
148 | (1) |
|
|
149 | (2) |
|
|
151 | (13) |
|
|
153 | (1) |
|
|
154 | (1) |
|
|
155 | (2) |
|
|
157 | (1) |
|
6.3.5 A Four-Step Integration Approach |
|
|
158 | (1) |
|
6.3.6 An Illustrative Example |
|
|
159 | (5) |
|
6.4 The enhanced Process Platform (eP2) Architecture |
|
|
164 | (11) |
|
6.4.1 Process Model Repository' |
|
|
164 | (2) |
|
|
166 | (1) |
|
|
166 | (3) |
|
6.4.4 Workflow Transition Interpreter |
|
|
169 | (1) |
|
|
170 | (2) |
|
|
172 | (1) |
|
|
173 | (1) |
|
|
174 | (1) |
|
|
175 | (4) |
|
|
176 | (3) |
|
7 Formal Specification of the eP2 Architecture |
|
|
179 | (72) |
|
|
180 | (1) |
|
|
180 | (2) |
|
|
182 | (8) |
|
|
182 | (4) |
|
|
186 | (1) |
|
7.3.3 Common Basic Functions |
|
|
186 | (3) |
|
7.3.4 Common Rules and Derived Functions |
|
|
189 | (1) |
|
7.4 Common Behaviour of All Components |
|
|
190 | (2) |
|
7.5 Detailed ASM Ground Models |
|
|
192 | (55) |
|
7.5.1 Workflow Transition Interpreter |
|
|
192 | (1) |
|
7.5.2 Integrating Deontic Classification and Actors |
|
|
193 | (11) |
|
7.5.3 Integrating the Enhanced Communication Concept |
|
|
204 | (3) |
|
7.5.4 Ground Model of the Process Model Repository |
|
|
207 | (4) |
|
7.5.5 Ground Model of the Task Server |
|
|
211 | (16) |
|
7.5.6 Ground Model of the Process Client |
|
|
227 | (9) |
|
7.5.7 Ground Model of the Actor Management |
|
|
236 | (3) |
|
7.5.8 Ground Model of the Dialogue Engine |
|
|
239 | (5) |
|
7.5.9 Ground Model of the Data Management |
|
|
244 | (3) |
|
|
247 | (4) |
|
|
248 | (3) |
|
|
251 | (6) |
|
|
255 | (2) |
Index |
|
257 | |