• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International Journal of Business Process Integration and Management >Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis
【24h】

Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis

机译：结合基于CSSA的数据流分析的分布式WS-BPEL业务流程的高级验证

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

摘要

The business process execution language far web services (WS-BPEL) provides a technology to aggregate encapsulated functionalities for defining high-value web services. For a distributed application in a B2B interaction, the partners simply need to expose their provided functionality as BPEL processes and compose them. Verifying such distributed web service based systems has been a huge topic in the research community lately. However, in most of the work on analysing properties of interacting web services, especially when backed by stateful implementations like WS-BPEL, the data flow present in the implementation is widely neglected and the analysis focuses on control flow only. This might lead to false-positive analysis results when searching for design weaknesses and errors of a given BPEL process. In this paper, we present a method to extract data flow information by constructing a CSSA representation and detecting data dependencies that effect communication behaviour. Those discovered dependencies are used to construct a more precise formal model of the given BPEL process and hence to improve the quality of analysis results.
机译：业务流程执行语言远程Web服务（WS-BPEL）提供了一种聚合封装功能的技术，用于定义高价值Web服务。对于B2B交互中的分布式应用程序，合作伙伴只需将其提供的功能作为BPEL流程公开并进行组合即可。近年来，验证此类基于分布式Web服务的系统已成为研究界的重要话题。但是，在分析交互Web服务的属性的大多数工作中，尤其是在有状态实现（例如WS-BPEL）支持的情况下，实现中存在的数据流被广泛忽略，并且分析仅集中在控制流上。在搜索给定BPEL流程的设计弱点和错误时，这可能导致假阳性分析结果。在本文中，我们提出了一种通过构造CSSA表示并检测影响通信行为的数据依存关系来提取数据流信息的方法。这些发现的依赖关系用于为给定的BPEL流程构建更精确的形式化模型，从而提高分析结果的质量。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号