Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barborak, M., Dahbura, A., Malek, M.: The consensus problem in fault-tolerant computing. ACM Computing Surveys 25(2), 171–220 (1993)
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)
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)
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)
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)
Milanovic, N., Milic, B.: Automatic generation of service availability models. IEEE Transactions on Services Computing 4(1), 56–69 (2011)
Milanovic, N., Milic, B., Malek, M.: Modeling business process availability. In: Congress on Services - Part I, pp. 315–321. IEEE Computer Society (July 2008)
Murillo, C.: Model-Driven Evaluation of User-Perceived Service Availability. Master thesis, Università della Svizzera Italiana (USI), Lugano, Switzerland (January 2013)
Object Modeling Group: Unified Modeling Language Infrastructure, version 2.4.1 (August 2011)
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)
Service Availability Forum: Application Interface Specification (2011), http://www.saforum.org
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)
The Eclipse Foundation: Eclipse development environment (March 2013), http://www.eclipse.org
The Eclipse Foundation: Papyrus UML modeling tool (March 2013), http://www.eclipse.org/modeling/mdt/papyrus
The Eclipse Foundation: VIATRA2, VIsual Automated model TRAnsformations (March 2013), http://www.eclipse.org/gmt/VIATRA2
Trivedi, K.S.: SHARPE (symbolic hierarchical automated reliability and performance evaluator) (February 2010), http://www.ee.duke.edu/~kst
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dittrich, A., Rezende, R. (2013). Model-Driven Evaluation of User-Perceived Service Availability. In: Vieira, M., Cunha, J.C. (eds) Dependable Computing. EWDC 2013. Lecture Notes in Computer Science, vol 7869. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38789-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-38789-0_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38788-3
Online ISBN: 978-3-642-38789-0
eBook Packages: Computer ScienceComputer Science (R0)