High Assurance Services Computing / Edition 1

High Assurance Services Computing / Edition 1

by Jing Dong
     
 

Services 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

See more details below

Overview

Services 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 their 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.

Read More

Product Details

ISBN-13:
9780387876573
Publisher:
Springer US
Publication date:
06/01/2009
Edition description:
2009
Pages:
324
Product dimensions:
9.21(w) x 6.14(h) x 0.81(d)

Meet the Author

Table of Contents

Preface VII

Chapter 1 Translucent Replication for Service Level Assurance Vladimir Stantchev Miroslaw Malek 1

Chapter 2 Trustworthiness Assessment Framework for Net-Centric Systems Raymond Paul Jing Dong I-Ling Yen Farokh Bastani 19

Chapter 3 A Trust Monitoring Architecture for Service-Based Software Mohammad Gias Uddin Mohammad Zulkernine 45

Chapter 4 Human Interoperability Enterprise for High-Assurance Systems Raymond Paul Stefania Brown-VanHoozer Arif Ghafoor 65

Chapter 5 Service Composition Quality Evaluation in SPICE Platform Paolo Falcarin 89

Chapter 6 High-Assurance Service Systems Jay Bayne 103

Chapter 7 A Graph Grammar Approach to Behavior Verification of Web Services Chunying Zhao Kang Zhang 127

Chapter 8 A Formal Framework for Developing High Assurance Event Driven Service-Oriented Systems Manuel Peralta Supratik Mukhpadhyay Ramesh Bharadwaj 145

Chapter 9 Towards A Dependable Software Paradigm for Service-Oriented Computing Xiaoxing Ma S.C. Cheung Chun Cao Feng Xu Jian Lu 163

Chapter 10 Developing Dependable Systems by Maximizing Component Diversity Jeff Tian Suku Nair LiGuo Huang Nasser Alaeddine Michael F. Siok 193

Chapter 11 High Assurance BPEL Process Models Mark Robinson Hui Shen Jianwei Niu 219

Chapter 12 Specifying Enterprise Web-Oriented Architecture Longji Tang Yajing Zhao Jing Dong 241

Chapter 13 Designing an SOA for P2P On-Demand Video Delivery Zhenghua Fu Jun-Jang Jeng Hui Lei Chao Liang 261

Chapter 14 A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software Wei-Tek Tsai Xinyu Zhou Raymond A. Paul Yinong Chen Xiaoying Bai 285

About the Editors 313

About the Authors 315

Index 323

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >