|
Part I Behavior and Goal Modeling as Semantic Foundations of Interactive Modeling and Simulation |
|
|
|
1 Introduction to Interactive Modeling and Simulation |
|
|
3 | (10) |
|
|
3 | (1) |
|
|
4 | (1) |
|
1.3 The Need for Interactivity |
|
|
5 | (4) |
|
|
5 | (1) |
|
1.3.2 Tendencies that Demand Changes in the Existing Practice |
|
|
6 | (1) |
|
1.3.3 Interaction as a Pair of an Event and a System Reaction |
|
|
7 | (1) |
|
1.3.4 Interaction as a Pair of a Requirement and Its Executable Model |
|
|
8 | (1) |
|
1.4 Definition of Interactive Modeling and Simulation |
|
|
9 | (1) |
|
1.5 Further Organization of the Book |
|
|
10 | (3) |
|
|
11 | (2) |
|
2 Behavior Modeling for Interaction |
|
|
13 | (34) |
|
2.1 Semantic Predecessors |
|
|
14 | (14) |
|
2.1.1 Finite State Machine |
|
|
14 | (4) |
|
2.1.2 Holistic Approaches |
|
|
18 | (4) |
|
2.1.3 Compositional Approaches |
|
|
22 | (6) |
|
|
28 | (14) |
|
2.2.1 Semantics of Protocol Modeling |
|
|
29 | (2) |
|
2.2.2 Protocol Modeling Notation |
|
|
31 | (3) |
|
2.2.3 Example of a Protocol Model |
|
|
34 | (6) |
|
2.2.4 Observational Consistency in Protocol Models |
|
|
40 | (2) |
|
2.2.5 Local Reasoning on Protocol Models |
|
|
42 | (1) |
|
2.3 Protocol Modeling and Conceptual Modeling |
|
|
42 | (5) |
|
|
43 | (1) |
|
|
44 | (3) |
|
3 Goal Modeling for Interaction |
|
|
47 | (16) |
|
|
48 | (1) |
|
3.2 Goal Modeling and Refinement |
|
|
49 | (4) |
|
3.2.1 Goal Refinement Tree |
|
|
49 | (1) |
|
3.2.2 Example of a Goal Tree of an Information System for an Insurance Application |
|
|
50 | (1) |
|
3.2.3 Example of a Security Goal |
|
|
51 | (1) |
|
3.2.4 Completeness of Refinement |
|
|
51 | (1) |
|
3.2.5 Tactics of Refinement |
|
|
52 | (1) |
|
3.3 Example: Goal Model of an Insurance Application |
|
|
53 | (6) |
|
3.3.1 Main Goals of an Insurance System |
|
|
53 | (1) |
|
3.3.2 What Does It Mean "A Product Is Composed"? |
|
|
54 | (2) |
|
3.3.3 What Does It Mean "A Policy Is Bought by a Registered Customer"? |
|
|
56 | (1) |
|
3.3.4 What Does It Mean "A Claim of a Client with a Bought Policy Is Handled?" |
|
|
56 | (2) |
|
3.3.5 A Goal Refinement Tree as a Structured Source of Information |
|
|
58 | (1) |
|
|
59 | (4) |
|
|
59 | (1) |
|
|
60 | (3) |
|
Part II Integration of Behavior and Goal Modeling for Interactive Modeling and Simulation |
|
|
|
4 Mastering Interactive Modeling and Simulation with an Insurance Case |
|
|
63 | (26) |
|
4.1 What Is Comparable in Goal Models and Protocol Models? |
|
|
64 | (1) |
|
|
64 | (1) |
|
4.1.2 A Requirement Can Be Mapped on a Protocol Machine |
|
|
64 | (1) |
|
4.2 Combination of Methods and Tool Support |
|
|
65 | (1) |
|
4.2.1 EXTREME (EXecuTable Requirements Management and Evolution) |
|
|
65 | (1) |
|
4.2.2 ModelScope. Tool Requirements |
|
|
65 | (1) |
|
4.3 Input for Protocol Modeling - Insurance Case |
|
|
66 | (1) |
|
4.4 Identification of Concepts |
|
|
67 | (1) |
|
4.5 Identification of Events and Transitions |
|
|
68 | (2) |
|
4.5.1 Simulation of the Protocol Model "Medical Procedure" |
|
|
69 | (1) |
|
4.6 Two Protocol Machines: "Medical Procedure" Is Included into a "Group" |
|
|
70 | (2) |
|
4.7 Identification of Behavior Aspects |
|
|
72 | (2) |
|
4.8 Submodel for Interaction with a Product Manager |
|
|
74 | (5) |
|
4.8.1 Goal G.1. A Product Is Composed |
|
|
74 | (3) |
|
4.8.2 Identification of the Actor: Product Manager |
|
|
77 | (2) |
|
4.9 Submodel for Interaction with a Customer |
|
|
79 | (8) |
|
4.9.1 Goal G.2: A Registered Customer Bought a Policy |
|
|
79 | (2) |
|
4.9.2 Generation of Internal Events |
|
|
81 | (3) |
|
4.9.3 Goal G 3: A Claim of a Client with a Bought Policy Is Handled |
|
|
84 | (2) |
|
4.9.4 Actor: Insurance Client |
|
|
86 | (1) |
|
|
87 | (1) |
|
|
87 | (2) |
|
|
88 | (1) |
|
|
88 | (1) |
|
5 Examples of Business Models |
|
|
89 | (42) |
|
|
89 | (9) |
|
5.1.1 Goals and Requirements |
|
|
89 | (2) |
|
5.1.2 Model Discovery and Code of the Protocol Model |
|
|
91 | (5) |
|
|
96 | (1) |
|
5.1.4 Model Reuse and Extensions as Modeling Exercises |
|
|
97 | (1) |
|
5.2 Example 2: Mobile Phone with a Phone Book |
|
|
98 | (7) |
|
5.2.1 Goals and Requirements |
|
|
98 | (1) |
|
|
99 | (1) |
|
5.2.3 Code of the Protocol Model |
|
|
100 | (3) |
|
|
103 | (2) |
|
5.3 Example 3: Formal Accreditation of Prior Learning |
|
|
105 | (12) |
|
5.3.1 Goals and Requirements |
|
|
105 | (1) |
|
|
106 | (3) |
|
5.3.3 Code of the Protocol Model |
|
|
109 | (7) |
|
|
116 | (1) |
|
5.4 Example 4: Preparation of a Document by Several Participants |
|
|
117 | (14) |
|
5.4.1 Goals and Requirements |
|
|
117 | (1) |
|
|
118 | (2) |
|
5.4.3 Code of the Protocol Model |
|
|
120 | (7) |
|
|
127 | (1) |
|
|
128 | (1) |
|
|
128 | (3) |
|
Part III Performance Indicators, Motivation and Communication in Interactive Models |
|
|
|
6 Interactive Modeling and Simulation of Performance Indicators |
|
|
131 | (22) |
|
6.1 Static Definitions of Performance Indicators |
|
|
132 | (2) |
|
6.2 Constructive Definition of KPIs and Their Properties |
|
|
134 | (3) |
|
6.3 KPIs of the Program for Improving Access to Psychological Therapies |
|
|
137 | (1) |
|
6.4 Interactive Modeling and Simulation for Validation of KPIs |
|
|
137 | (13) |
|
6.4.1 A Document with KPI Definitions |
|
|
137 | (2) |
|
6.4.2 Identification and Relating the Business Goals and the Measurement Goals |
|
|
139 | (1) |
|
6.4.3 Conceptual Modeling of KPIs and the Related Processes in the Organization |
|
|
140 | (1) |
|
6.4.4 Protocol Modeling of Concepts, Including KPIs |
|
|
140 | (7) |
|
6.4.5 Validating the KPI Properties |
|
|
147 | (3) |
|
|
150 | (3) |
|
|
150 | (1) |
|
|
151 | (2) |
|
7 Motivation Modeling for Interactive Simulation |
|
|
153 | (14) |
|
7.1 Motivation and Business |
|
|
153 | (1) |
|
|
154 | (2) |
|
7.3 Protocol Models with Motivation |
|
|
156 | (8) |
|
7.3.1 CAN-UPDATE Protocol Model |
|
|
157 | (2) |
|
|
159 | (2) |
|
7.3.3 The Code of the Protocol Model |
|
|
161 | (3) |
|
7.3.4 Motivation Model for a Composition of Goals |
|
|
164 | (1) |
|
7.4 Usage of Motivation Models |
|
|
164 | (3) |
|
|
164 | (1) |
|
|
165 | (2) |
|
8 Modeling and Simulation of Multiparty Communication Businesses |
|
|
167 | (30) |
|
8.1 Multiparty Communication Businesses |
|
|
167 | (2) |
|
8.2 Design of Choreography by Example |
|
|
169 | (5) |
|
8.3 Realizability of Choreography |
|
|
174 | (5) |
|
8.3.1 Choreography as a Protocol Model |
|
|
175 | (4) |
|
8.4 Reduction of a Choreography to Its Participants |
|
|
179 | (7) |
|
|
179 | (1) |
|
|
180 | (2) |
|
8.4.3 Protocol Model of the Simplified Ordering Process Reduced to the Participants |
|
|
182 | (4) |
|
8.5 Shared Buying: A Choreography Presented as a Composition of Two Parallel Processes |
|
|
186 | (2) |
|
8.6 An Auction: A Choreography with an Unknown Number of Parallel Processes |
|
|
188 | (7) |
|
|
195 | (2) |
|
|
195 | (1) |
|
|
196 | (1) |
Future Research Opportunities |
|
197 | (2) |
Index |
|
199 | |