Skip to main content
SpringerLink
Log in
Book cover

High Assurance Services Computing

  • Book
  • © 2009

Overview

Editors:
  1. Liang-Jie Zhang
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Raymond Paul
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jing Dong
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Covers service-oriented technologies in different domains including high assurance systems
  • Assists software engineers from industry and government laboratories who develop mission-critical software, and simultaneously provides academia with a practitioner’s outlook on the problems of high-assurance software development
  • Includes supplementary material: sn.pub/extras

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 chapters)

  1. Front Matter

    Pages 1-11
    Download chapter PDF

  2. Translucent Replication for Service Level Assurance

    • Vladimir Stantchev, Miroslaw Malek
    Pages 1-18

  3. Trustworthiness Assessment Framework for Net-Centric Systems

    • Raymond Paul, Jing Dong, I-Ling Yen, Farokh Bastani
    Pages 19-44

  4. A Trust Monitoring Architecture for Service-Based Software

    • Mohammad Gias Uddin, Mohammad Zulkernine
    Pages 45-63

  5. Human Interoperability Enterprise for High-Assurance Systems

    • Raymond Paul, Stefania Brown-VanHoozer, Arif Ghafoor
    Pages 65-87

  6. Service Composition Quality Evaluation in SPICE Platform

    • Paolo Falcarin
    Pages 89-102

  7. High-Assurance Service Systems

    • Jay Bayne
    Pages 103-126

  8. A Graph Grammar Approach to Behavior Verification of Web Services

    • Chunying Zhao, Kang Zhang
    Pages 127-143

  9. A Formal Framework for Developing High Assurance Event Driven Service-Oriented Systems

    • Manuel Peralta, Supratik Mukhpadhyay, Ramesh Bharadwaj
    Pages 145-161

  10. Towards A Dependable Software Paradigm for Service-Oriented Computing

    • Xiaoxing Ma, S.C. Cheung, Chun Cao, Feng Xu, Jian Lu
    Pages 163-192

  11. Developing Dependable Systems by Maximizing Component Diversity

    • Jeff Tian, Suku Nair, LiGuo Huang, Nasser Alaeddine, Michael F. Siok
    Pages 193-217

  12. High Assurance BPEL Process Models

    • Mark Robinson, Hui Shen, Jianwei Niu
    Pages 219-240

  13. Specifying Enterprise Web-Oriented Architecture

    • Longji Tang, Yajing Zhao, Jing Dong
    Pages 241-260

  14. Designing an SOA for P2P On-Demand Video Delivery

    • Zhenghua Fu, Jun-Jang Jeng, Hui Lei, Chao Liang
    Pages 261-283

  15. 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
    Pages 285-311

  16. Back Matter

    Pages 1-11
    Download chapter PDF
Back to top

Keywords

About this book

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.

Reviews

From the reviews: “This fascinating book--on an important set of topics--brings together current research in high-assurance computing. Services computing is an emerging discipline that bridges the gap between business services and information technology services. The core technologies for services computing are service oriented architecture (SOA) and Web services. … This collection of research articles is best suited for a graduate-level academic audience and for practitioners who are particularly immersed in service-oriented computing.” (Charles K. Davis, ACM Computing Reviews, January, 2010)

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation