Modeling Web service composition using symbolic transition systems

Jyotishman Pathak, Samik Basu, Vasant Honavar

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

12 Citations (Scopus)

Abstract

Web services are software entities which provide a set of functionalities that can be accessed over the Web. In general, the valuations of variables appearing in various functions provided by the service are not known before execution. Consequently, to analyze the behavior of a service, all possible valuations need to be considered, making the whole system infinite-state. Against this background, we propose a framework for modeling and composing Web services where desired (goal) and pre-existing (component) services exhibit infinite-state behavior. Our approach finitely represents such services using Symbolic Transition Systems (STSs) which are transition systems augmented with guards over infinite-domain variables. We develop a sound and complete logical approach for identifying the existence of composition of available component-STSs, such that the resulting composition is "simulated" by the goal-STS. In the event that the goal service cannot be realized from the existing components, our technique can also identify the cause for the failure and guide the user to achieve appropriate refinement of the goal specification, thereby paving the way for incremental development of composite services.

Original languageEnglish (US)
Title of host publicationAAAI Workshop - Technical Report
Pages44-51
Number of pages8
VolumeWS-06-01
StatePublished - 2006
Externally publishedYes
Event2006 AAAI Workshop - Boston, MA, United States
Duration: Jul 16 2006Jul 20 2006

Other

Other2006 AAAI Workshop
CountryUnited States
CityBoston, MA
Period7/16/067/20/06

Fingerprint

Web services
Chemical analysis
Acoustic waves
Specifications
Composite materials

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Pathak, J., Basu, S., & Honavar, V. (2006). Modeling Web service composition using symbolic transition systems. In AAAI Workshop - Technical Report (Vol. WS-06-01, pp. 44-51)

Modeling Web service composition using symbolic transition systems. / Pathak, Jyotishman; Basu, Samik; Honavar, Vasant.

AAAI Workshop - Technical Report. Vol. WS-06-01 2006. p. 44-51.

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

Pathak, J, Basu, S & Honavar, V 2006, Modeling Web service composition using symbolic transition systems. in AAAI Workshop - Technical Report. vol. WS-06-01, pp. 44-51, 2006 AAAI Workshop, Boston, MA, United States, 7/16/06.
Pathak J, Basu S, Honavar V. Modeling Web service composition using symbolic transition systems. In AAAI Workshop - Technical Report. Vol. WS-06-01. 2006. p. 44-51
Pathak, Jyotishman ; Basu, Samik ; Honavar, Vasant. / Modeling Web service composition using symbolic transition systems. AAAI Workshop - Technical Report. Vol. WS-06-01 2006. pp. 44-51
@inproceedings{7f5697c83004440480297614da555cbf,
title = "Modeling Web service composition using symbolic transition systems",
abstract = "Web services are software entities which provide a set of functionalities that can be accessed over the Web. In general, the valuations of variables appearing in various functions provided by the service are not known before execution. Consequently, to analyze the behavior of a service, all possible valuations need to be considered, making the whole system infinite-state. Against this background, we propose a framework for modeling and composing Web services where desired (goal) and pre-existing (component) services exhibit infinite-state behavior. Our approach finitely represents such services using Symbolic Transition Systems (STSs) which are transition systems augmented with guards over infinite-domain variables. We develop a sound and complete logical approach for identifying the existence of composition of available component-STSs, such that the resulting composition is {"}simulated{"} by the goal-STS. In the event that the goal service cannot be realized from the existing components, our technique can also identify the cause for the failure and guide the user to achieve appropriate refinement of the goal specification, thereby paving the way for incremental development of composite services.",
author = "Jyotishman Pathak and Samik Basu and Vasant Honavar",
year = "2006",
language = "English (US)",
isbn = "1577352831",
volume = "WS-06-01",
pages = "44--51",
booktitle = "AAAI Workshop - Technical Report",

}

TY - GEN

T1 - Modeling Web service composition using symbolic transition systems

AU - Pathak, Jyotishman

AU - Basu, Samik

AU - Honavar, Vasant

PY - 2006

Y1 - 2006

N2 - Web services are software entities which provide a set of functionalities that can be accessed over the Web. In general, the valuations of variables appearing in various functions provided by the service are not known before execution. Consequently, to analyze the behavior of a service, all possible valuations need to be considered, making the whole system infinite-state. Against this background, we propose a framework for modeling and composing Web services where desired (goal) and pre-existing (component) services exhibit infinite-state behavior. Our approach finitely represents such services using Symbolic Transition Systems (STSs) which are transition systems augmented with guards over infinite-domain variables. We develop a sound and complete logical approach for identifying the existence of composition of available component-STSs, such that the resulting composition is "simulated" by the goal-STS. In the event that the goal service cannot be realized from the existing components, our technique can also identify the cause for the failure and guide the user to achieve appropriate refinement of the goal specification, thereby paving the way for incremental development of composite services.

AB - Web services are software entities which provide a set of functionalities that can be accessed over the Web. In general, the valuations of variables appearing in various functions provided by the service are not known before execution. Consequently, to analyze the behavior of a service, all possible valuations need to be considered, making the whole system infinite-state. Against this background, we propose a framework for modeling and composing Web services where desired (goal) and pre-existing (component) services exhibit infinite-state behavior. Our approach finitely represents such services using Symbolic Transition Systems (STSs) which are transition systems augmented with guards over infinite-domain variables. We develop a sound and complete logical approach for identifying the existence of composition of available component-STSs, such that the resulting composition is "simulated" by the goal-STS. In the event that the goal service cannot be realized from the existing components, our technique can also identify the cause for the failure and guide the user to achieve appropriate refinement of the goal specification, thereby paving the way for incremental development of composite services.

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

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

M3 - Conference contribution

AN - SCOPUS:33845969434

SN - 1577352831

SN - 9781577352839

VL - WS-06-01

SP - 44

EP - 51

BT - AAAI Workshop - Technical Report

ER -