A model-based approach to reliability certification of services

IEEE International Conference on Digital Ecosystems and Technologies

Volumn , Issue , 2012, Pages

  Ardagna, Claudio A ^a   Damiani, Ernesto ^a   Jhawar, Ravi ^a   Piuri, Vincenzo ^a  

^a UNIVERSITY OF MILAN   (Italy)

Author keywords

Markov Chains; Reliability Certification; SOA; Web Services

Indexed keywords

DISCRETE TIME MARKOV CHAINS; MODEL BASED APPROACH; RELIABILITY PROPERTIES; RUNTIME MONITORING; RUNTIMES; SOA;

ECOSYSTEMS; INFORMATION SERVICES; MARKOV PROCESSES; SERVICE ORIENTED ARCHITECTURE (SOA); WEB SERVICES;

RELIABILITY;

EID: 84864228303     PISSN: 21504938     EISSN: 21504946     Source Type: Conference Proceeding    
DOI: 10.1109/DEST.2012.6227913     Document Type: Article

References (16)

1. M. Anisetti, C. Ardagna, and E. Damiani, "Fine-grained modeling of web services for test-based security certification," in Proc. of SCC 2011, Washington, DC, USA, July 2011.
2. I. Buckley, E. Fernandez, M. Anisetti, C. Ardagna, and E. Damiani, "Towards pattern-based reliability certification of services," in Proc. of DOA-SVI 2011, Hersonissos, Crete, Greece, October 2011.
3. G. Canfora and M. di Penta, "Service-oriented architectures testing: A survey," Software Engineering: International Summer Schools, ISSSE 2006-2008, vol. 1, pp. 78-105, 2009.
4. R. C. Cheung, "A user-oriented software reliability model," IEEE Transactions on Software Engineering, vol. 6, pp. 118-125, March 1980.
5. V. Cortellessa and V. Grassi, "Reliability modeling and analysis of service-oriented architectures," in Test and Analysis of Web Services, 2007, pp. 339-362.
6. E. Damiani, C. Ardagna, and N. E. Ioini, Eds., "Open Source Systems Security Certification". New York, NY, USA: Springer, 2009.
7. E. Damiani, S. De Capitani di Vimercati, S. Paraboschi, and P. Samarati, "Securing SOAP e-services," International Journal of Information Security, vol. 1, no. 2, pp. 100-115, February 2002.
8. T. Erl, Service-Oriented Architecture: Concepts, Technology, and Design. Upper Saddle River, NJ, USA: Prentice Hall PTR, 2005.
9. L. Frantzen, J. Tretmans, and R. d. Vries, "Towards model-based testing of web services," in Proc. of WS-MaTe 2006, Palermo, Italy, June 2006.
10. D. Herrmann, Using the Common Criteria for IT security evaluation. Auerbach Publications, 2002.
11. S. M. Iyer, M. K. Nakayama, and A. V. Gerbessiotis, "A markovian dependability model with cascading failures," IEEE Transactions on Computers, vol. 58, pp. 1238-1249, September 2009.
12. R. Jhawar, V. Piuri, and M. Santambrogio, "A comprehensive conceptual system-level approach to fault tolerance in cloud computing," in IEEE SysCon 2012, Vancouver, BC, Canada, March 2012.
13. J. K. Muppala, M. Manish, and T. K. S., "Markov dependability models of complex systems: Analysis techniques," In Ozekici, S. (ed.) Reliability and Maintenance of Complex Systems, NATO ASI Series F: Computer and Systems Sciences, vol. 154, pp. 442-486, 1996.
14. S. Mustafiz, X. Sun, J. Kienzle, and H. Vangheluwe, "Model-driven assessment of system dependability," Software and System Modeling, vol. 7, no. 4, pp. 487-502, 2008.
15. M. P. Papazoglou, "Web services and business transactions," World Wide Web, vol. 6, pp. 49-91, March 2003.
16. W. van der Aalst, N. Lohmann, and M. La Rosa, "Ensuring correctness during process configuration via partner synthesis," Journal of Information Systems, vol. 37, no. 6, pp. 574-592, September 2012.