• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IEEE International Conference on Services Computing >Composing Web Services through Automatic Reformulation of Service Specifications
【24h】

Composing Web Services through Automatic Reformulation of Service Specifications

机译：通过自动重新制定服务规范来编写Web服务

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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 reiterates 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.
机译：典型的服务组合方法寻求实现使用由服务开发人员提供的标记的转换系统（LTS）描述的目标服务规范，通过使用匹配的一组可用的组件服务（也使用LTS）构造了结构等效的LTS来描述转换的输入和输出要求。因此，每当可用的组件服务LTS不能用于“模拟”目标LT的结构时，现有的组合方法无法实现目标LT。此故障要求服务开发人员制定备用目标LT并重申组合步骤。然而，手动重新制定目标LTS的过程既有费力，易于出错。在此设置中，我们描述了一种有效的数据结构和算法，用于分析用户提供的目标LTS规范中隐含的数据和控制流程依赖性，以自动生成捕获与数据和控制依赖性相同的整体功能的备用LTS规范，以及确定任何替代方案是否可以导致可行的组合物。结果是需要繁琐的手工干预在重新制定目标服务的规范方面的繁琐手动干预。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号