Dustdar / Li Service Engineering

European Research Results
1. Auflage 2010
ISBN: 978-3-7091-0415-6
Verlag: Springer Vienna
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 338 Seiten

Service engineering is increasingly posing challenges to traditional software engineering methodologies including specification, modeling, architecture, and verification, just to name a few. On the other hand, the latest advancements in software engineering are continuously leveraged in Service Engineering research, especially in the design and implementation of service-oriented systems. Several mutual impacts between service engineering and software engineering could be observed in the last decade, and many research efforts have been devoted to the field. However, in spite of the considerable efforts and significant contributions, few have attempted to summarize the research results systematically.

Autoren/Hrsg.

Dustdar, Schahram

Li, Fei

Inhaltsverzeichnis

1;Preface;4
2;Contents;6
3;Acronyms;8
4;Chapter 1 - Describing Case Studies and Classifying Research Approaches;12
4.1;1.1 Introduction;12
4.2;1.2 Mobile Phone Services Portability Case Study;13
4.2.1;1.2.1 Business Goal and Domain Assumptions;14
4.2.1.1;1.2.1.1 Business Goals;14
4.2.1.2;1.2.1.2 Domain Assumptions;17
4.2.2;1.2.2 Domain Analysis;18
4.2.2.1;1.2.2.1 Strategic Dependency Model and Context Diagram;19
4.2.2.2;1.2.2.2 Domain Model;19
4.2.3;1.2.3 Scenarios;21
4.3;1.3 Research Results Classification;24
4.3.1;1.3.1 S-Cube Integrated Research Framework;24
4.3.2;1.3.2 S-Cube Research Challenges;26
4.3.3;1.3.3 Research Results in Service Engineering;28
4.4;References;34
5;Chapter 2 - Model-driven Service Engineering with SoaML;35
5.1;2.1 Introduction and Overview;36
5.1.1;2.1.1 Background and Motivation;36
5.1.2;2.1.2 Solution Idea;37
5.1.3;2.1.3 Outline of the Approach;38
5.1.4;2.1.4 Structure of the Chapter;39
5.2;2.2 Illustrative Scenario;40
5.3;2.3 Business Architecture Modelling;40
5.3.1;2.3.1 Business Goals;41
5.3.1.1;2.3.1.1 Modelling of Business Goals;42
5.3.2;2.3.2 Business Processes;42
5.3.2.1;2.3.2.1 Modelling of Business Processes;43
5.3.3;2.3.3 Capabilities;44
5.3.3.1;2.3.3.1 Modelling of Capabilities;46
5.3.4;2.3.4 Services Architectures;47
5.3.4.1;2.3.4.1 Modelling of Services Architectures;47
5.3.5;2.3.5 Service Contracts and Choreographies;48
5.3.5.1;2.3.5.1 Modelling of Service Contracts;50
5.3.5.2;2.3.5.2 Modelling of Service Choreographies;52
5.4;2.4 System Architecture Modelling;52
5.4.1;2.4.1 Service Interfaces;53
5.4.1.1;2.4.1.1 Modelling of Service Interfaces;54
5.4.2;2.4.2 Interfaces and Messages;54
5.4.2.1;2.4.2.1 Modelling of Interfaces and Messages;56
5.4.3;2.4.3 Service Choreographies;56
5.4.3.1;2.4.3.1 Modelling Service Choreographies;57
5.4.4;2.4.4 Software Components;58
5.4.4.1;2.4.4.1 Modelling Software Components;58
5.5;2.5 Related Work and Discussion;60
5.5.1;2.5.1 Model-Driven Methodologies;60
5.5.2;2.5.2 Service Engineering Methodologies;60
5.5.3;2.5.3 Discussion;61
5.6;2.6 Concluding Remarks and Future Work;62
5.7;References;63
6;Chapter 3 - Modelling Service Requirements Variability: The DiVAWay;65
6.1;3.1 Introduction;65
6.2;3.2 DiVA Overview;66
6.3;3.3 Requirements Engineering in DiVA;68
6.3.1;3.3.1 Overview;68
6.3.2;3.3.2 Case-Study Requirements Engineering;69
6.3.2.1;3.3.2.1 Automatic Generation of the Initial Feature Tree;69
6.3.2.2;3.3.2.2 Feature Tree Naming and Refinement;69
6.3.2.3;3.3.2.3 Context and Constraint Analysis;71
6.4;3.4 Variability Modelling in DiVA;73
6.4.1;3.4.1 Overview;73
6.4.2;3.4.2 Requirements Mapping;75
6.4.3;3.4.3 Case-Study DiVA Model;77
6.4.3.1;3.4.3.1 Dimensions and Variants;77
6.4.3.2;3.4.3.2 ContextModel;78
6.4.3.3;3.4.3.3 Adaptation Constraints;80
6.4.3.4;3.4.3.4 Quality of Service;81
6.4.4;3.4.4 Simulation for Configuration Selection;82
6.5;3.5 Adaptive Service Implementation and Integration;85
6.6;3.6 Related Work;88
6.6.1;3.6.1 Variability Requirements Engineering;89
6.6.2;3.6.2 Variability Modelling;90
6.6.3;3.6.3 Adaptive Service Implementation;91
6.7;3.7 Conclusions;91
6.8;References;92
7;Chapter 4 - Coordination, Organisation and Model-driven Approaches for Dynamic, Flexible, Robust Software and Services Engineering;95
7.1;4.1 Introduction;96
7.2;4.2 Motivating Scenario;98
7.2.1;4.2.1 A More Concrete Example;99
7.2.2;4.2.2 Components of the Scenario;100
7.3;4.3 The ALIVE Approach;101
7.3.1;4.3.1 ALIVE Architecture;101
7.3.2;4.3.2 Modelling the Scenario;103
7.3.3;4.3.3 The Organisational Level;104
7.3.3.1;4.3.3.1 Social Structure;105
7.3.3.2;4.3.3.2 Interaction Structure;105
7.3.3.3;4.3.3.3 Normative Structure;105
7.3.3.4;4.3.3.4 Communicative Structure;106
7.3.3.5;4.3.3.5 Scenario’s Social/Organisational Component;106
7.3.4;4.3.4 The Coordination Level;106
7.3.4.1;4.3.4.1 Agents for Coordination;108
7.3.4.2;4.3.4.2 Coordination Models and Workflows;109
7.3.4.3;4.3.4.3 Scenario Interaction Component;110
7.3.4.4;4.3.4.4 Scenario Modelling of Actions;110
7.3.5;4.3.5 The Service Level;111
7.3.5.1;4.3.5.1 Services;111
7.3.5.2;4.3.5.2 Matchmaking;113
7.3.5.3;4.3.5.3 Service Execution and Monitoring;114
7.3.5.4;4.3.5.4 Scenario’sWeb Services Component;115
7.3.6;4.3.6 The Model-Driven Approach in ALIVE;116
7.4;4.4 Critical Review;116
7.5;4.5 Limitations in Existing Approaches;118
7.5.1;4.5.1 Service-Oriented Architecture;119
7.5.2;4.5.2 Service-Oriented Components;119
7.5.3;4.5.3 Engineering of SOAs;122
7.6;4.6 Conclusion;122
7.7;References;123
8;Chapter 5 - Model-aware Monitoring of SOAs for Compliance;126
8.1;5.1 Introduction;126
8.2;5.2 Motivating Scenario;128
8.3;5.3 Model-Aware Event-Based Monitoring;130
8.3.1;5.3.1 Approach Overview;130
8.3.2;5.3.2 Model-Aware Repository and Service Environment;132
8.3.2.1;5.3.2.1 Model-Traceability for Process-Driven SOAs;132
8.3.3;5.3.3 Event Monitoring and Processing;133
8.4;5.4 Case Study;135
8.4.1;5.4.1 Annotating Business Process Models with Compliance Concerns;136
8.4.2;5.4.2 Event Processing;137
8.4.3;5.4.3 Compliance Checking;138
8.5;5.5 Discussion;138
8.6;5.6 Related Work;140
8.6.1;5.6.1 Related Work on Event-based Monitoring;140
8.6.2;5.6.2 Related Work on Requirements Monitoring;141
8.6.3;5.6.3 Related Work on Model Repositories;142
8.7;5.7 Conclusion;142
8.8;References;143
9;Chapter 6 - Integrating Perfective and Corrective Adaptation of Service-based Applications;146
9.1;6.1 Introduction and Overview;147
9.1.1;6.1.1 Motivation and Problem Statement;147
9.1.2;6.1.2 Solution Idea;147
9.1.3;6.1.3 Focus and Assumptions;149
9.1.4;6.1.4 Outline of the Approach;149
9.1.5;6.1.5 Structure of Chapter;150
9.2;6.2 Related Work;150
9.2.1;6.2.1 Related Work on Multi-Goal Adaptation;151
9.2.2;6.2.2 Related Work on Requirements Engineering;151
9.2.3;6.2.3 Related Work on Monitoring for Adaptation;152
9.2.4;6.2.4 Related Work on Online Testing and Regression Testing;153
9.3;6.3 Illustrative Scenario;154
9.4;6.4 Using Requirements Engineering Techniques for Perfective Adaptation;155
9.4.1;6.4.1 Goal Modelling in Tropos;156
9.4.2;6.4.2 Using Goal-Models to Trigger Adaptation;156
9.4.2.1;6.4.2.1 Comparing the Service and the Plan Goal Models;159
9.4.2.2;6.4.2.2 Decision Support for Adapting a SBA;160
9.5;6.5 Online Testing for Corrective Adaptation;163
9.5.1;6.5.1 PROSA: Proactive Self-Adaptation Through Online Testing;164
9.5.1.1;6.5.1.1 Test initiation;165
9.5.1.2;6.5.1.2 Test Case Generation/Selection;165
9.5.1.3;6.5.1.3 Test Execution;166
9.5.1.4;6.5.1.4 Adaptation Detection;166
9.6;6.6 Integrating Perfective and Corrective Adaptation;166
9.6.1;6.6.1 Introduction to Workflow Adaptation;167
9.6.1.1;6.6.1.1 The Enterprise Service Registry;167
9.6.2;6.6.2 Validation Scenario;168
9.6.2.1;6.6.2.1 Adaptation Triggered by the Requirements Engineer;169
9.6.2.2;6.6.2.2 Adaptation Triggered by Online Testing;170
9.7;6.7 Discussion;170
9.7.1;6.7.1 Discussion of the Requirements Engineering Technique;170
9.7.2;6.7.2 Discussion of the Online Testing Technique;171
9.7.3;6.7.3 Discussion of the Integrated Approach;172
9.8;6.8 Conclusions and Perspectives;174
9.9;References;175
10;Chapter 7 - Combining Domain-driven Design and Mashups for Service Development;179
10.1;7.1 Introduction;180
10.2;7.2 Case Study;181
10.3;7.3 The Romulus Approach;182
10.4;7.4 Domain Driven Design;185
10.4.1;7.4.1 Overview;185
10.4.2;7.4.2 Case Study;187
10.5;7.5 Roma Metaframework;189
10.5.1;7.5.1 Roma Overview;189
10.5.2;7.5.2 Roma Metaframework Model;191
10.5.3;7.5.3 Case Study;195
10.6;7.6 Mashups in Romulus;198
10.6.1;7.6.1 Overview;198
10.6.2;7.6.2 MyCocktail;198
10.6.3;7.6.3 Mashups in Roma;200
10.6.4;7.6.4 Case Study;202
10.7;7.7 Related Work;203
10.7.1;7.7.1 Agile Web Frameworks;203
10.7.2;7.7.2 Mashups for Service Composition;204
10.8;7.8 Conclusions;205
10.9;References;206
11;Chapter 8 - Guidance in Business Process Modelling;209
11.1;8.1 Introduction;210
11.2;8.2 Motivating Scenario;210
11.3;8.3 Existing Approaches and Their Limitations;212
11.3.1;8.3.1 State of the Art;212
11.3.2;8.3.2 Mathematic Background of Business Process Refinement;214
11.3.2.1;8.3.2.1 Syntax of Process Models;214
11.3.2.2;8.3.2.2 Execution Set Semantics of Process Models;215
11.3.2.3;8.3.2.3 Consistent Process Refinement;216
11.4;8.4 Proposed Approach;218
11.4.1;8.4.1 Example Refinement;218
11.4.2;8.4.2 Ontologies;220
11.4.3;8.4.3 Consistency Guidance;221
11.4.3.1;8.4.3.1 Refinement Representation in Ontologies;222
11.4.3.2;8.4.3.2 Reasoning for Consistency Check;225
11.4.3.3;8.4.3.3 Conclusion of Consistency Guidance;226
11.4.4;8.4.4 Process Guidance;226
11.4.4.1;8.4.4.1 Guidance in Modelling Systems;226
11.4.4.2;8.4.4.2 Task Representation and Retrieval via Ontologies;228
11.4.5;8.4.5 Integrated Guidance;233
11.4.5.1;8.4.5.1 The Guidance Engine;233
11.4.5.2;8.4.5.2 Tool Support for Guidance in Modelling;235
11.5;8.5 Evaluation;236
11.6;8.6 Conclusion;238
11.7;References;238
12;Chapter 9 - Adaptive Service Binding with Lightweight Semantic Web Services;240
12.1;9.1 Introduction;241
12.2;9.2 A Case Study in Added-Value Services and Service Portability;242
12.3;9.3 Background and RelatedWork;245
12.3.1;9.3.1 Adaptive Service Binding;245
12.3.2;9.3.2 Semantic Web Services;246
12.4;9.4 Scalable Late-binding of Services based on Lightweight Semantic Annotations;249
12.4.1;9.4.1 Lightweight Semantic Descriptions for Services on the Web;251
12.4.1.1;9.4.1.1 WSMO-Lite;251
12.4.1.2;9.4.1.2 MicroWSMO;252
12.4.1.3;9.4.1.3 Minimal Service Model;253
12.4.2;9.4.2 Services and Annotations;253
12.4.3;9.4.3 Services Publication;255
12.4.4;9.4.4 Template-based Service Selection;258
12.4.4.1;9.4.4.1 Automatic Transformation of Service Templates to SPARQL;259
12.4.4.2;9.4.4.2 Match Reports;260
12.4.4.3;9.4.4.3 Checking Preconditions;261
12.5;9.5 Conclusions and Future Work;262
12.6;9.6 Appendix;263
12.7;References;264
13;Chapter 10 - Designing and Adapting Service-based Systems: A Service Discovery Framework;268
13.1;10.1 Introduction;268
13.2;10.2 Overview of the Framework;271
13.3;10.3 Query Language;275
13.3.1;10.3.1 Structural Sub-query;275
13.3.2;10.3.2 Behavioural Sub-query;278
13.3.3;10.3.3 Constraint Sub-query;280
13.4;10.4 Query Execution and Matching Process;283
13.4.1;10.4.1 Query Execution for Design of Service-based Systems;285
13.4.2;10.4.2 Query Execution for Adaptation of Service-based Systems;290
13.5;10.5 Discussion;296
13.6;10.6 Related Work;298
13.7;10.7 Conclusions and Future Work;301
13.8;References;302
14;Chapter 11 - VRESCo – Vienna Runtime Environment for Service-oriented Computing;305
14.1;11.1 Introduction;306
14.2;11.2 Example Scenario;307
14.2.1;11.2.1 Involved Web Services;308
14.2.2;11.2.2 SOC Challenges;309
14.3;11.3 The VRESCo Solution;311
14.3.1;11.3.1 System Overview;311
14.3.2;11.3.2 Metadata Model and Service Model;313
14.3.3;11.3.3 Service Querying;315
14.3.4;11.3.4 Service Versioning;316
14.3.5;11.3.5 QoS-Based Service Selection;317
14.3.6;11.3.6 Dynamic Service Invocation;320
14.3.6.1;11.3.6.1 Dynamic Binding;320
14.3.6.2;11.3.6.2 Message-Centric Communication;321
14.3.7;11.3.7 Service Mediation;322
14.4;11.4 Related Work;325
14.5;11.5 Conclusion;328
14.6;References;329
15;Glossary;331
15.1;Understanding the glossary;331
15.2;Terms;331
15.3;References;341
16;Index;343