• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International Journal of Cooperative Information Systems >AUTOMATIC SERVICE COMPOSITION BASED ON BEHAVIORAL DESCRIPTIONS
【24h】

AUTOMATIC SERVICE COMPOSITION BASED ON BEHAVIORAL DESCRIPTIONS

机译：基于行为描述的自动服务组合

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper addresses the issue of automatic service composition. We first develop a framework in which the exported behavior of a service is described in terms of a so-called execution tree, that is an abstraction for its possible executions. We then study the case in which such exported behavior (i.e. the execution tree of the service) can be represented by a finite state machine (i.e. finite state transition system). In this specific setting, we devise sound, complete and terminating techniques both to check for the existence of a composition, and to return a composition, if one exists. We also analyze the computational complexity of the proposed algorithms. Finally, we present an open source prototype tool, called εSC (E-Service Composer), that implements our composition technique. To the best of our knowledge, our work is the first attempt to provide a provably correct technique for the automatic synthesis of service composition, in a framework where the behavior of services is explicitly specified.
机译：本文解决了自动服务组合的问题。我们首先开发一个框架，其中用所谓的执行树来描述服务的导出行为，该执行树是其可能执行的抽象。然后我们研究这种输出行为（即服务的执行树）可以由有限状态机（即有限状态转换系统）表示的情况。在这种特定设置下，我们设计了声音，完整和终止技术，既可以检查乐曲的存在，也可以返回乐曲（如果存在）。我们还分析了所提出算法的计算复杂度。最后，我们介绍了一种称为εSC（E-Service Composer）的开源原型工具，该工具实现了我们的合成技术。据我们所知，我们的工作是在明确指定服务行为的框架中，为自动合成服务组合提供可证明正确的技术的首次尝试。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号