High Assurance Services Computing (eBook)

Jing Dong, Raymond Paul, Liang-Jie Zhang (Herausgeber)

eBook Download: PDF

2009 | 2009
XII, 324 Seiten
Springer US (Verlag)
978-0-387-87658-0 (ISBN)

Infos

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.

---

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 "e;hands-on"e; 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.

Inhalt

Table of Contents 5
Preface 7
Chapter 1 Translucent Replication for Service Level Assurance 13
1. Introduction 13
2. Service Level Assurance of Performance 15
3. Performance Models 18
4. Translucent Replication 19
5. High Assurance in the Operating Room 24
6. Summary 26
References 27
Chapter 2 Trustworthiness Assessment Framework for Net- Centric Systems 31
1. Introduction 31
2. Ontology for Trustworthiness Assessment 34
3. An Ontology-based Integrated Assessment Framework 46
4. Holistic Assessment Techniques 51
5. Summary and Future Research Directions 55
References 55
Chapter 3 A Trust Monitoring Architecture for Service- Based Software 57
1. Introduction 57
2. TrAM: The Trust Architecture for Monitoring 59
3. Implementation and Experimental Evaluation 67
4. Related Work 72
5. Conclusions and Future Work 73
References 74
Chapter 5 Service Composition Quality Evaluation in SPICE Platform 99
1. Introduction 99
2. SPICE Project 100
3. SPATEL Language 104
4. Ontology for non-functional properties 106
5. Aggregation of Non Functional Properties 108
6. Conclusions 111
References 111
Chapter 6 High- Assurance Service Systems 113
1. Introduction 113
2. Cyberspatial Reference Model 115
3. Timeliness in High-Assurance Service Systems 122
4. Messages 125
5. Performance Metrics 126
6. Service Dynamics 127
7. HASS Value Propositions 130
8. HASS Value Metrics 133
9. Conclusions 134
References 135
Chapter 8 A Formal Framework for Developing High Assurance Event Driven Service- Oriented Systems 154
1. Introduction 154
2. Related Work 156
3. SOL: The Secure Operations Language 158
4. SINS 166
5. A Static Type System for Enforcing Information Flow Policies in SOL 167
6. Experiences 168
7. Concluding Remarks 169
References 169
Chapter 10 Developing Dependable Systems by Maximizing Component Diversity 201
1. Introduction 201
2. Basic Concepts and Context 202
3. Operational Profiles to Capture Environmental Diversity 204
4. Assessing Dependability Attributes and Maximizing Diversity 207
5. Diversity: Internal Perspective 212
6. Diversity: Value Perspective 217
7. Conclusions and Future Work 222
References 223
Chapter 11 High Assurance BPEL Process Models 226
1. Introduction 226
2. Related Work 231
3. BPEL Process Examples 233
4. Modeling BPEL Processes with Sequence Diagrams 237
5. BPEL Inconsistency Analysis 240
6. Conclusions 244
References 246
Chapter 12 Specifying Enterprise Web-Oriented Architecture 248
1 Introduction 248
2 Specifying EWOA 250
3. High-Assurance EWOA 260
4. Relationships between EWOA and ESOA 264
5. Related Work 265
6. Conclusions and Future Work 266
References 266
Chapter 13 Designing an SOA for P2P On-Demand Video Delivery 268
1. Introduction 268
2. Related Work 271
3. System Architecture 272
4. The Service Model 275
5. SLA Specifications 276
6. PACTS Design and Implementation 279
7. Performance Evaluation 284
8. Conclusion 289
References 289
Chapter 14 A Coverage Relationship Model for Test Case Selection and Ranking for Multi- version Software 291
1 Introduction 291
2 Testing Techniques in SOA Lifecycles 293
3 Objectives 296
4 Coverage Relationship Model (CRM) 298
5 Simplified Coverage Relationship Model Analysis 303
6 Adaptive Test Cases Ranking Algorithm 309
7 Experiment Studies 313
8 Conclusions 316
References 316
About the Editors 318
About the Authors 319
Index 327

Produkt-Details

• Erscheint lt. Verlag: 28.5.2009
• Zusatzinfo: XII, 324 p. 130 illus.
• Verlagsort: New York
• Sprache: englisch
• Themenwelt: Informatik ► Netzwerke ► Sicherheit / Firewall
• Themenwelt: Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
• Themenwelt: Mathematik / Informatik ► Informatik ► Software Entwicklung
• Themenwelt: Mathematik / Informatik ► Informatik ► Theorie / Studium
• Themenwelt: Mathematik / Informatik ► Mathematik ► Finanz- / Wirtschaftsmathematik
• Themenwelt: Technik
• Themenwelt: Wirtschaft
• Schlagworte: Assurance • computing • currentsmp • Evaluation • formal methods • Interoperability • Modeling • Modelling • organization • replication techniques • Service Composition • Service-Oriented Architecture • service-oriented architectures • Services • Software • wearable ambient sensors • Web service
• ISBN-10: 0-387-87658-8 / 0387876588
• ISBN-13: 978-0-387-87658-0 / 9780387876580