Home Publications

A Model-Based Approach to Reliability Certification of Services

Research Area: Uncategorized Year: 2012
Type of Publication: In Proceedings Keywords: Markov Chains, Reliability Certification, SOA, Web Services
  • Ardagna, C. A.
  • Damiani, E.
  • Jhawar, R.
  • Piuri, V.
Book title: in Proc. of the 6th IEEE International Conference on Digital Ecosystem Technologies - Complex Environment Engineering
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
[ Back ]
template joomla