Composing Web Services through Automatic Reformulation of Service Specificationsac
被引:2
|
作者:
Pathak, Jyotishman
论文数: 0引用数: 0
h-index: 0
机构:
Mayo Clin, Coll Med, Div Biomed Informat, Rochester, MN 55905 USAMayo Clin, Coll Med, Div Biomed Informat, Rochester, MN 55905 USA
Pathak, Jyotishman
[1
]
Basu, Samik
论文数: 0引用数: 0
h-index: 0
机构:
Iowa State Univ, Dept Comp Sci, Ames, IA 50011 USAMayo Clin, Coll Med, Div Biomed Informat, Rochester, MN 55905 USA
Basu, Samik
[2
]
Honavar, Vasant
论文数: 0引用数: 0
h-index: 0
机构:
Iowa State Univ, Dept Comp Sci, Ames, IA 50011 USAMayo Clin, Coll Med, Div Biomed Informat, Rochester, MN 55905 USA
Honavar, Vasant
[2
]
机构:
[1] Mayo Clin, Coll Med, Div Biomed Informat, Rochester, MN 55905 USA
[2] Iowa State Univ, Dept Comp Sci, Ames, IA 50011 USA
来源:
2008 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, VOL 1
|
2008年
关键词:
D O I:
10.1109/SCC.2008.124
中图分类号:
TP3 [计算技术、计算机技术];
学科分类号:
0812 ;
摘要:
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.