Towards pattern-based reliability certification of services

Authors:
Ingrid Buckley;Eduardo B. Fernandez;Marco Anisetti;Claudio A. Ardagna;Masoud Sadjadi;Ernesto Damiani
Affiliations:
Department of Electrical Engineering and Computer Science, Florida Atlantic University, Boca Raton, Florida;Department of Electrical Engineering and Computer Science, Florida Atlantic University, Boca Raton, Florida;Dipartimento di Tecnologie dell'Informazione, Università degli Studi di Milano, Crema, CR, Italy;Dipartimento di Tecnologie dell'Informazione, Università degli Studi di Milano, Crema, CR, Italy;School of Computing and Information Sciences, Florida International University, Miami, Florida;Dipartimento di Tecnologie dell'Informazione, Università degli Studi di Milano, Crema, CR, Italy
Venue:
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part II
Year:
2011

Citing 13
Cited 0

Handbook of software reliability engineering

Handbook of software reliability engineering
Using the Common Criteria for It Security Evaluation

Using the Common Criteria for It Security Evaluation
Toward a Scalable Method for Quantifying Aspects of Fault Tolerance, Software Assurance, and Computer Security

CSDA '98 Proceedings of the Conference on Computer Security, Dependability, and Assurance: From Needs to Solutions
Reliability Prediction for Service-Oriented Computing Environments

IEEE Internet Computing
Quality Attributes for Service-Oriented Architectures

SDSOA '07 Proceedings of the International Workshop on Systems Development in SOA Environments
A Machine Learning-Based Reliability Assessment Model for Critical Software Systems

COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 01
Reliable Software Systems Design: Defect Prevention, Detection, and Containment

Verified Software: Theories, Tools, Experiments
The Palladio component model for model-driven performance prediction

Journal of Systems and Software
Open Source Systems Security Certification

Open Source Systems Security Certification
A Markovian Dependability Model with Cascading Failures

IEEE Transactions on Computers
Towards Self-adaptation for Dependable Service-Oriented Systems

Architecting Dependable Systems VI
A dependability profile within MARTE

Software and Systems Modeling (SoSyM)
Fine-Grained Modeling of Web Services for Test-Based Security Certification

SCC '11 Proceedings of the 2011 IEEE International Conference on Services Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

On Service-Oriented Architectures (SOAs), the mechanism for run-time discovery and selection of services may conflict with the need to make sure that business process instances satisfy their reliability requirements. In this paper we describe a certification scheme based on machine-readable reliability certificates that will enable run-time negotiation. Service reliability is afforded by means of reliability patterns. Our certificates describe the reliability mechanism implemented by a service and the reliability pattern used to implement such a mechanism. Digital signature is used to associate the reliability claim contained in each certificate with the party (service supplier or accredited third-party) taking responsibility for it.