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.
A model-based approach to reliability certification of services / C.A. Ardagna, E. Damiani, R. Jhawar, V. Piuri - In: 6th IEEE International conference on digital ecosystems technologies - Complex environment engineering : IEEE DEST-CEE 2012 : 18-20 june, 2012, Campione d'Italia, ItalyPiscataway : Institute of electrical and electronics engineers, 2012. - ISBN 9781467317023. - pp. 1-6 (( Intervento presentato al 6. convegno IEEE International Conference on Digital Ecosystems and Technologies (DEST) tenutosi a Campione d'Italia nel 2012 [10.1109/DEST.2012.6227913].
A model-based approach to reliability certification of services
C.A. ArdagnaPrimo
;E. DamianiSecondo
;R. JhawarPenultimo
;V. PiuriUltimo
2012
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.File | Dimensione | Formato | |
---|---|---|---|
DEST2012.pdf
accesso solo dalla rete interna
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
127.98 kB
Formato
Adobe PDF
|
127.98 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.