一种BPEL流程数据竞争检测方法

对使用业务流程执行语言(BPEL)组织流程中存在的数据竞争问题进行了研究,根据BPEL特性提出了一个静态分析和动态监控相结合的有效检测方法.实验结果表明,该方法能够准确检测出流程中存在的数据竞争,提高了流程的可靠性.     

基于启发式的静态中断数据竞争检测方法

提出一种面向中断驱动型嵌入式软件的启发式静态数据竞争检测方法,并开发了原型工具H-RaceChecker.给定软件的源代码或目标程序,H-RaceChecker能够自动推断中断优先级状态、中断使能状态和内存访问状态等信息,在此基础上识别出每个程序点处可能的数据竞争,进而通过启发式精化策略对原始分析结果进行危险程度排序,提高人工确认结果的效率.实验验证了该方法的有效性.     

一种基于类的Java多线程程序数据竞争静态检测算法

多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义。将竞争静态检测和静态切片分析结合起来,提出了一种基于类的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进行分析,找出可能数据竞争,通过静态切片缩小程序分析范围,并结合数据竞争的必要条件,去掉不可能数据竞争。实例表明,该算法可用于指导修复程序中的竞争缺陷。     

基于变量访问序模式的中断数据竞争检测方法

在航天嵌入式软件等中断驱动型软件中,中断数据竞争问题十分突出.然而中断在并发语义、同步机制、调度机制等方面与线程（任务）有诸多不同,具有Ad-hoc特征,难以统一刻画,因此主流的数据竞争检测方法并不适用.以航天嵌入式软件数据竞争案例库为基础进行了系统分析,提出刻画有害中断数据竞争的7种缺陷模式.针对其中最常见且最难解决的单变量访问序模式,基于抽象解释提出一种支持过程间分析、中断并发分析的高效检测方法.设计并实现了相应的检测工具SpaceDRC.实验表明,SpaceDRC能够在145毫秒内检测出约21400行程序中的真实数据竞争.SpaceDRC已经在多个航天重点型号中进行了应用,使得中断数据竞争专项分析的效率提高了至少5倍,并且降低了问题遗漏率.     

基于BPEL的流程数据竞争问题研究

服务组合就是将多个基本的Web服务组合成可以满足用户需求的增值服务,为企业或企业间的业务过程集成提供技术支持。作为一种流程驱动的服务组合描述语言,BPEL和其他采用不同方式的服务组合语言一样面临着流程描述的正确性问题,在执行服务组合之前要对其控制流和数据流进行分析和验证。数据竞争是BPEL数据流分析中亟需解决的问题之一。围绕BPEL流程数据竞争问题,在对BPEL规范中的活动类型、活动并发性进行分析基础上,给出了数据竞争的形式化描述,提出一种检测方法。该方法基于XML节点树的特性、活动之间的并发性以及活动关联的消息来判断是否存在潜在的数据竞争。最后,通过一个订单处理流程实例,说明了该方案的有效性。     

一种基于Rough集理论的数据过滤方法

Ｒｏｕｔｈ集理论是一种处理不确定模糊知识的重要工具,在对Ｒｏｕｇｈ集理论进行深入研究的基础上,提出了一种基于Ｒｏｕｇｈ集理论的这滤算法。该处 工硒思想是基于Ｐ－确定的等价类的合并,算法直观,计算简便,理论和实验表明,该算法能够减低信息系统中信息的粒度,在保持规则近似质量不变的前提下,有效地提高规则的统计意义和预测强度。     

多线程程序数据竞争的静态检测

多线程并发程序的广泛使用带来了更多的数据竞争错误.传统的数据竞争静态检测由于对并发语义和别名信息的保守分析会导致很多假错误.因此,提出了一个精确有效的静态检测框架：分析应用了精确的别名分析并静态模拟了访问事件发生序;为提高分析效率,检测算法提出了一个以对象为中心,结合Escape分析缩小检测范围的检测算法并配合设计了压缩的别名等价类表示.检测框架在一个静态Java编译器JTool上做了实现,对于测试程序取得了很好的分析结果.     

基于粗集理论的一种数据泛化方法

传统的粗集理论只能对数据库中的离散属性进行处理,所以对存在连续属性的数据库必须进行离散化处理.经过初次离散化后的信息系统往往包含的等价类数过多.文中提出了一种数据泛化方法,利用决策表相容性的反馈信息对经过初次离散化的信息系统进行处理.结果表明,该方法能够有效地提高规则的统计意义及解释能力,推导出来的规则对待识样本具有更好的适应性.     

基于粗集理论的一种数据泛化方法

传统的粗集理论只能对数据库中的离散属性进行处理,所以对存在连续属性的数据库必须进行离散化处理。经过初次离散化后的信息系统往往包含的等价类数过多。文中提出了一种数据泛化方法,利用决策表相容性的反馈信息对经过初次离散化的信息系统进行处理。结果表明,该方法能够有效地提高规则的统计意义及解释能力,推导出来的规则对待识样本具有更好的适应性。     

基于ECA规则的BPEL异常流程定义方法

当前进行Web服务编排的首选标准流程语言是BPELgWS.在流程编排过程中,除了关注正常情况下的流程定义场景,如何清晰、快速地描述BPEL流程中出现的异常也同等重要.文中把数据库领域的ECA技术用于BPEL异常流程定义中,通过对实际业务流程进行分析,把流程中出现的异常分支都映射成ECA规则;此外,提出了BPEL规范中的...     

BPEL中同步与异步机制

Web服务业务流程执行语言（BPEL）是一种Web服务组合语言。本文详细分析了BPEL中的并发和同步控制、同步与异步通讯机制．并举例说明。     

基于程序依赖图的静态BPEL程序切片技术

传统程序切片技术在计算BPEL程序切片时会产生切片不完备问题,为此,提出一种基于程序依赖图的BPEL静态程序切片技术。该技术根据BPEL语言的特点,通过建立BPEL程序依赖图,计算BPEL程序切片。案例分析表明,该技术能够获得更加全面的程序切片,从而可以帮助软件工程人员更好地测试、调试和维护BPEL程序。     

基于BPEL和QoS的动态Web服务组合框架研究

利用BPEL语言可以将单独的Web服务组合成复杂的业务流程,但是BPEL语言不支持在业务流程执行阶段进行修改操作。虽然BPEL语言有错误处理和补偿机制,但是如果业务流程不能继续执行就会影响到业务执行效率。针对这一问题,提出了基于BPEL和QoS的动态Web服务组合框架,利用QoS组件的动态绑定功能和UDDI的动态发现Web服务功能,实现在业务流程运行时动态选择Web服务的功能,从而提高业务流程的执行效率。     

BPEL中基于有限状态自动机的Web服务自动组合

提出了一种基于有限状态自动机的Web服务自动组合方法,该方法能够自动实现BPEL中抽象业务流程与Web服务的绑定.以有限状态自动机模型形式化地定义了业务流程的外模式和内模式,将Web服务组合问题转化为有限状态自动机问题.利用有限状态自动机的笛卡儿积运算,得出了服务组合系统的行为描述.在此基础上,提出了组合服务存在性的判定依据,进一步给出了组合服务的计算方法,设计并实现了一个演示系统.     

BPEL中同步与异步机制

Web服务业务流程执行语言(BPEL)是一种Web服务组合语言。本文详细分析了BPEL中的并发和同步控制、同步与异步通讯机制,并举例说明。     

BPEL应用程序验证模型研究

在Web服务应用中,BPEL是一种基于流程的描述业务行为的语言.为了验证以BPEL构建的应用程序是否满足某些性质.提出了BVM模型来表达应用程序的语义,然后运用模型检测方法进行形式化验证.实验结果表明,以上方法在设计阶段能有效地发现并排除错误.     

BPEL中的事务处理机制

Web服务业务流程执行语言是一种流程定义语言,它使企业能够描述既能使用又能提供Web Services的复杂的业务流程。在研究了分布式事务处理的核心概念及其特点的基础上,详细分析了Web服务事务规范WS-COOR/WS-AT/WS-BA以及BPEL4WS中的事务处理机制,并举例进行了说明。     

BPEL中的Web服务动态合成机制

Web服务业务流程执行语言(BPEL)是一种Web服务合成语言.本文研究了Web服务合成的概念及其特点,详细分析了Web服务寻址及BPEL中的Web服务动态合成机制,并举例说明.     

一种BPEL结构演化算法研究*

针对BPEL并发同步引发的数据竞争、流程阻塞等问题,提出了一种BPEL结构演化算法。该算法的基本思想是利用BPEL基于XML编写的事实,使用XML 解析工具对BPEL的结构进行调整,达到规避失败的同步过程,删除冗余link结构的目的。利用自主开发的转换工具实现BPEL到形式化描述语言LOTOS的转换,通过对演化前后的BPEL流程做模型检测,来验证该演化方法的可行性。实验结果表明BPEL结构演化算法能够有效缓解BPEL并发同步带来的数据竞争、流程阻塞问题。