High Assurance Services Computing

by Dong

• ISBN13: 9780387876573
• ISBN10: 038787657X
• Format: Hardcover
• Copyright: 2009-06-26
• Publisher: Springer-Verlag New York Inc

Summary

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.

Table of Contents

Preface	p. VII
Translucent Replication for Service Level Assurance	p. 1
Trustworthiness Assessment Framework for Net-Centric Systems	p. 19
A Trust Monitoring Architecture for Service-Based Software	p. 45
Human Interoperability Enterprise for High-Assurance Systems	p. 65
Service Composition Quality Evaluation in SPICE Platform	p. 89
High-Assurance Service Systems	p. 103
A Graph Grammar Approach to Behavior Verification of Web Services	p. 127
A Formal Framework for Developing High Assurance Event Driven Service-Oriented Systems	p. 145
Towards A Dependable Software Paradigm for Service-Oriented Computing	p. 163
Developing Dependable Systems by Maximizing Component Diversity	p. 193
High Assurance BPEL Process Models	p. 219
Specifying Enterprise Web-Oriented Architecture	p. 241
Designing an SOA for P2P On-Demand Video Delivery	p. 261
A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software	p. 285
About the Editors	p. 313
About the Authors	p. 315
Index	p. 323
Table of Contents provided by Ingram. All Rights Reserved.