搜索到95篇“ BPEL流程“的相关文章
- 基于Petri网自动化构建BPEL流程的SMV模型被引量:2
- 2021年
- 针对使用BPEL进行Web服务组合过程中,复杂业务流程的正确性验证繁琐且易出错问题,论文提出了一种自动化构建BPEL流程的SMV模型方法。该方法将BPEL流程自动化映射到Petri网,借由Petri网直观展示组合流程并进行边界值、死锁等性质的检查,再由Petri网可达图自动化生成SMV模型,使用模型检测工具验证系统的安全性和行为属性,从而在流程的设计阶段发现服务组合中可能存在的问题。实验结果表明论文工作可以有效地减少验证过程的复杂性,有助于提高服务组合流程的正确性。
- 周子健刘冬梅
- 关键词:BPELPETRI网
- BPEL流程图形化设计中检测死锁的方法和装置
- 本发明提供一种BPEL流程图形化设计中检测死锁的方法和装置,属于业务流程设计技术领域,其可至少部分解决现有的业务流程设计阶段无有效的死锁检测方法的问题。本发明的BPEL流程图形化设计中检测死锁的方法包括建立同意边数据集;...
- 杨学红
- 文献传递
- 一种基于WSO2 Stratos的WS‑BPEL流程负载测试工具
- 本发明提供了基于WSO2 Stratos的WS‑BPEL流程负载测试工具,在传统负载测试架构的基础上,使用测试用例生成器替换记录软件;实时监控软件部分增加对Web子服务监控,扩展对Web子服务的负载测试结果的监控功能;将...
- 刘发贵欧嘉敏彭玉松
- 文献传递
- 用于检测Web服务组合中BPEL流程数据竞争的方法
- 本发明为一种Web服务组合中BPEL流程数据竞争的检测方法:首先基于BPEL设计规则构造BPEL活动间的先后序关系集,并通过BPEL执行引擎插桩收集BEPL流程的执行轨迹;然后分析轨迹中对变量读写操作的活动是否满足先后序...
- 许蕾胡友来李言辉陈林徐宝文
- 文献传递
- 一种策略驱动的BPEL流程异常处理框架被引量:3
- 2015年
- 如何提高BPEL流程异常处理的开发效率是策略驱动的BPEL流程异常处理方法亟待解决的关键问题之一。首先分析了基于策略的BPEL流程异常处理机制,设计了一种新的BPEL流程异常处理策略描述语言BPEH/PDL,然后结合BPEH/PDL异常处理策略,给出了一种新的BPEL流程异常处理框架BPEH/F,它具有一定的应用意义。
- 王权于吕国斌应时周峰
- 关键词:BPEL流程异常处理
- 云环境下WS-BPEL流程负载测试的研究与实现
- 随着互联网信息技术的发展,云计算已经成为一种趋势,是近几年最具影响力的技术之一。Paa S就是云计算的一种服务模式。Paa S将应用开发环境作为服务提供给客户,使客户有能力使用供应商支持的编程语言、库和服务等资源,在云基...
- 彭玉松
- 关键词:WEB服务
- 文献传递
- 物流服务的BPEL流程建模及组合算法研究
- 2015年
- 我国的物流企业呈现了规模小,市场份额小,各自为战,功能单一的现象。各公司优势不能结合起来,不符合现代物流的要求。针对以上问题,基于bpel工作流技术,将每个物流节点选择的不同公司提供的服务组合成一个业务流程。用改进的粒子群算法解决了两个问题:如何在各个节点的服务候选集中快速选取一套符合要求的最优服务;在不能同时服务多个用户的情况下,按怎样顺序服务用户。实现了服务的合理组合,提高整体的物流服务水平。
- 许喆薛霄吕克林
- 关键词:现代物流工作流
- 用于检测Web服务组合中BPEL流程数据竞争的方法
- 本发明为一种Web服务组合中BPEL流程数据竞争的检测方法:首先基于BPEL设计规则构造BPEL活动间的先后序关系集,并通过BPEL执行引擎插桩收集BEPL流程的执行轨迹;然后分析轨迹中对变量读写操作的活动是否满足先后序...
- 许蕾胡友来李言辉陈林徐宝文
- 一种基于WSO2 Stratos的WS-BPEL流程负载测试工具
- 本发明提供了基于WSO2?Stratos的WS-BPEL流程负载测试工具,在传统负载测试架构的基础上,使用测试用例生成器替换记录软件;实时监控软件部分增加对Web子服务监控,扩展对Web子服务的负载测试结果的监控功能;将...
- 刘发贵欧嘉敏彭玉松
- 文献传递
- 一种策略驱动的BPEL流程异常处理描述方法
- 2014年
- 针对如何提高BPEL流程的异常处理描述能力的问题,提出了一种策略驱动的BPEL流程异常处理描述方法。首先设计了一种新型的BPEL流程异常处理策略描述语言BPEH/PDL,并基于着色Petri网提出了BPEH/PDL异常处理策略的形式化描述方法。最后结合制造执行系统领域的汽车装配流水线管理系统,讨论了基于BPEH/PDL的BPEL流程异常处理策略的应用过程,以供参考。
- 王权于应时吕国斌文静程银海陈莹
- 关键词:BPEL流程异常处理策略描述语言着色PETRI网
相关作者
- 魏峻

- 作品数:264被引量:881H指数:16
- 供职机构:中国科学院软件研究所
- 研究主题:中间件 WEB应用 WEB服务 分布式 分布式系统
- 王权于

- 作品数:23被引量:41H指数:3
- 供职机构:中国地质大学(武汉)
- 研究主题:异常处理 岩土工程 语料库 BPEL流程 面向语义
- 鲍亮

- 作品数:33被引量:37H指数:3
- 供职机构:西安电子科技大学
- 研究主题:网络 吞吐量 BPEL 业务流程执行语言 BPEL流程
- 吴国全

- 作品数:62被引量:106H指数:5
- 供职机构:中国科学院软件研究所
- 研究主题:重放 相似度 WEB服务 WEB应用 脚本
- 陈平

- 作品数:188被引量:874H指数:15
- 供职机构:西安电子科技大学
- 研究主题:逆向工程 面向对象 序列图 软件工程 软件开发