一种支持组合事务的执行语义分析方法

为了保证组合事务应用需求,不可避免引入失败恢复机制,以提供可靠的执行语义.本文提出一种基于向前、向后和替代恢复的综合事务恢复机制的执行语义分析技术,借助Petri网的动态执行推演技术和数据流分析技术,讨论聚合模式执行语义,最终实现组合事务失败恢复行为的无缝添加/删除.通过对旅行预订组合事务实例分析,表明该语义分析方法是可行的.

支持组合事务的失败恢复验证

组合事务中任务间的协作通常以点对点的方式而不是中心控制,当系统崩溃时,事务流中的任务可能部分执行而其后续任务则未被调度执行。在这种情况下,选择合适的失败恢复验证策略是必要的。提出一种支持向前、向后和替代恢复策略的失败恢复验证方法。当失败发生时,借助组合事务的执行日志和可接受状态集,选择合适的恢复策略,验证带状态空间的事务恢复所产生的一组动作序列,是否包含一组良好行为。追踪执行进展,检测恢复后组合事务是否存在不一致状态。通过对旅行预订流程的实例分析,表明该失败恢复验证方法是可行的。

基于失败恢复策略的Web组合事务QoS估算

由于组合应用需求超越了传统事务,为了保证组合服务事务的性质,不可避免地需要合适的失败恢复机制,以提供持续的和可靠的执行语义.提出一种组合事务恢复模型,采用向前、向后和替代恢复的综合事务恢复策略实现失败恢复的动态编程,将失败恢复策略从业务流中分离出来建模.与高级事务聚合模式相对应,任务执行失败将影响组合事务流程的执行进展.然而,现有的QoS性能估算方法并没有考虑失败恢复产生的影响,因此,不能直接用于组合事务的QoS估算.根据事务正确和出错情形,提出了一个基于组合事务的QoS评价和估算模型.实验证明,该模型能有效地估算和分析组合事务性能,对于减少事务失败率和消除不利因素影响有较好的效果.

组合事务块及其在C语言和FOXPRO中的实现

高级程序设计语言（如Ｃ语言）和数据库系统的嵌套使用，作为一种有效的数据操纵和管理结构，目前在传统的离线或在线事务处理系统，以及智能控制系统中得到了广泛应用．这些应用的特点之一是要求系统具有很高的可靠性．文中提出了一种称为组合事务块的新颖容错原语，详细论述了它在Ｃ语言和ＦＯＸＰＲＯ中的实现方案．本质上，组合事务块是一种将数据容错、程序容错及算法容错结合起来的混合容错机制．文中还分析了组合事务块在冗余处理机上的执行时间，并用软件实验验证了它的容错特性．

事务性服务组合的过程模型及良构性判定

松散耦合环境中服务组合的组成服务具有异构性,且对应业务过程生命期较长.针对已有研究不足,提出了事务性服务组合过程模型TSCPM,该模型支持服务的多种恢复模式和恢复策略,准确描述了事务性服务组合执行语义和状态转换,给出了语义原子性的形式化定义.基于该模型,刻画了良构性及其循环、弱序及递归构造判定准则,证明了符合判定准则是一个事务性服务组合满足良构性的必要条件,给出了基于模型检测的良构性判定方法.

一种基于单事务项集组合的频繁项集挖掘算法

Apriori是挖掘频繁项集的基本算法,目前该算法及其优化变种都没有解决候选项及重复扫描事务数据库的问题。文章通过对Apriori及其优化算法的深入探究,提出了一种基于单事务组合项集的挖掘算法,该算法在一个事务内部对"数据项"进行组合,在事务数据库中对所有相同"项集"进行计数。不经过迭代过程,不产生候选项集,所有频繁项集的挖掘过程只需对事务数据库一次扫描,提高了频繁项集挖掘效率。

基于粗糙集和单事务项组合的关联规则挖掘算法

Apriori算法必须反复地扫描数据库才能求出频繁项集,效率较低,且不支持更新挖掘。为了解决这些问题,提出了一种基于粗糙集、单事务项组合和集合运算的关联规则挖掘算法。本算法首先利用粗糙集进行属性约简,对新决策表中的每个事务进行"数据项"组合并标记地址,然后利用集合运算的方法计算支持度和置信度即可挖掘出有效规则。本算法只需要一次扫描数据库,同时有效地支持了关联规则的更新挖掘。应用实例和实验结果表明,本算法明显优于Apriori算法,是一种有效且快速的关联规则挖掘算法。

组合Web服务事务的补偿语义研究

Web服务组合需要可靠的事务处理机制,而目前仅依赖传统的ACID机制进行组合事务处理无法满足需要。为此提出一种基于配对Petri网的结构化补偿方法,该方法基于配对Petri网描述基本聚合结构的Web服务组合及其补偿行为。借助配对Petri网的动态执行推演技术分析了聚合结构补偿的执行语义,分析表明该方法可用于可靠业务流程组合、聚合补偿和组合流程优化等方面。

支持LRT的失败恢复算法及其事务性质分析

研究人员已经致力于组合事务的恢复问题研究,但是大多数成果集中通过向后恢复来维持事务的一致性,补偿是向后恢复通常使用的一种手段,但是向后恢复的最大缺陷就是导致代价相当高,且向后恢复策略不能完全满足各种不同恢复需求。提出一种基于失败类型的恢复算法(包括向前、向后和替代恢复),其是一种基于扩展Petri网的形式化建模方法,为实现松弛ACID属性,引入状态托肯、数据托肯和QoS托肯,增加失败变迁和补偿变迁。失败发生时,动态计算终止依赖点TDP和补偿集,依据任务之间的控制流、数据流、时序、状态和行为依赖,获取任务的失败类型,选择合适的恢复策略,构造一个支持无缝添加/删除失败恢复的可执行模型。

基于失败代价风险值的Web服务事务调度算法

针对Web服务组合中可能存在的巨大补偿代价和不可补偿的Web服务问题,定义Web服务失败代价风险值,提出基于Web服务时间约束和失败代价风险值的Web服务动态提交算法——WSDSA,采用理论证明和仿真实验的方法,证明WSDSA和传统子事务执行后立即提交的方法相比,能有效降低Web服务组合的失败代价,减少不可补偿Web服务需要补偿的次数。

会计师事务所行业专长研究

伴随着会计师事务所"做大做强"战略的实施,会计师事务所行业专长问题研究日显重要。对于会计师事务所行业专长的度量,目前国外流行的主要度量方法是行业市场占有率法和事务所组合份额法。本文在分析两种度量方法优缺点的基础上,设计了一种加权行业市场占有率法,兼具二者之优点,以更恰当地度量会计师事务所的行业专长水平。

SOA环境下系统事务模型的研究与设计

在SOA环境下,各Web服务协作完成一个业务功能。而这些服务通常会对各自的本地数据和共享数据进行读写操作。因此系统能否正确和可靠地保证事务完整性是衡量能否投入使用的标准之一。通过提出一种对系统设计人员和开发人员统一的事务建模方法,使得业务分析师在系统设计时可以对系统事务进行整体建模;在实现时,开发人员可以将此事务模型简单地映射到具体的SOA实现技术中去。