• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International Journal of Business Process Integration and Management >Describing and reasoning on Web Services using Process Algebra
【24h】

Describing and reasoning on Web Services using Process Algebra

机译：使用流程代数对Web服务进行描述和推理

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

摘要

We argue that essential facets of Web Services (WSs), and especially, those useful to understand their interaction, are best described using process-algebraic notations. WS description and execution languages such as BPEL are essentially process description languages; they are based on primitives for behaviour description and message exchange, which can also be found in more abstract languages such as Process Algebras (PAs). One legitimate question is therefore whether the WSs community can benefit from the sophisticated languages and tools developed in the PA area. Our investigations suggest a positive answer and we claim that PAs provide solutions to a number of challenges raised by the WSs paradigm, among which are central issues of orchestration and choreography. We show on a case study that readily available tools based on PA are effective at verifying that compositions of services obtained by choreography and orchestration conform their requirements and respect properties. We suggest a general framework based on a mapping between PA and WSs written in BPEL, and illustrate both the modelling of services by PA and the use of reasoning tools.
机译：我们认为，最好使用过程代数表示法来描述Web服务（WS）的基本方面，尤其是对于理解其交互有用的方面。 WS描述和执行语言（例如BPEL）本质上是流程描述语言。它们基于用于行为描述和消息交换的原语，也可以在更抽象的语言（例如流程代数（PA））中找到它们。因此，一个合理的问题是，WS社区是否可以从PA地区开发的复杂语言和工具中受益。我们的调查提出了一个肯定的答案，并且我们声称PA为WS范式提出的许多挑战提供了解决方案，其中包括编排和编排的核心问题。我们在一个案例研究中显示，基于PA的现成工具可以有效地验证通过编排和编排获得的服务组合符合其要求和尊重属性。我们建议一个基于PA和用BPEL编写的WS之间映射的通用框架，并说明PA进行的服务建模和推理工具的使用。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号