您的位置: 专家智库 > >

张永进

作品数:1 被引量:1H指数:1
供职机构:江西理工大学信息工程学院更多>>
发文基金:江西省自然科学基金江西省教育厅科学技术研究项目更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇业务流
  • 1篇业务流程执行...
  • 1篇执行语言
  • 1篇数据竞争
  • 1篇BPEL
  • 1篇WEB服务

机构

  • 1篇江西理工大学

作者

  • 1篇杨书新
  • 1篇李淑芝
  • 1篇张永进

传媒

  • 1篇计算机应用

年份

  • 1篇2010
1 条 记 录,以下是 1-1
排序方式:
基于BPEL的流程数据竞争问题研究被引量:1
2010年
服务组合就是将多个基本的Web服务组合成可以满足用户需求的增值服务,为企业或企业间的业务过程集成提供技术支持。作为一种流程驱动的服务组合描述语言,BPEL和其他采用不同方式的服务组合语言一样面临着流程描述的正确性问题,在执行服务组合之前要对其控制流和数据流进行分析和验证。数据竞争是BPEL数据流分析中亟需解决的问题之一。围绕BPEL流程数据竞争问题,在对BPEL规范中的活动类型、活动并发性进行分析基础上,给出了数据竞争的形式化描述,提出一种检测方法。该方法基于XML节点树的特性、活动之间的并发性以及活动关联的消息来判断是否存在潜在的数据竞争。最后,通过一个订单处理流程实例,说明了该方案的有效性。
杨书新李淑芝张永进
关键词:业务流程执行语言WEB服务数据竞争
共1页<1>
聚类工具0