基于隔离域的事务工作流并发控制

事务工作流系统中存在多个流程的多个实例同时并发执行的情况,所以多个活动同时访问共享资源时出现访问冲突.为保证流程的正确执行和提高活动的并发度,基于事务的隔离性特征,提出了隔离域的概念和相关属性,并在建模阶段采用业务流程和事务需求分开定制的方式,通过设置隔离域的隔离属性来控制各流程实例并发活动的执行,并且给出了基于隔离域的并发控制算法,从而有效地提高了流程和活动的并发度,并避免丢失修改等现象的发生.     

一种基于语义控制的长事务工作流模型

在工作流系统中,长事务普遍存在,现有借鉴数据库事务处理方法的事务模型在对工作流长事务进行处理时存在着一定的局限性。为了解决工作流中长事务的共享资源访问控制和冲突解决效率等问题,在新模型中引入了语义控制协议,强调人的参与在事务处理中的重要性,并结合一致性状态和日志,能够有效的提高解决冲突的灵活性和效率、缩小事务规模和降低事务回滚的代价。     

一种新的实时事务并发控制方法

本文提出一种新的实时事务并发控制方法，并对其性能进行了模拟评测；与锁式协议，乐观协议，基于时间戳的协议相比，它可以获得更新的并发度，与诸如ε－可串行比、△－可串行化等一致性的放松可串行化并发控制技术相比，它维护强一致性，保证严格可串行化。     

一种基于时标的网格事务并发控制方法

定义了一个网格事务模型,提出了支持该网格事务模型的、基于时标的并发控制协议,证明了协议的正确性。该协议扩充了事务类型,减小了事务的冲突范围,从而避免了大量不必要的事务重启,提高了事务的并发度。性能实验分析表明,该协议是可行且有效的。     

一种空间数据多策略长事务并发控制方法的研究

本文提出了一种空间数据多策略长事务并发控制方法，较好地解决了GIS系统中并发控制的问题，有效地提高了GIS系统的性能，而且实现方式多样，可以满足众多用户不同的需求。     

一种支持工程设计事务的乐观并发控制方法

传统乐观并发控制方法对工程设计事务支持较弱。该文以嵌套事务模型为基础并结合检入＝检出机制,提出一种改进的乐观并发控制方法,能够较好地解决传统乐观并发控制方法在工程设计务应用上存在的问题并提高了事务的并发度。     

基于Sagas模型的改进事务工作流模型

Sagas模型要求所有子事务都要有对应的补偿子事务,任何子事务失败必须强制其它所有子事务失败,不能很好支持多事务多实例的并发执行。这三个缺陷使得Sagas模型至今不能运用到商业工作流系统中。针对Sagas模型的缺陷,提出一种改进的Sagas事务工作流模型,对子事务属性进行了分类并通过构造子事务间的关联关系使得可补偿子事务失败时无需强制所有子事务失败;引入补偿服务完善了工作流模型的语义;给出了基于事务实例锁集和后继子事务类型集的多事务多实例并发运行算法。该模型解决了Sagas模型存在的问题。     

一种实时事务并发控制的新方法:SMVCC

提出了新颖的实时数据库事务并发控制方法：语义多版本并发控制协议（SMVCC）。利用实时数据库中存在多版本数据的特点,考虑实时数据和实时事务语义,结合实时数据库相似性概念,对传统多版本并发控制方法进行扩展,对不同事务采用不同并发控制策略,提高了事务并发度。     

R／W事务的并发控制方法

两阶段封锁是经典事务并发控制的基本原则，它保证了事务的交叉调度结果的正确性。然而，两阶段封销的要求经常会降低系统的效率，特别是当事务申有用户参与交互遏程时，这种效率的降低往往会变得无法忍受。本文针对应用申广泛存在的一期事务——R／W事务，提出了一种新的封销机制，在绝大多数情况下，它能够克服两阶段封销的缺陷，同时确保事务交叉调度结果的正确性。     

基于混合粒度冲突检测的事务工作流调度算法

事务工作流由若干个平面事务组成,其执行满足松弛原子性.由于组成事务工作流的平面事务具有不同的完成特性,为了防止不可串行化的执行,现有的调度算法通常只允许一个活动工作流执行不可补偿事务,这大大限制了并发度.定义了基于事务类型和事务实例两种粒度的冲突关系,并提出了一种基于这两种粒度冲突检测的调度算法,保证了并发事务工作流的可串行化和可恢复执行.该算法从两个方面提高了并发度:一方面通过事务实例之间(细粒度)的冲突检测减少了工作流冲突的概率;另一方面通过事务类型之间(粗粒度)的冲突预测,允许多个将来不冲突的工作流执行不可补偿事务.     

基于语义约束的资源工作流并发正确性保证

控制流结构中并发变迁的正确性是工作流模型正确性的基础．为保证模型的正确性，提出了资源语义约束工作流网的基本概念，丰富了控制流的数据语义，给出了两方面的控制流并发正确性：并发控制流与其数据语义的一致性检测算法及改正原则，保证了模型中的并发控制流结构的正确性；实例中基于数据语义约束的并发变迁正确性保证机制，提出了申请锁和释放锁的算法，保证了工作流实例中并发执行的正确性。     

事务工作流WfSaga及其建模工具

以扩展事务模型Saga和Flexible为基础,引入可替换事务和平凡事务等事务种类,借用传统事务恢复机制"保存点"的思想,提出了支持分布式工作流应用的可靠事务工作流模型WfSaga,以Java图形操作为基础,设计了图形化建模工具并用基于XML的过程定义语言对模型进行了描述,最后对模型的正确性验证进行了讨论.     

面向长事务的事务性工作流系统的研究与实现

事务性工作流一直是工作流的研究热点之一，通过对saga模型和事务的状态进行分析，扩展到对工作流的状态分析，从而通过事务性工作流的状态的控制，实现事务的管理。文中提出了基于saga事务模型的一种事务性工作流引擎模型用于解决商业流程中的长事务问题。     

基于资源限制流图的工作流并发结构的正确性验证

本文在基于Petri网的工作流网的控制流的正确性验证的基础上，提出了基于数据流的资源限制流网的概念，并在资源限制流网的基础上，提出了工作流网的正确性概念，提出了并发变迁的并发性错误检查算法．     

基于线程的并发控制技术研究与应用

高效的并发控制策略可以提高系统的并行处理能力、改善交互响应时间。该文讨论了并发编程的复杂性,分析了4种基于线程的并发结构。目前,基于线程的并发控制技术已成功地应用到了分布事务监控器OnceTX中。     

基于语义可串行性的乐观并发控制算法

为了克服文献[1]所提出的两种用于实现语义可串行性并发控制算法的缺点(即都对用户书写的事务提出了特殊的要求，从而增加了用户的负担)，本文给出了一种基于乐观方法的并发控制算法，并证明了该算法能够保证它所生成的历史具有语义可串行性．     

基于资源预报的两级并发控制

本文提出了一种新的基于资源预报的并发控制机制，该机制充分考虑了实时事务的功能替代性，将并发控制分为替代级控制和事务级控制，允许多个替代并发执行。每个替代代表一条执行路径，只要其中一个替代成功则该实时事务可以提交；一个替代夭折，不表示该事务夭折，甚至并发执行的所有替代夭折，也不一定表示该实时事务夭折，该事务有可能会从另外的替代重启，这就大大提高了实时事务的成功率，降低了由于硬实时事务超过截止期对系统带来损失的可能性。     

基于RBAC的工作流管理系统授权约束方法

针对工作流管理系统动态授权的特性,在基于角色的访问控制(RBAC)模型基础上,提出一种权限约束支持的RBAC模型,利用Datalog逻辑语言描述约束策略,借助Datalog推理机实现一个“任务角色”分配的授权算法,解决工作流管理系统动态授权约束的问题。