Abstract
This paper focuses on the development of a principled methodology for the dependability analysis of composite Web services. The first step of the methodology involves a UML representation for the architecture specification of composite Web services. The proposed representation is built upon BPEL and introduces necessary extensions to support the second step of the methodology, which comprises the specification of properties, characterizing the failure behavior of the elements that constitute the composite Web services. The automated mapping of this extended UML model to Block Diagrams and Markov models is introduced as the third step of the methodology. A comparative analysis of the aforementioned dependability analysis techniques in terms of precision and complexity is also performed.
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
Florescu, D., Grunchagen, A., Kossmann, D.: XL: An XML Language for Web Service Specification and Composition. In: Proceedings of 11th ACM International Conference on the World Wide Web, WWW 2002 (2002)
Yang, J., Papazoglou, P.: Web Component: A Substrate for Web Service Reuse and Composition. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol. 2348, p. 21. Springer, Heidelberg (2002)
Medjahed, B., Bouguettaya, A., Elmagarmid, A.: Composing Web Service on the Semantic Web. VLDB Journal 12, 333–351 (2003)
Laprie, J.-C.: Dependable Computing and Fault Tolerance: Concepts and Terminology. In: Proceedings of the 15th International Symposium on Fault-Tolerant Computing, FTCS-15 (1985)
NASA: Reliability Block Diagrams and Reliability Modeling. Technical report, NASA Glenn Research Center (1995), http://www-osma.lerc.nasa.gov/rbd/rbdtut.html
Butler, R.W.: The SURE Approach to Reliability Analysis. IEEE Transactions on Reliability 41, 210–218 (1992)
Johnson, S.C.: Reliability Analysis of Large Complex Systems Using ASSIST. In: Proceedings of the 8th AIAA/IEEE Digital Avionics Systems Conference, pp. 227–234 (1988)
Mantell, K.: From UML to BPEL. Technical report, IBM, http://www- 106.ibm.com/developerworks/webservices/library/ws-uml2bpel/ (2003)
Issarny, V., Kloukinas, C., Zarras, A.: Systematic Aid for Developing Middleware Architectures. Communications of the ACM (CACM) 45, 53–58 (2002)
Johnson, S.C., Boerschlein, D.P.: ASSIST User Manual. NASA Langley Research Center (2000)
Zarras, A., Issarny, V.: Automating the Performance and Reliability Analysis of Enterprise Information Systems. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), pp. 350–355 (2000)
Zarras, A., Kloukinas, C., Issarny, V.: Quality Analysis of Dependable Systems: A Developer Oriented Approach. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems. LNCS, vol. 2677, pp. 197–218. Springer, Heidelberg (2003)
Rodrigues, G.N., Roberts, G., Emmerich, W., Skene, J.: Reliability Support for the Model Driven Architecture. In: Proceedings of the 2nd IEEE-ACM-SIGSOFT ICSE Workshop on Software Architectures for Dependable Systems (WADS 2003), pp. 7–13 (2003)
Majzik, I., Pataricza, A., Bondavalli, A.: Stochastic Dependability Analysis of System Architecture Based on UML Models. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems. LNCS, vol. 2677, pp. 219–244. Springer, Heidelberg (2003)
Dan, A., Davis, D., Kearney, R., Keller, A., King, R., Kuebler, D., Ludwig, H., Polan, M., Spreitzer, M., Youssef, A.: Web Services on Demand: WSLA-Driven Automated Management. IBM Systems Journal 43, 136–158 (2004)
Skene, J., Lamanna, D., Emmerich, W.: Precise Service Level Agreements. In: Proceedings of the 26th IEEE/ACM/SIGSOFT International Conference on Software Engineering (ICSE 2004), pp. 179–188 (2004)
Cardellini, V., Casalicchio, E., Colajanni, M., Mambelli, M.: Web Switch Support for Differentiated Services. ACM SIGMETRICS Performance Evaluation Review 29, 14–19 (2001)
Zeng, L., Benatallah, B., Dumas, M.: Quality Driven Web Services Composition. In: Proceedings of the 12th ACM International Conference on the World Wide Web (WWW 2003), pp. 411–421 (2003)
Issarny, V., Sacchetti, D., Tartanoglou, F., Sailhan, F., Chibout, R., Levy, N., Talamona, A.: Developing Ambient Intelligence Systems: A Solution Based on Web Services. Journal of Automated Software Engineering (2004) (to appear)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zarras, A., Vassiliadis, P., Issarny, V. (2004). Model-Driven Dependability Analysis of WebServices. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE. OTM 2004. Lecture Notes in Computer Science, vol 3291. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30469-2_48
Download citation
DOI: https://doi.org/10.1007/978-3-540-30469-2_48
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23662-7
Online ISBN: 978-3-540-30469-2
eBook Packages: Springer Book Archive