Abstract
The Web service composition problem involves the creation of a choreographer that provides the interaction between a set of component services to realize a goal service. Several methods have been proposed and developed to address this problem. In this paper, we consider those scenarios where the composition process may fail due to incomplete specification of goal service requirements or due to the fact that the user is unaware of the functionality provided by the existing component services. In such cases, it is desirable to have a composition algorithm that can provide feedback to the user regarding the cause of failure in the composition process. Such feedback will help guide the user to re-formulate the goal service and iterate the composition process. We propose a failure analysis technique for composition algorithms that views Web service behavior as multiple sequences of input/output events. Our technique identifies the possible cause of composition failure and suggests possible recovery options to the user. We discuss our technique using a simple e-Library Web service in the context of the MoSCoE Web service composition framework.
This work is supported in part by NSF grant CCF0702758.
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
Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic Service Composition based on Behavioral Descriptions. Intl. Journal on Cooperative Information Systems 14(4), 333–376 (2005)
Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: e-service composition by description logics based reasoning. In: Calvanese, D., De Giacomo, G., Franconi, E. (eds.) CEUR Workshop Proceedings of Description Logics, vol. 81 (2003), CEUR-WS.org
Baader, F., Horrocks, I., Sattler, U.: Description logics as ontology languages for the semantic web. In: Festschrift in honor of Jörg Siekmann. LNCS (LNAI), Springer, Heidelberg (2003)
Burstein, M.: Dynamic Invocation of Semantic Web Services that use Unfamiliar Ontologies. IEEE Intelligent Systems 19(4), 67–73 (2004)
Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M., Patrizi, F.: Automatic service composition and synthesis: the Roman model. IEEE Data Eng. Bull. 31(3), 18–22 (2008)
Doan, A., Madhavan, J., Dhamankar, R., Domingos, P., Halevy, Ã.: Learning to Match Ontologies on the Semantic Web. VLDB Journal 12(4), 303–319 (2003)
Dustdar, S., Schreiner, W.: A Survey on Web Services Composition. International Journal on Web and Grid Services 1(1), 1–30 (2005)
Hamadi, R., Benatallah, B.: A Petri Net-based Model for Web Service Composition. In: 14th Australasian Database Conference, pp. 191–200. Australian Computer Society, Inc. (2003)
Hull, R., Su, J.: Tools for Design of Composite Web Services. In: ACM SIGMOD Intl. Conference on Management of Data, pp. 958–961 (2004)
Milner, R.: A Calculus of Communicating Systems. Springer, New York (1982)
Pathak, J., Basu, S., Lutz, R., Honavar, V.: Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach. In: 4th IEEE European Conference on Web Services, pp. 3–12. IEEE CS Press, Los Alamitos (2006)
Pistore, M., Traverso, P., Bertoli, P.: Automated Composition of Web Services by Planning in Asynchronous Domains. In: 15th Intl. Conference on Automated Planning and Scheduling, pp. 2–11 (2005)
ter Beek, M.H., Bucchiarone, A., Gnesi, S.: Web service composition approaches: From industrial standards to formal methods. In: ICIW, p. 15. IEEE Computer Society, Los Alamitos (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nadkarni, D., Basu, S., Honavar, V., Lutz, R. (2011). Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems. In: Bravetti, M., Bultan, T. (eds) Web Services and Formal Methods. WS-FM 2010. Lecture Notes in Computer Science, vol 6551. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19589-1_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-19589-1_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-19588-4
Online ISBN: 978-3-642-19589-1
eBook Packages: Computer ScienceComputer Science (R0)