Muutke küpsiste eelistusi

E-raamat: Interactive Modeling and Simulation in Business System Design

Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

This classroom-texted textbook/reference presents a set of useful modeling techniques, describing how these can be combined into a powerful framework for the analysis and design of business systems. These techniques follow an interactive modeling and simulation (IMS) approach, enabling the modeling and simulation of separate parts of the system at different levels of abstraction, and the composition of these parts in a flexible crosscutting manner that preserves the behavior of the individual parts. Topics and features: presents a detailed introduction to the foundations of IMS for business system design, covering protocol modeling and goal modeling semantics; describes the practical application of IMS for business system design, illustrated by a selection of useful case studies; highlights the advantages of this approach to IMS for business system design, with a focus on performance management, motivation modeling, and communication; includes review questions and exercises at the

end of each chapter.

Introduction to Interactive Modeling and SimulationBehavior Modeling for InteractionGoal Modeling for InteractionMastering Interactive Modeling and Simulation with an Insurance CaseExamples of Business ModelsInteractive Modeling and Simulation of Performance IndicatorsMotivation Modeling for Interactive SimulationModeling and Simulation of Multiparty Communication BusinessesFuture Research Opportunities
Part I Behavior and Goal Modeling as Semantic Foundations of Interactive Modeling and Simulation
1 Introduction to Interactive Modeling and Simulation
3(10)
1.1 Business Systems
3(1)
1.2 Behavior Modeling
4(1)
1.3 The Need for Interactivity
5(4)
1.3.1 Existing Practice
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)
References
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)
2.2 Protocol Modeling
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)
Problems
43(1)
References
44(3)
3 Goal Modeling for Interaction
47(16)
3.1 What Is a Goal?
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)
3.4 Final Remarks
59(4)
Problems
59(1)
References
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)
4.1.1 Quiescent States
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)
4.10 Simulation
87(1)
4.11 Conclusion
87(2)
Problems
88(1)
References
88(1)
5 Examples of Business Models
89(42)
5.1 Example 1: Library
89(9)
5.1.1 Goals and Requirements
89(2)
5.1.2 Model Discovery and Code of the Protocol Model
91(5)
5.1.3 Model Simulation
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)
5.2.2 Model Discovery
99(1)
5.2.3 Code of the Protocol Model
100(3)
5.2.4 Model Simulation
103(2)
5.3 Example 3: Formal Accreditation of Prior Learning
105(12)
5.3.1 Goals and Requirements
105(1)
5.3.2 Model Discovery
106(3)
5.3.3 Code of the Protocol Model
109(7)
5.3.4 Model Simulation
116(1)
5.4 Example 4: Preparation of a Document by Several Participants
117(14)
5.4.1 Goals and Requirements
117(1)
5.4.2 Model Discovery
118(2)
5.4.3 Code of the Protocol Model
120(7)
5.4.4 Model Simulation
127(1)
Problems
128(1)
References
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)
6.5 Final Remarks
150(3)
Problems
150(1)
References
151(2)
7 Motivation Modeling for Interactive Simulation
153(14)
7.1 Motivation and Business
153(1)
7.2 Motivation Modeling
154(2)
7.3 Protocol Models with Motivation
156(8)
7.3.1 CAN-UPDATE Protocol Model
157(2)
7.3.2 WANT-Model
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)
Problems
164(1)
References
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)
8.4.1 Simple Reduction
179(1)
8.4.2 Exact Reduction
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)
8.7 Concluding Remarks
195(2)
Problems
195(1)
References
196(1)
Future Research Opportunities 197(2)
Index 199
Dr. Ella E. Roubtsova is a Senior Member of the IEEE, an Honorary Fellow of Munich University of Applied Sciences, and an Assistant Professor in the Faculty of Informatics at the Open University of the Netherlands.