首页> 外文OA文献 >A Survey on Service Composition Approaches: From Industrial Standards to Formal Methods
【2h】

A Survey on Service Composition Approaches: From Industrial Standards to Formal Methods

机译:服务组合方法调查:从行业标准到正式方法

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务,本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文,但由于OA文献来源多样且变更频繁,仍可能出现获取不到、文献不完整或与标题不符等情况,如果获取不到我们将提供退款服务。请知悉。

摘要

Composition of services has received much interest to support business-to-business and enterprise applications integration. The business world has developed a number of XML-based standards to formalize the specification of web services, their composition, and their execution. On the other hand, the semantic web community focuses on reasoning about web resources by explicitly declaring their preconditions and effects with terms defined precisely in ontologies. Current service composition approaches range from practical languages aspiring to become industrial standards (e.g. BPEL and OWL-S) to more theoretical models and languages (e.g. automata, Petri nets, and process algebras). In this paper we present a survey of existing proposals for service composition and compare them among each other with respect to some key requirements. We hope this helps service composition designers and developers to focus their efforts and to deliver lasting solutions, while at the same time addressing the technologyu27s critical needs.
机译:服务的组合引起了人们对支持企业对企业和企业应用程序集成的极大兴趣。商业世界已经开发了许多基于XML的标准,以规范Web服务的规范,其组成和执行。另一方面,语义Web社区通过使用本体中精确定义的术语来明确声明其前提和效果,从而专注于对Web资源的推理。当前的服务组合方法包括渴望成为工业标准的实用语言(例如BPEL和OWL-S)到更多理论模型和语言(例如自动机,Petri网和过程代数)。在本文中,我们对现有的服务组合建议进行了调查,并就某些关键要求将它们相互比较。我们希望这有助于服务组合设计人员和开发人员集中精力并提供持久的解决方案,同时满足该技术的关键需求。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号