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
Volume1
DOIs
StatePublished - 2008
Event2008 IEEE International Conference on Services Computing, SCC 2008 - Honolulu, HI, United States
Duration: Jul 7 2008Jul 11 2008

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

ASJC Scopus subject areas

  • 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 (Vol. 1, pp. 361-369). [4578483] 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. Vol. 1 2008. p. 361-369 4578483.

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

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. vol. 1, 4578483, 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
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. Vol. 1. 2008. p. 361-369. 4578483 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. Vol. 1 2008. pp. 361-369
@inproceedings{3a2a8f246f5a4051bd04bd408ef391d2,
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",
doi = "10.1109/SCC.2008.124",
language = "English (US)",
isbn = "9780769532837",
volume = "1",
pages = "361--369",
booktitle = "Proceedings - 2008 IEEE International Conference on Services Computing, SCC 2008",

}

TY - GEN

T1 - Composing web services through automatic reformulation of service specifications

AU - Pathak, Jyotishman

AU - Basu, Samik

AU - Honavar, Vasant

PY - 2008

Y1 - 2008

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

SN - 9780769532837

VL - 1

SP - 361

EP - 369

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

ER -