Model-Driven Evaluation of User-Perceived Service Availability

  • Andreas Dittrich
  • Rafael Rezende
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7869)


Service-oriented architecture (SOA) has emerged as an approach to master growing system complexity by proposing services as basic building elements of system design. However, it remains difficult to evaluate dependability of such distributed and heterogeneous functionality as it depends highly on the properties of the enabling information and communications technology (ICT) infrastructure. Moreover, every specific pair service client and provider can utilize different ICT components, constituting for the user-perceived view of a service.

We provide a model-driven methodology to automatically create reliability block diagrams of such views. Given a service description, a network topology model and a pair service client and provider, it identifies relevant ICT components and generates a user-perceived service availability model (UPSAM). We then use this UPSAM to calculate the steady-state availability of different views on an exemplary mail service deployed in the network infrastructure of University of Lugano, Switzerland.


Service networks Service dependability Availability Quality of service Service network management Modeling Object oriented modeling Design engineering 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Barborak, M., Dahbura, A., Malek, M.: The consensus problem in fault-tolerant computing. ACM Computing Surveys 25(2), 171–220 (1993)CrossRefGoogle Scholar
  2. 2.
    Bernardi, S., Merseguer, J., Petriu, D.: An UML profile for dependability analysis and modeling of software systems. Tech. Rep. RR-08-05, University of Zaragoza (May 2008)Google Scholar
  3. 3.
    Dittrich, A., Kaitovic, I., Murillo, C., Rezende, R.: A model for evaluation of user-perceived service properties. In: International Symposium on Parallel Distributed Processing, Workshops and Phd Forum (IPDPSW). IEEE Computer Society (accepted for publication, May 2013)Google Scholar
  4. 4.
    Erl, T.: Service-Oriented Architecture: Concepts, Technology, and Design, 1st edn. The Prentice Hall Service Technology Series from Thomas Erl. Prentice Hall PTR, Upper Saddle River (2005)Google Scholar
  5. 5.
    Malek, M., Milic, B., Milanovic, N.: Analytical availability assessment of IT services. In: Nanya, T., Maruyama, F., Pataricza, A., Malek, M. (eds.) ISAS 2008. LNCS, vol. 5017, pp. 207–224. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  6. 6.
    Milanovic, N., Milic, B.: Automatic generation of service availability models. IEEE Transactions on Services Computing 4(1), 56–69 (2011)CrossRefGoogle Scholar
  7. 7.
    Milanovic, N., Milic, B., Malek, M.: Modeling business process availability. In: Congress on Services - Part I, pp. 315–321. IEEE Computer Society (July 2008)Google Scholar
  8. 8.
    Murillo, C.: Model-Driven Evaluation of User-Perceived Service Availability. Master thesis, Università della Svizzera Italiana (USI), Lugano, Switzerland (January 2013)Google Scholar
  9. 9.
    Object Modeling Group: Unified Modeling Language Infrastructure, version 2.4.1 (August 2011)Google Scholar
  10. 10.
    Salehi, P., Hamoud-Lhadj, A., Colombo, P., Khendek, F., Toeroe, M.: A UML-based domain specific modeling language for the availability management framework. In: 12th International Symposium on High-Assurance Systems Engineering (HASE), pp. 35–44. IEEE Computer Society (November 2010)Google Scholar
  11. 11.
    Service Availability Forum: Application Interface Specification (2011),
  12. 12.
    Shao, L., Zhao, J., Xie, T., Zhang, L., Xie, B., Mei, H.: User-perceived service availability: A metric and an estimation approach. In: International Conference on Web Services (ICWS), pp. 647–654. IEEE Computer Society (July 2009)Google Scholar
  13. 13.
    The Eclipse Foundation: Eclipse development environment (March 2013),
  14. 14.
    The Eclipse Foundation: Papyrus UML modeling tool (March 2013),
  15. 15.
    The Eclipse Foundation: VIATRA2, VIsual Automated model TRAnsformations (March 2013),
  16. 16.
    Trivedi, K.S.: SHARPE (symbolic hierarchical automated reliability and performance evaluator) (February 2010),
  17. 17.
    Xie, W., Sun, H., Cao, Y., Trivedi, K.S.: Modeling of user perceived webserver availability. In: International Conference on Communications (ICC), vol. 3, pp. 1796–1800. IEEE Computer Society (May 2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Andreas Dittrich
    • 1
  • Rafael Rezende
    • 1
  1. 1.ALaRI Advanced Learning and Research InstituteUniversità della Svizzera italiana (USI)LuganoSwitzerland

Personalised recommendations