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 Service Computing capturesand 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 Service Computing is also suitable for advanced-level students in computer science and engineering. Covers service-oriented technologies in different domains including high assurance systems Assistssoftware 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 INDICE: Preface.- Self-Adaptive Interoperability of Dynamically DiscoveredServices.- Adaptive Management of QoS Assured Provision of Composite Services.- Using Patterns for Security Assurance of Service Oriented Architectures.- Replication Techniques for Service Level Assurance.- Model-Based Specification of High Assurance Services.- Formal Methods for High Assurance Service-Oriented Computing.- A Trust Monitoring Architecture for Service-Based Software.- Replication Techniques for Service Level Assurance.- Service-Based Modelling for Elderly Care with Wearable and Ambient Sensors.- Assuring Timeliness of Volunteer e-Science.- Quality Evaluation of Service Composition.- Index.
- ISBN: 978-0-387-87657-3
- Editorial: Springer
- Encuadernacion: Cartoné
- Páginas: 300
- Fecha Publicación: 01/04/2009
- Nº Volúmenes: 1
- Idioma: Inglés