【摘 要】
：
为了对广泛流行的业务流程执行语言(BPEL)进行静态缺陷检测,深入研究了BPEL程序中可能存在的各种缺陷,提出了面向缺陷模式的BPEL静态检测方法.面向缺陷模式检测的方法采用扩
【机 构】
：
北京邮电大学网络与交换技术国家重点实验室
论文部分内容阅读
为了对广泛流行的业务流程执行语言(BPEL)进行静态缺陷检测,深入研究了BPEL程序中可能存在的各种缺陷,提出了面向缺陷模式的BPEL静态检测方法.面向缺陷模式检测的方法采用扩展有限状态机对缺陷进行建模,通过属性状态变迁条件判断缺陷状态,并在所有控制流汇合节点上合并相同属性状态的状态机实例,从而避免了冗余判断的问题.该方法已用于BPEL的缺陷检测系统中.实例验证结果说明,采用该方法进行测试有效可行,可用于提升流程的可靠性和准确性.
其他文献
Cotton fiber development is a highly programmed process,involving a large number of genes.Through cDNA array and RT-PCR,we isolated a Gossypium hirsutum RD22-1
界定了制造业环境友好的内涵,通过因子分析构建了制造行业环境友好状况的评价体系,对我国30个制造行业环境友好状况进行了实证评价,综合运用聚类分析、Kruskal-Wallis H非参
【目的】小麦灌浆过程中旗叶光合、抗氧化代谢与氮素营养密切相关,本研究通过田间试验,以进一步揭示其关系。【方法】试验选用多穗中粒(MM)型品种藁城8901(GC8901)和大穗大粒
近年来,随着国家高校扩招政策的颁布,许多高校为了响应国家这一政策,纷纷在城市郊区新建校区以满足学生不断增加的趋势.本文通过对青岛李沧区和崂山区迁入的五所高校周边居民
室内空气质量与人的生活息息相关,其中甲醛是装修后室内空气中主要污染物之一,因此迫切需要改善室内空气质量来获得良好的生活环境.室内植物可以吸收甲醛,从而净化空气,但目
在建立认知无线电网络威胁模型的基础上,分析了恶意攻击下传统合作频谱感知算法性能的下降程度.为了对抗恶意用户对频谱感知协议的攻击,提出了一种基于信誉的加权合作频谱感
近年来,有色金属冶炼行业的重金属污染环境问题,尤其是重金属对土壤的污染已成为国际、国内关注的环境热点.为进一步研究和探讨土壤修复技术在铜冶炼项目中的应用,本文以某电
谱聚类算法中并不是所有的顶层谱都含有聚类信息,对于实际含噪声数据的聚类,由于谱数据分布复杂,谱的选择是必要的.文中推广积分平方误差散度,验证所提出的广义积分平方误差散度可用来估计数据分布的模态,以及度量谱所含的聚类信息量,并提出一种基于谱选择的谱聚类算法.自然图像分割实验结果表明,提出的算法比以往的谱聚类算法更为简单有效.
以增溶了茂金属的十六烷基三甲基溴化铵(CTAB)胶束为模板,采用一步法合成了介孔表面负载有金属(铁、钦和错)的介孔材料MCM-41,通过等离子体电感耦合发射光谱仪(ICP-AES)测定
论文以上海市18个区县为研究对象,建立了水资源承载力评价指标体系;利用GIS数据库建立了18个区县图层数据库和对应区水资源承载力指标数据库;引用基于GIS技术和多级综合评价