TY - GEN
T1 - Failure analysis for composition of web services represented as labeled transition systems
AU - Nadkarni, Dinanath
AU - Basu, Samik
AU - Honavar, Vasant
AU - Lutz, Robyn
N1 - Funding Information:
This work is supported in part by NSF grant CCF0702758.
PY - 2011
Y1 - 2011
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=79953089799&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=79953089799&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-19589-1_11
DO - 10.1007/978-3-642-19589-1_11
M3 - Conference contribution
AN - SCOPUS:79953089799
SN - 9783642195884
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 161
EP - 175
BT - Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Revised Selected Papers
T2 - 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, Co-located with the 8th International Conference on Business Process Management, BPM 2010
Y2 - 16 September 2010 through 17 September 2010
ER -