High Assurance Services Computing

• Corporate Author: SpringerLink (Online service)
• Other Authors: Zhang, Liang-Jie (Editor), Paul, Raymond (Editor), Dong, Jing (Editor)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 2009.
• Subjects: Computer science.; Business mathematics.; Computer software > Reusability.; Microprocessors.; Software engineering.; Computer programming.; Computers.; Computer Science.; Software Engineering/Programming and Operating Systems.; Theory of Computation.; Business Mathematics.; Performance and Reliability.; Processor Architectures.; Programming Techniques.

High Assurance Services Computing Jing Dong, Raymond Paul, Liang-Jie Zhang 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 capt...

Table of Contents:

• Translucent Replication for Service Level Assurance
• Trustworthiness Assessment Framework for Net-Centric Systems
• A Trust Monitoring Architecture for Service-Based Software
• Human Interoperability Enterprise for High-Assurance Systems
• Service Composition Quality Evaluation in SPICE Platform
• High-Assurance Service Systems
• A Graph Grammar Approach to Behavior Verification of Web Services
• A Formal Framework for Developing High Assurance Event Driven Service-Oriented Systems
• Towards A Dependable Software Paradigm for Service-Oriented Computing
• Developing Dependable Systems by Maximizing Component Diversity
• High Assurance BPEL Process Models
• Specifying Enterprise Web-Oriented Architecture
• Designing an SOA for P2P On-Demand Video Delivery
• A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software.