A Model-Based Approach to Reliability Certification of Services

The authors 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, they present a solution that allows users to search and select services with a given set of reliability properties. Their solution is integrated within existing Service-Oriented Architectures (SOAs), and allows validation of users' preferences both at discovery-time and at run-time.

Provided by: Institute of Electrical & Electronic Engineers Topic: Networking Date Added: May 2012 Format: PDF

Download Now

Find By Topic