Composing web services through automatic reformulation of service specifications

Jyotishman Pathak, Samik Basu, Vasant Honavar

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

6 Citations (Scopus)

Abstract

Typical approaches to service composition seek to realize a goal service specification, described using a labeled transition system (LTS) provided by a service developer, by constructing a structurally equivalent LTS using a set of available component services (also described using LTSs) that match the input and output requirements of the transitions. As such, existing composition approaches fail to realize the goal LTS whenever available component service LTSs cannot be used to "mimic" the structure of the goal LTS. This failure requires that the service developer formulates an alternate goal LTS and re-iterates the composition step. However, the process of manual reformulation of the goal LTS is both laborious and error prone. In this setting, we describe an efficient data structure and algorithms for analyzing data and control flow dependencies implicit in a user-supplied goal LTS specification to automatically generate alternate LTS specifications that capture the same overall functionality with respect to the data and control dependencies, and determine whether any of the alternatives can lead to a feasible composition. The result is a significant reduction in the need for the tedious manual intervention in reformulating LTS specifications of the goal service.

Original languageEnglish (US)
Title of host publicationProceedings - 2008 IEEE International Conference on Services Computing, SCC 2008
Pages361-369
Number of pages9
DOIs
StatePublished - Sep 19 2008
Event2008 IEEE International Conference on Services Computing, SCC 2008 - Honolulu, HI, United States
Duration: Jul 7 2008Jul 11 2008

Publication series

NameProceedings - 2008 IEEE International Conference on Services Computing, SCC 2008
Volume1

Other

Other2008 IEEE International Conference on Services Computing, SCC 2008
CountryUnited States
CityHonolulu, HI
Period7/7/087/11/08

Fingerprint

Web services
Specifications
Chemical analysis
Flow control
Data structures

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Computer Science Applications
  • Hardware and Architecture

Cite this

Pathak, J., Basu, S., & Honavar, V. (2008). Composing web services through automatic reformulation of service specifications. In Proceedings - 2008 IEEE International Conference on Services Computing, SCC 2008 (pp. 361-369). [4578483] (Proceedings - 2008 IEEE International Conference on Services Computing, SCC 2008; Vol. 1). https://doi.org/10.1109/SCC.2008.124
Pathak, Jyotishman ; Basu, Samik ; Honavar, Vasant. / Composing web services through automatic reformulation of service specifications. Proceedings - 2008 IEEE International Conference on Services Computing, SCC 2008. 2008. pp. 361-369 (Proceedings - 2008 IEEE International Conference on Services Computing, SCC 2008).
@inproceedings{f15e4f580edb4ef2a7eb1b4060469e13,
title = "Composing web services through automatic reformulation of service specifications",
abstract = "Typical approaches to service composition seek to realize a goal service specification, described using a labeled transition system (LTS) provided by a service developer, by constructing a structurally equivalent LTS using a set of available component services (also described using LTSs) that match the input and output requirements of the transitions. As such, existing composition approaches fail to realize the goal LTS whenever available component service LTSs cannot be used to {"}mimic{"} the structure of the goal LTS. This failure requires that the service developer formulates an alternate goal LTS and re-iterates the composition step. However, the process of manual reformulation of the goal LTS is both laborious and error prone. In this setting, we describe an efficient data structure and algorithms for analyzing data and control flow dependencies implicit in a user-supplied goal LTS specification to automatically generate alternate LTS specifications that capture the same overall functionality with respect to the data and control dependencies, and determine whether any of the alternatives can lead to a feasible composition. The result is a significant reduction in the need for the tedious manual intervention in reformulating LTS specifications of the goal service.",
author = "Jyotishman Pathak and Samik Basu and Vasant Honavar",
year = "2008",
month = "9",
day = "19",
doi = "10.1109/SCC.2008.124",
language = "English (US)",
isbn = "9780769532837",
series = "Proceedings - 2008 IEEE International Conference on Services Computing, SCC 2008",
pages = "361--369",
booktitle = "Proceedings - 2008 IEEE International Conference on Services Computing, SCC 2008",

}

Pathak, J, Basu, S & Honavar, V 2008, Composing web services through automatic reformulation of service specifications. in Proceedings - 2008 IEEE International Conference on Services Computing, SCC 2008., 4578483, Proceedings - 2008 IEEE International Conference on Services Computing, SCC 2008, vol. 1, pp. 361-369, 2008 IEEE International Conference on Services Computing, SCC 2008, Honolulu, HI, United States, 7/7/08. https://doi.org/10.1109/SCC.2008.124

Composing web services through automatic reformulation of service specifications. / Pathak, Jyotishman; Basu, Samik; Honavar, Vasant.

Proceedings - 2008 IEEE International Conference on Services Computing, SCC 2008. 2008. p. 361-369 4578483 (Proceedings - 2008 IEEE International Conference on Services Computing, SCC 2008; Vol. 1).

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

TY - GEN

T1 - Composing web services through automatic reformulation of service specifications

AU - Pathak, Jyotishman

AU - Basu, Samik

AU - Honavar, Vasant

PY - 2008/9/19

Y1 - 2008/9/19

N2 - Typical approaches to service composition seek to realize a goal service specification, described using a labeled transition system (LTS) provided by a service developer, by constructing a structurally equivalent LTS using a set of available component services (also described using LTSs) that match the input and output requirements of the transitions. As such, existing composition approaches fail to realize the goal LTS whenever available component service LTSs cannot be used to "mimic" the structure of the goal LTS. This failure requires that the service developer formulates an alternate goal LTS and re-iterates the composition step. However, the process of manual reformulation of the goal LTS is both laborious and error prone. In this setting, we describe an efficient data structure and algorithms for analyzing data and control flow dependencies implicit in a user-supplied goal LTS specification to automatically generate alternate LTS specifications that capture the same overall functionality with respect to the data and control dependencies, and determine whether any of the alternatives can lead to a feasible composition. The result is a significant reduction in the need for the tedious manual intervention in reformulating LTS specifications of the goal service.

AB - Typical approaches to service composition seek to realize a goal service specification, described using a labeled transition system (LTS) provided by a service developer, by constructing a structurally equivalent LTS using a set of available component services (also described using LTSs) that match the input and output requirements of the transitions. As such, existing composition approaches fail to realize the goal LTS whenever available component service LTSs cannot be used to "mimic" the structure of the goal LTS. This failure requires that the service developer formulates an alternate goal LTS and re-iterates the composition step. However, the process of manual reformulation of the goal LTS is both laborious and error prone. In this setting, we describe an efficient data structure and algorithms for analyzing data and control flow dependencies implicit in a user-supplied goal LTS specification to automatically generate alternate LTS specifications that capture the same overall functionality with respect to the data and control dependencies, and determine whether any of the alternatives can lead to a feasible composition. The result is a significant reduction in the need for the tedious manual intervention in reformulating LTS specifications of the goal service.

UR - http://www.scopus.com/inward/record.url?scp=51749090868&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=51749090868&partnerID=8YFLogxK

U2 - 10.1109/SCC.2008.124

DO - 10.1109/SCC.2008.124

M3 - Conference contribution

AN - SCOPUS:51749090868

SN - 9780769532837

T3 - Proceedings - 2008 IEEE International Conference on Services Computing, SCC 2008

SP - 361

EP - 369

BT - Proceedings - 2008 IEEE International Conference on Services Computing, SCC 2008

ER -

Pathak J, Basu S, Honavar V. Composing web services through automatic reformulation of service specifications. In Proceedings - 2008 IEEE International Conference on Services Computing, SCC 2008. 2008. p. 361-369. 4578483. (Proceedings - 2008 IEEE International Conference on Services Computing, SCC 2008). https://doi.org/10.1109/SCC.2008.124