Failure analysis for composition of web services represented as labeled transition systems

Dinanath Nadkarni, Samik Basu, Vasant Honavar, Robyn Lutz

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

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.

Original languageEnglish (US)
Title of host publicationWeb Services and Formal Methods - 7th International Workshop, WS-FM 2010, Revised Selected Papers
Pages161-175
Number of pages15
DOIs
StatePublished - Mar 31 2011
Event7th International Workshop on Web Services and Formal Methods, WS-FM 2010, Co-located with the 8th International Conference on Business Process Management, BPM 2010 - Hoboken, NJ, United States
Duration: Sep 16 2010Sep 17 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6551 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other7th International Workshop on Web Services and Formal Methods, WS-FM 2010, Co-located with the 8th International Conference on Business Process Management, BPM 2010
CountryUnited States
CityHoboken, NJ
Period9/16/109/17/10

Fingerprint

Labeled Transition System
Failure Analysis
Web services
Failure analysis
Web Services
Chemical analysis
Web Service Composition
Feedback
Iterate
Recovery
Specification
Scenarios
Output
Requirements
Specifications
Interaction

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Nadkarni, D., Basu, S., Honavar, V., & Lutz, R. (2011). Failure analysis for composition of web services represented as labeled transition systems. In Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Revised Selected Papers (pp. 161-175). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6551 LNCS). https://doi.org/10.1007/978-3-642-19589-1_11
Nadkarni, Dinanath ; Basu, Samik ; Honavar, Vasant ; Lutz, Robyn. / Failure analysis for composition of web services represented as labeled transition systems. Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Revised Selected Papers. 2011. pp. 161-175 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{2eb1add3b6244bdaa96175d3f98b7f82,
title = "Failure analysis for composition of web services represented as labeled transition systems",
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.",
author = "Dinanath Nadkarni and Samik Basu and Vasant Honavar and Robyn Lutz",
year = "2011",
month = "3",
day = "31",
doi = "10.1007/978-3-642-19589-1_11",
language = "English (US)",
isbn = "9783642195884",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "161--175",
booktitle = "Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Revised Selected Papers",

}

Nadkarni, D, Basu, S, Honavar, V & Lutz, R 2011, Failure analysis for composition of web services represented as labeled transition systems. in Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6551 LNCS, pp. 161-175, 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, Hoboken, NJ, United States, 9/16/10. https://doi.org/10.1007/978-3-642-19589-1_11

Failure analysis for composition of web services represented as labeled transition systems. / Nadkarni, Dinanath; Basu, Samik; Honavar, Vasant; Lutz, Robyn.

Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Revised Selected Papers. 2011. p. 161-175 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6551 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

PY - 2011/3/31

Y1 - 2011/3/31

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

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

ER -

Nadkarni D, Basu S, Honavar V, Lutz R. Failure analysis for composition of web services represented as labeled transition systems. In Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Revised Selected Papers. 2011. p. 161-175. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-19589-1_11