Dong / Paul / Zhang High Assurance Services Computing

1. Auflage 2009
ISBN: 978-0-387-87658-0
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 324 Seiten

Service computing is a cutting-edge area, popular in both industry and academia. New challenges have been introduced to develop service-oriented systems with high assurance requirements. High Assurance Services Computing captures and makes accessible the most recent practical developments in service-oriented high-assurance systems. An edited volume contributed by well-established researchers in this field worldwide, this book reports the best current practices and emerging methods in the areas of service-oriented techniques for high assurance systems. Available results from industry and government, R&D laboratories and academia are included, along with unreported results from the 'hands-on' experiences of software professionals in the respective domains. Designed for practitioners and researchers working for industrial organizations and government agencies, High Assurance Services Computing is also suitable for advanced-level students in computer science and engineering.

Autoren/Hrsg.

Dong, Jing

Paul, Raymond

Zhang, Liang-Jie

Inhaltsverzeichnis

1;Table of Contents;5
2;Preface;7
3;Chapter 1 Translucent Replication for Service Level Assurance;13
3.1;1. Introduction;13
3.2;2. Service Level Assurance of Performance;15
3.3;3. Performance Models;18
3.4;4. Translucent Replication;19
3.5;5. High Assurance in the Operating Room;24
3.6;6. Summary;26
3.7;References;27
4;Chapter 2 Trustworthiness Assessment Framework for Net- Centric Systems;31
4.1;1. Introduction;31
4.2;2. Ontology for Trustworthiness Assessment;34
4.3;3. An Ontology-based Integrated Assessment Framework;46
4.4;4. Holistic Assessment Techniques;51
4.5;5. Summary and Future Research Directions;55
4.6;References;55
5;Chapter 3 A Trust Monitoring Architecture for Service- Based Software;57
5.1;1. Introduction;57
5.2;2. TrAM: The Trust Architecture for Monitoring;59
5.3;3. Implementation and Experimental Evaluation;67
5.4;4. Related Work;72
5.5;5. Conclusions and Future Work;73
5.6;References;74
6;Chapter 5 Service Composition Quality Evaluation in SPICE Platform;99
6.1;1. Introduction;99
6.2;2. SPICE Project;100
6.3;3. SPATEL Language;104
6.4;4. Ontology for non-functional properties;106
6.5;5. Aggregation of Non Functional Properties;108
6.6;6. Conclusions;111
6.7;References;111
7;Chapter 6 High- Assurance Service Systems;113
7.1;1. Introduction;113
7.2;2. Cyberspatial Reference Model;115
7.3;3. Timeliness in High-Assurance Service Systems;122
7.4;4. Messages;125
7.5;5. Performance Metrics;126
7.6;6. Service Dynamics;127
7.7;7. HASS Value Propositions;130
7.8;8. HASS Value Metrics;133
7.9;9. Conclusions;134
7.10;References;135
8;Chapter 8 A Formal Framework for Developing High Assurance Event Driven Service- Oriented Systems;154
8.1;1. Introduction;154
8.2;2. Related Work;156
8.3;3. SOL: The Secure Operations Language;158
8.4;4. SINS;166
8.5;5. A Static Type System for Enforcing Information Flow Policies in SOL;167
8.6;6. Experiences;168
8.7;7. Concluding Remarks;169
8.8;References;169
9;Chapter 10 Developing Dependable Systems by Maximizing Component Diversity;201
9.1;1. Introduction;201
9.2;2. Basic Concepts and Context;202
9.3;3. Operational Profiles to Capture Environmental Diversity;204
9.4;4. Assessing Dependability Attributes and Maximizing Diversity;207
9.5;5. Diversity: Internal Perspective;212
9.6;6. Diversity: Value Perspective;217
9.7;7. Conclusions and Future Work;222
9.8;References;223
10;Chapter 11 High Assurance BPEL Process Models;226
10.1;1. Introduction;226
10.2;2. Related Work;231
10.3;3. BPEL Process Examples;233
10.4;4. Modeling BPEL Processes with Sequence Diagrams;237
10.5;5. BPEL Inconsistency Analysis;240
10.6;6. Conclusions;244
10.7;References;246
11;Chapter 12 Specifying Enterprise Web-Oriented Architecture;248
11.1;1 Introduction;248
11.2;2 Specifying EWOA;250
11.3;3. High-Assurance EWOA;260
11.4;4. Relationships between EWOA and ESOA;264
11.5;5. Related Work;265
11.6;6. Conclusions and Future Work;266
11.7;References;266
12;Chapter 13 Designing an SOA for P2P On-Demand Video Delivery;268
12.1;1. Introduction;268
12.2;2. Related Work;271
12.3;3. System Architecture;272
12.4;4. The Service Model;275
12.5;5. SLA Specifications;276
12.6;6. PACTS Design and Implementation;279
12.7;7. Performance Evaluation;284
12.8;8. Conclusion;289
12.9;References;289
13;Chapter 14 A Coverage Relationship Model for Test Case Selection and Ranking for Multi- version Software;291
13.1;1 Introduction;291
13.2;2 Testing Techniques in SOA Lifecycles;293
13.3;3 Objectives;296
13.4;4 Coverage Relationship Model (CRM);298
13.5;5 Simplified Coverage Relationship Model Analysis;303
13.6;6 Adaptive Test Cases Ranking Algorithm;309
13.7;7 Experiment Studies;313
13.8;8 Conclusions;316
13.9;References;316
14;About the Editors;318
15;About the Authors;319
16;Index;327