A model-based approach to reliability certification of services

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.

[1]  Jan Tretmans,et al.  Towards Model-Based Testing of Web Services , 2006 .

[2]  Marvin K. Nakayama,et al.  A Markovian Dependability Model with Cascading Failures , 2009, IEEE Transactions on Computers.

[3]  Roger C. Cheung,et al.  A User-Oriented Software Reliability Model , 1978, IEEE Transactions on Software Engineering.

[4]  Ernesto Damiani,et al.  Fine-Grained Modeling of Web Services for Test-Based Security Certification , 2011, 2011 IEEE International Conference on Services Computing.

[5]  V. Piuri,et al.  A comprehensive conceptual system-level approach to fault tolerance in Cloud Computing , 2012, 2012 IEEE International Systems Conference SysCon 2012.

[6]  Ernesto Damiani,et al.  Towards Pattern-Based Reliability Certification of Services , 2011, OTM Conferences.

[7]  Kishor S. Trivedi,et al.  Markov Dependability Models of Complex Systems: Analysis Techniques , 1996 .

[8]  Wil M. P. van der Aalst,et al.  Ensuring correctness during process configuration via partner synthesis , 2012, Inf. Syst..

[9]  Gerardo Canfora,et al.  Service-Oriented Architectures Testing: A Survey , 2009, ISSSE.

[10]  Ernesto Damiani,et al.  Securing SOAP e-services , 2002, International Journal of Information Security.

[11]  Debra S. Herrmann,et al.  Using the Common Criteria for IT Security Evaluation , 2002 .

[12]  Mike P. Papazoglou,et al.  Web Services and Business Transactions , 2003, World Wide Web.

[13]  Jörg Kienzle,et al.  Model-driven assessment of system dependability , 2008, Software & Systems Modeling.

[14]  Vincenzo Grassi,et al.  Reliability Modeling and Analysis of Service-Oriented Architectures , 2007, Test and Analysis of Web Services.

[15]  Ernesto Damiani,et al.  Open Source Systems Security Certification , 2008 .