首页> 外文期刊>Science of Computer Programming >Formal semantics and analysis of control flow in WS-BPEL
【24h】

Formal semantics and analysis of control flow in WS-BPEL

机译:WS-BPEL中的形式语义和控制流分析

获取原文
获取原文并翻译 | 示例

摘要

Web service composition refers to the creation of new (Web) services by combining functionalities provided by existing ones. A number of domain-specific languages for service composition have been proposed, with consensus being formed around a process-oriented language known as WS-BPEL (or BPEL). The kernel of BPEL consists of simple communication primitives that may be combined using control-flow constructs expressing sequence, branching, parallelism, synchronization, etc. We present a comprehensive and rigorously defined mapping of BPEL constructs onto Petri net structures, and use this for the analysis of various dynamic properties related to unreachable activities, conflicting messages, garbage collection, conformance checking, and deadlocks and lifelocks in interaction processes. We use a mapping onto Petri nets because this allows us to use existing theoretical results and analysis tools. Unlike approaches based on finite state machines, we do not need to construct the state space, and can use structural analysis (e.g., transition invariants) instead. We have implemented a tool that translates BPEL processes into Petri nets and then applies Petri-net-based analysis techniques. This tool has been tested on different examples, and has been used to answer a variety of questions.
机译:Web服务组合是指通过组合现有服务提供的功能来创建新的(Web)服务。已经提出了许多用于服务组合的领域特定语言,并且围绕被称为WS-BPEL(或BPEL)的面向过程的语言形成了共识。 BPEL的内核由简单的通信原语组成,可以使用表达序列,分支,并行性,同步等的控制流构造进行组合。我们提出了BPEL构造对Petri网结构的全面而严格定义的映射,并将其用于分析与不可达活动,冲突消息,垃圾收集,一致性检查以及交互过程中的死锁和生命锁有关的各种动态属性。我们使用到Petri网的映射,因为这允许我们使用现有的理论结果和分析工具。与基于有限状态机的方法不同,我们不需要构造状态空间,而可以使用结构分析(例如过渡不变式)代替。我们已经实现了将BPEL流程转换为Petri网,然后应用基于Petri网的分析技术的工具。该工具已在不同的示例上进行了测试,并已用于回答各种问题。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号