Model-Based Availability Evaluation of Composed Web Services

• Autorzy: Iacono M. , Marrone S.
• Języki publikacji: EN

Abstrakty

EN

Web services composition is an emerging software development paradigm for the implementation of distributed computing systems, the impact of which is very relevant both in research and industry. When a complex functionality has to be delivered on the Internet, a service integrator can produce added value by delivering more abstract and complex services obtained by composition of existing ones. But while isolated services availability can be improved by tuning and reconguring their hosting servers, with Composed Web Services (CWS) basic services must be taken as they are. In this case, it is necessary to evaluate the composition eects. The authors propose a high-level analysis methodology, supported by a tool, based on the transformation of BPEL descriptions of CWS into models based on the fault tree availability evaluation formalism that enables a modeler, unfamiliar with the underlying combinatorial probabilistic mathematics, to evaluate the availability of CWS, given components availability and expected execution behavior.

Słowa kluczowe

EN

automatic model generation; Composed Web Services; fault tree; model composition; service availability

• Wydawca: Instytut Łączności - Państwowy Instytut Badawczy
• Czasopismo: Journal of Telecommunications and Information Technology
• Rocznik: 2014
• Tom: nr 4
• Strony: 5--13
• Opis fizyczny: Bibliogr. 24 poz., rys., tab.

Twórcy

autor

Iacono M.

• Dipartimento di Scienze Politiche, Seconda Universitá degli Studi di Napoli, Caserta, Italy

autor

Marrone S.

• Dipartimento di Matematica e Fisica, Seconda Universitá degli Studi di Napoli, Caserta, Italy

Bibliografia

• [1] G. Balbo, "Introduction to stochastic petri nets", in European Educational Forum: School on Formal Methods and Performance Analysis, E. Brinksma, H. Hermanns, and J.-P. Katoen, Eds. LNCS, vol. 2090 pp. 84-155. Springer, 2000.
• [2] W. E. Vesely, F. F. Goldberg, N. H. Roberts, and D. F. Haasl, Fault Tree Handbook. U.S. Nuclear Regulatory Commission, Washington, DC, 1981.
• [3] A. Alves et al., "Web Services Business Process Execution Language Version 2.0 (OASIS Standard)", 2007 [Online]. Available: http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html
• [4] W. M. P. van der Aalst, "The application of Petri nets to workflow management", The J. Circ. Syst. Comp., vol. 8, no. 1, pp. 21-66, 1998.
• [5] W. M. P. van der Aalst, "Making workflow: On the application of Petri nets to Business Process Management", in Proc. 23rd Int. Conf. Appl. Theory of Petri Nets, Adelaide, Australia, 2002. LNCS, vol. 2360, pp. 1-22. Springer, 2002.
• [6] J. Dehnert and W. M. P. van der Aalst, "Bridging the gap between business models and workflow specifications", Int. J. Cooper. Inform. Sys., vol. 13, no. 3, pp. 289-332, 2004.
• [7] J. Xia and C. K. Chang, "Performance-driven service selection using stochastic cpn", in Proc. IEEE John Vincent Atanasoff Int. Sym. Modern Comput. JVA 2006, So_a, Bulgaria, 2006, pp. 99-104.
• [8] K. Bhargavan, C. Fournet, and A. D. Gordon, "Verified reference implementations of ws-security protocols", in Proc. 3rd Int. Worksh. Web Services and Formal Methods WS-FM 2006, Vienna, Austria, 2006, pp. 88-106.
• [9] I. Kim and D. Biswas, "Application of model checking to axml system's security: A case study", in Proc. 3rd Int. Worksh. Web Services and Formal Methods WS-FM 2006, Vienna, Austria, 2006, pp. 242-256.
• [10] Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, 2006, Proceedings, M. Bravetti, M. Núñez, and G. Zavattaro, Eds., LNCS, vol. 4184. Springer, 2006.
• [11] P. Liggesmeyer and M. Rothfelder, "Improving system reliability with automatic fault tree generation", in Proc. 28th Ann. Int. Symp. Fault-Tolerant Comput. FTCS '98, Munich, Germany, 1998, p. 90.
• [12] J. P. Ganesh and J. B. Dugan, "Automatic synthesis of dynamic fault trees from uml system models", in Proc. 13th Int. Symp. Softw. Reliab. Engin. ISSRE 2002, Annapolis, MD, USA, 2002.
• [13] A. Bobbio et al., "Comparison of methodologies for the safety and dependability assessment of an industrial programmable logic controller", in Proc. Eur. Safety and Reliab. Conf. ESREL 2001, Turin, Italy, 2001.
• [14] F. Flammini, N. Mazzocca, M. Iacono, and S. Marrone, "Using repairable fault trees for the evaluation of design choices for critical repairable systems", in Proc. 9th IEEE Int. Symp. High-Assur. Syst. Engin. HASE 2005, Heidelberg, Germany, 2005, pp. 163-172.
• [15] D. Codetta Raiteri, M. Iacono, G. Franceschinis, and V. Vittorini, "Repairable fault tree for the automatic evaluation of repair policies" in Proc. Int. Conf. Dependable Syst. Netw. DSN 2004, Florence, Italy, 2004, pp. 659-668.
• [16] L. Wang, "Machine availability monitoring and machining process planning towards cloud manufacturing", CIRP J. Manufac. Sci. and Technol., vol. 6, no. 4, pp. 263-273, 2013.
• [17] R. Aoun et al., "Towards an optimized abstracted topology design in cloud environment", Future Gener. Comp. Syst., vol. 29, no. 1, pp. 46-60, 2013.
• [18] M. Alrifai, T. Risse, and W. Nejdl, "A hybrid approach for efficient Web service composition with end-to-end QoS constraints", ACM Trans. on the Web, vol. 6, no. 2, 2012.
• [19] E. Barbierato, M. Iacono, and S. Marrone, "PerfBPEL: A graphbased approach for the performance analysis of BPEL SOA applications", in Proc. 6th Int. ICST Conf. Perform. Eval. Methodol. and Tools, Cargese, Corsica, France, 2012, pp. 64-73.
• [20] A. Avizienis, J. C. Laprie, and B. Randell, "Fundamental concepts of dependability", Res. Rep. no. 1145, LAAS-CNRS, Apr. 2001.
• [21] C. L. Heitmeyer, J. Kirby, B. G. Labaw, M. Archer, and R. Bharadwaj. "Using abstraction and model checking to detect safety violations in requirements specifications", IEEE Trans. Softw. Eng., vol. 24, no. 11, pp. 927-948, 1998.
• [22] J. D. Reese and N. G. Leveson, "Software engineering", in Proc. 19th Int. Conf. Software Engin., Boston, MA, USA, 1997, pp. 250-260.
• [23] I. Wolforth, M. Walker, Y. Papadopoulos, and L. Grunske, "Capture and reuse of composable failure patterns", Int. J. Critical Comp.-Based Syst. IJCCBS, vol. 1, no. 1/2/3, pp. 128-147, 2010.
• [24] C. Hirel, R. A. Sahner, X. Zang, and K. S. Trivedi, "Reliability and performability modeling using sharpe 2000", in Proc. 11th Int. Conf. Comp. Perform. Eval. Model. Tech. Tools TOOLS 2000, Schaumburg, IL, USA, 2000, pp. 345-349.