Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems

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 reformulate 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.

[1]  Ian Horrocks,et al.  Description Logics as Ontology Languages for the Semantic Web , 2005, Mechanizing Mathematical Reasoning.

[2]  Diego Calvanese,et al.  Automatic Service Composition and Synthesis: the Roman Model , 2008, IEEE Data Eng. Bull..

[3]  Antonio Bucchiarone,et al.  Web Service Composition Approaches: From Industrial Standards to Formal Methods , 2007, Second International Conference on Internet and Web Applications and Services (ICIW'07).

[4]  Diego Calvanese,et al.  Automatic Service Composition Based on Behavioral Descriptions , 2005, Int. J. Cooperative Inf. Syst..

[5]  Schahram Dustdar,et al.  A survey on web services composition , 2005, Int. J. Web Grid Serv..

[6]  Jianwen Su,et al.  Tools for design of composite Web services , 2004, ACM SIGMOD Conference.

[7]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[8]  Piergiorgio Bertoli,et al.  Automated composition of Web services via planning in asynchronous domains , 2005, Artif. Intell..

[9]  Boualem Benatallah,et al.  A Petri Net-based Model for Web Service Composition , 2003, ADC.

[10]  Vasant Honavar,et al.  Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach , 2006, 2006 European Conference on Web Services (ECOWS'06).

[11]  Diego Calvanese,et al.  e-Service Composition by Description Logics Based Reasoning , 2003, Description Logics.

[12]  Pedro M. Domingos,et al.  Learning to match ontologies on the Semantic Web , 2003, The VLDB Journal.

[13]  Mark H. Burstein.  Dynamic invocation of semantic Web services that use unfamiliar ontologies , 2004, IEEE Intelligent Systems.