A model-based approach to reliability certification of services

Author

Ardagna, Claudio A. ; Damiani, Ernesto ; Jhawar, Ravi ; Piuri, Vincenzo

Author_Institution

DTI, Univ. degli Studi di Milano, Crema, Italy

fYear

2012

fDate

18-20 June 2012

Firstpage

1

Lastpage

6

Abstract

We present a reliability certification scheme in which services are modeled as discrete-time Markov chains. A machine-readable certificate is issued to the service after validating its reliability properties, and validity of the certificate is verified using constant run-time monitoring. In addition, we present a solution that allows users to search and select services with a given set of reliability properties. Our solution is integrated within existing Service-Oriented Architectures (SOAs), and allows validation of users´ preferences both at discovery-time and at run-time.

Keywords

certification; service-oriented architecture; software reliability; discrete-time Markov chains; machine-readable certificate; model-based approach; reliability certification; run-time monitoring; service-oriented architectures; services; Biological system modeling; Computer crashes; Indexes; Markov processes; Mechanical factors; Reliability; Servers; Markov Chains; Reliability Certification; SOA; Web Services;

fLanguage

English

Publisher

ieee

Conference_Titel

Digital Ecosystems Technologies (DEST), 2012 6th IEEE International Conference on

Conference_Location

Campione d´Italia

ISSN

2150-4938

Print_ISBN

978-1-4673-1702-3

Electronic_ISBN

2150-4938

Type

conf

DOI

10.1109/DEST.2012.6227913

Filename

6227913