BPEL

作品数：236被引量：415H指数：8
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：宋巍李必信陈俊亮陈平黄志球更多>>
相关机构：北京邮电大学东南大学南京大学南京理工大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模板匹配的BPEL程序故障修复及优化技术被引量：1
《软件学报》2024年第6期2844-2862,共19页孙昌爱 吴思懿 张守峰 付安 
国家自然科学基金(61872039,62272037);北京市自然科学基金(4162040);航空科学基金(2016ZD74004)。
BPEL(business process execution language)是一种可执行的Web服务组合语言.与传统程序相比,BPEL程序在编程模型、执行方式等方面存在较大差异.这些新特点使得如何定位并修改测试阶段发现的BPEL程序故障成为挑战,面向传统软件的故障修...
关键词：程序调试 故障修复 WEB服务 服务组合 BPEL程序 
基于BPEL的Web服务组合测试路径生成
《计算机应用文摘》2023年第13期46-48,共3页董天骄 
文章以更好地实现服务组合测试为目标,提出基于BPEL的Web服务组合测试路径生成方法。首先将应用于描述BPEL流程的模型WFDAG,通过DAG对Web服务工作流进行建模,有效保证数据流测试路径的生成。然后以此为基础应用扩展后的分析方法,并采取...
关键词：BPEL WEB服务组合 测试路径生成 WFDAG 
精细化的BPEL程序数据竞争动态检测方法被引量：2
《计算机集成制造系统》2022年第10期3064-3080,共17页鲁伟娜 鲁法明 包云霞 曾庆田 段华 
国家自然科学基金资助项目(61602279);山东省泰山学者工程专项基金资助项目(ts20190936);山东省高等学校青创科技支持计划资助项目(2019KJN024);国家海洋局海洋遥测工程技术研究中心开放基金资助项目(2018002);山东科技大学领军人才与优秀科研创新团队资助项目(2015TDJH102)。
鉴于传统的数据竞争动态检测方法对因果关系的建模不够准确,且将互斥关系处理为因果约束,导致多种误报或漏报,对业务流程执行语言(BPEL)活动间的因果关系进行精细划分,提出一种基于新型逻辑时钟的因果关系精细化识别方法,并联合向量时...
关键词：数据竞争 并发缺陷 WEB服务组合 业务过程管理 逻辑时钟 
基于Petri网自动化构建BPEL流程的SMV模型被引量：2
《计算机与数字工程》2021年第10期2062-2068,2132,共8页周子健 刘冬梅 
针对使用BPEL进行Web服务组合过程中,复杂业务流程的正确性验证繁琐且易出错问题,论文提出了一种自动化构建BPEL流程的SMV模型方法。该方法将BPEL流程自动化映射到Petri网,借由Petri网直观展示组合流程并进行边界值、死锁等性质的检查,...
关键词：服务组合 BPEL PETRI网 模型检测 
一种基于变异分析的BPEL程序故障定位技术被引量：1
《计算机科学》2021年第1期301-307,共7页孙昌爱 张守峰 朱维忠 
国家自然科学基金(61872039);中央高校基本科研业务费专项资金资助项目(FRF-GF-19-019B)。
不同于传统C,C++或Java程序,BPEL(Business Process Execution Language)程序由一组活动及其之间的交互组成,同时引入了并发、序列化、XML表示等新特征,这些新特点使得定位BPEL程序的故障具有一定的挑战性。针对现有故障定位技术在有效...
关键词：故障定位 程序调试 BPEL 变异分析 软件测试 
基于BPEL的Web服务组合测试路径生成被引量：1
《大连交通大学学报》2020年第2期94-99,共6页徐克圣 王兰 
为更好地对服务组合展开测试,提出一种基于BPEL的Web服务组合测试路径的生成方法.首先对BPEL流程进行建模,以一种可扩展的控制流程图作为描述BPEL过程的形式模型.在此基础上,采用扩展后的数据流分析方法对所得控制流图进行分析,产生满...
关键词：Web服务组合测试 测试路径 建模 数据流分析 BPEL 
基于BPEL-PN的服务组合流程合理性验证研究
《湖北工程学院学报》2018年第3期75-79,共5页胡晓静 刘士喜 
安徽省自然科学基金资助项目(180805MF170);滁州学院科研启动基金资助项目(2016qd10);滁州学院课程综合改革项目(2017kcgg010;2016jy024);安徽省教学研究项目(2017jyxm1240)
针对服务组合流程中可能存在的死锁及不正确流程,采用BPEL流程描述语言,设计服务组合流程Petri网(BPEL-PN),在不破坏原网模型结构性质的基础上,将其调整映射为(扩充)自由选择网。根据BPEL-PN模型的流程合理性验证方法,分析网模型的结构...
关键词：BPEL-PN 自由选择网 服务组合流程 合理性 
基于SPN的矿山地面灾害应急预警服务BPEL建模分析被引量：7
《地理与地理信息科学》2018年第2期47-52,共6页陈月娟 张锦 
国家重点研发计划地球观测与导航专项(2016YFB0502601);国家自然科学基金项目(41771443、41371373)
针对煤炭开采所导致的矿山地面灾害,该文提出一种基于异常事件驱动的矿山地面灾害应急、预警服务链组合模型(Mining Event-driven Emergency early Warning Geospatial Service chain Model,MEWGSM)。首先通过业务流程执行语言BPEL对模...
关键词：地理信息服务组合 BPEL 随机PETRI网 MEWGSM模型 服务性能分析 
采用函数式语言的BPEL模型形式化验证方法被引量：5
《计算机科学与探索》2018年第2期185-196,共12页祝义 黄志球 周航 
国家自然科学基金No.61502212;江苏省博士后基金No.1501055B~~
通信顺序进程(communicating sequential process,CSP)是一种经典的形式化方法,CSP_M是在CSP基础上提出的一种函数式语言。目前Web服务组合中BPEL(business process execution language)模型缺乏可执行的形式化编程语言,通过CSP_M提出...
关键词：函数式语言 通信顺序进程(CSP) 业务流程执行语言(BPEL) 形式化验证 模型检测 
BPEL背景下的工作流引擎调度技术探索
《计算机产品与流通》2018年第1期255-255,共1页周艳艳 
"基于工作流技术的电子政务协同办公系统的设计与研究"课题[课题编号:171357]的研究论文之一
工作流引擎调度技术是可以通过一系列的过程操作,来达到企业业务自动化进程的关键技术。而目前的工作流引擎还存在很多的问题,针对这些问题,在BPEL背景下研究工作流引擎调度技术,提出支持异构分步环境的引擎技术,对企业实现信息化管理,...
关键词：BPEL 工作流引擎 调度技术 
全选清除导出
共24页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部