事务模型

摘要： OLE技术在地图制图专题符号生成、插图配置等过程有重要应用。本文针对基于地图文档的地图编辑事务难以支持OLE对象的问题,基于地图文档模型,设计了一种支持OLE对象地图编辑事务模型,实现了地图编辑过程中OLE对象事务管理与处理功能。试验表明,对由外部制图软件工具嵌入的OLE对象内部进行修改后,虽然OLE对象内部数据修改由内部宿主程序完成,但其外部制图软件工具兼容支持了OLE对象编辑事务的回退和重做功能。

摘要： 在研究Web Service事务的补偿、替换、重试、时间约束等应用语义之上,重点提出了一个适用于复杂流程型Web Service事务模型,引入抽象事务来协助管理这些语义信息,并通过事务的多级特性来适应不同的服务粒度,采用有色Petri网对该模型进行了形式化描述.采用贝叶斯网络,从业务流程的角度,对Web Service事务的可靠性进行理论分析,给出了分析模型算法和边界理论值.

摘要： The Web service composition transaction has the characteristic of long execution period, and a global transaction can be divided into multiple distributed sub transactions. Each sub transaction has different significance for the global transaction, as the success or failure of the key sub transaction’s execution will directly lead to the success or failure of the global transaction. On the other hand, some failed transactions have to be compensated, while executing too much compensating transactions will bring huge compensation cost. In the aim of solving these problems, this paper proposes a nested transaction model based on the pivot transaction, and divides transactions in the model into the pivot transactions and the non-pivot transactions, the model contains at least one pivot transaction. And based on this model, this paper presents a pivot transaction priority scheduling (PTPS) algorithm to reduce the number of compensating transactions that is needed to execute while the pivot transaction fails and reduce the com-pensation cost, by giving priority to execute the pivot transaction.%Web服务组合中的事务具有执行周期长的特性，一个全局事务会被划分为多个分布的子事务。各个子事务对全局事务而言具有不同的重要程度，关键子事务执行的成功与否，直接影响到全局事务执行的成败。另一方面，对某些出现故障的事务需要进行补偿，而执行过多的补偿事务会带来巨大的补偿开销。针对这些问题，提出了一个基于pivot事务的嵌套事务模型，模型中的事务分为pivot事务和非pivot事务，且含有至少一个pivot事务。同时基于该模型，给出了一个pivot事务优先调度（pivot transaction priority scheduling，PTPS）算法，通过优先执行pivot事务，来减少在pivot事务失败时执行的补偿事务数目，降低补偿开销。

摘要： 在无人工干预的嵌入式实时数据库系统中引入功能替代，为实时事务带来了具有多条路径执行的特点。这些能增强实时事务的健壮性，提高实时事务的预见性、成功率和一定的适应运行环境的能力，但也给并发控制带来了新的特点。

摘要： 作为一种崭新的并行计算模式,Web Service以其平台独立性、松耦合及自治性等优势,在涉及复杂业务流程的事务性服务行业具有极大潜力和需求.考虑到Web Service环境的限制和特征,传统事务模型无法适应.从Web Service事务系统体系结构出发,分析Web Service的特点及Web Service事务性应用在开放的Web环境下的特性,提出了一个基于替代和补偿的嵌套Web Service事务模型,阐述了结合替代和补偿的Web Service事务结构和处理,给出了形式化描述.

摘要： 概述了嵌入式实时数据库系统及其事务模型的研究现状，给出了实时事务的特点及分类，分析了ERTDBMS事务预分析、替代／补偿模型和面向对象框架的事务模型。

摘要： 概述了嵌入式实时数据库系统及其事务模型的研究现状,给出了实时事务的特点及分类,分析了ERTDBMS事务预分析、替代/补偿模型和面向对象框架的事务模型.

摘要： 近些年大多数事务处理模型主要是采用先进的数据库技术来处理的,但只有部分模型用于生产实践环境中.在很多情况下,事务处理模型是工作流模型的一部分.笔者探索了一工作流技术,该技术研究如何将传统的事务处理综合应用在一些复杂的事务流程处理中,比如在文件审批(签署)业务处理的工作流中的应用.

摘要： 分布式数据库是在集中式数据库的基础上发展来的，是数据库技术和网络技术结合的产物。社会应用的发展对分布式数据库事务的研究提出了要求。在大规模分布式应用环境下，传统的事务模型是不适用的。封闭世界假设认为不能被证明为真的所有命题都是假的，与其相对立的是开放世界假设。本文首先对典型的大规模分布式数据库系统进行研究，特别是采用的事务方面进行研究，找出存在的不足，然后结合本地封闭式世界假设，给出一种适合于大规模分布式数据库系统的事务模型。并对该事务模型给出正确性证明，最后用一个企业管理的例子来说明该事务模型。本文的研究结论对于从事分布式数据库的理论研究者和实践者具有一定的参考价值。

摘要： 将处理对象抽象转换为事务,对于事务的调度问题提出了基于图着色思想的算法.将事务以及之间的联系建立事务调度模型,同时等价地转化为图着色问题,通过对图中的顶点着色来实现具有冲突的事务的调度.与一般图着色处理方式不同的是,本算法思想采用了对节点进行着色的思想来实现事务调度.基于图着色的算法的设计与实现使多事务多冲突问题得到解决、并且最大程度满足事务执行所需各元素的特殊要求.

摘要： 概述了嵌入式实时数据库系统(简称ERTDBMS)及其事务模型特点的研究现状，分析了ERTDBMS事务与分析、替代/补偿、基于价值函数和面向对象框架的事务模型，讨论了ERTDBMS事务调度策略和并发控制，阐明了改问题的研究意义。

摘要： 本文提出了一个面向复杂应用、融合服务合成的过程执行视图与语义层次结构视图的事务模型，在此基础上,针对失效恢复中补偿代价较大的情况,提出了一种基于层次、局部自治的事务性失效恢复算法HFR,将补偿域尽可能限制在语义原子域中较低的层次,以避免不必要的补偿,分析表明,HFR可有效限制补偿域的范围,从而减少补偿开销.最后讨论了HFR的实现机制。

摘要： 工作流是企业业务流程的抽象表示,为了提高流程执行的准确性和可靠性,提出了工作流事务的概念.工作流事务是工作流活动与高级事务模型的结合.工作流事务是基于语义的,接受语义约束的最小单位是基本任务,基本任务可构成复合任务.但是基于语义的工作流事务与以数据为中心的数据库事务在协同工作时存在着匹配的困难.工作流事务的补偿性和替代性是建立在语义容错/允许的基础上的,但是数据库的数据需要严格的一致性及所对应的工作流的严格语义性.工作流语义对数据库的数据解释不应存在二义性.本文给出了工作流一致性的定义,并对工作流事务与数据库事务的关系进行了探讨,提出了长短事务分离的方法实现工作流的一致性.

摘要： 在基于COM+的Windows DNA三层体系结构系统的开发过程中,为了实现中间层组件的协作,对COM+系统进行了详细的分析和研究,在COM+事务模型和上下文激活原理的基础之上提出了一种简单的实现方法,进一步提高了代码重用度和系统的灵活性及可维护性,在开发过程中得到了广泛应用。

摘要： 随着硬件的发展，内存的容量在不断扩大，人们思考将全部或大部分数据库放在内存中运行，以弥补磁盘数据库在运行速度和实时性方面的不足，于是便产生了内存数据库，被广泛应用于嵌入式设备和控制领域。内存数据库的体系结构，存储和索引结构，并发控制，故障恢复机制等方面，明显不同于磁盘数据库。很多磁盘数据库的设计思想和方法，很难应用于内存数据库。因此提出新的解决问题的办法显得很关键，提出了新的存储结构和改进了传统的事务模型及恢复机制，提高了内存数据库运行速度和实时性。

摘要： Web服务的出现对分布式事务提出了新的需求,为了保证多个Web服务交互获得正确的执行和一致性的结果,有必要为Web服务提供事务机制.但是Web服务具有松散耦合性、运行时间长等特点,这使得传统的事务处理技术在处理Web服务事务时显得力不从心.本文对Web服务事务的关键问题进行了阐述,包括Web复合框架的事务性支持、Web服务事务规范以及扩展事务模型等方面的研究内容,并指出了目前研究的不足以及未来的发展趋势.

摘要： 本文对数据仓库环境下事务管理的特点进行了分析,给出了事务模型以及相应的并发控制和日志机制,解决了长事务和事务从断点开始继续执行的两个关键问题.

摘要： 作为信息管理系统中，业务重组的工具，工作流技术越来越引起作者的注意。目前，许多工作流模型有其局限性，如其不能在具有事务特征的商务处理过程中或在数据库管理系统环境下提出解决数据一致性，正确性和可靠性的完善方案。在该文中，作者对带有事务特征的工作流模型和支持其系统的进行分析。同时，应用该模型，解决用电管理系统中一些实际问题。

摘要： 作为信息管理系统中，业务重组的工具，工作流技术越来越引起作者的注意。目前，许多工作流模型有其局限性，如其不能在具有事务特征的商务处理过程中或在数据库管理系统环境下提出解决数据一致性，正确性和可靠性的完善方案。在该文中，作者对带有事务特征的工作流模型和支持其系统的进行分析。同时，应用该模型，解决用电管理系统中一些实际问题。

摘要： 作为信息管理系统中，业务重组的工具，工作流技术越来越引起作者的注意。目前，许多工作流模型有其局限性，如其不能在具有事务特征的商务处理过程中或在数据库管理系统环境下提出解决数据一致性，正确性和可靠性的完善方案。在该文中，作者对带有事务特征的工作流模型和支持其系统的进行分析。同时，应用该模型，解决用电管理系统中一些实际问题。

摘要： 本发明提供了一种模型驱动的事务型数据库测试案例生成系统，模型驱动的数据库模式生成器、模型驱动的数据生成器和模型驱动的事务生成器基于随机模型展开对应的生成任务；以模型驱动的方法生成测试案例特征项，并生成测试案例；模型驱动的数据库模式生成器生成合法有效的数据库模式；模型驱动的数据生成器基于生成数据蓝图，包括初始化数据技术以及动态数据库状态缩影描绘技术，支持生成合法有效的事务；生成蓝图定义测试过程中使用的数据以及数据分布；状态缩影技术追踪数据库的状态变迁；模型驱动的事务生成器生成事务模板并调用模型驱动的数据生成器实例化随机事务模板；测试事务加载器将实例化之后的事务加载到数据库中执行并记录负载轨迹。

摘要： 本发明公开了一种基于博弈模型的区块链复杂事务验证方法及装置，该方法包括：选举处理待验证事务的验证节点组成委员会；链下推演得到待验证事务的验证难度和最终状态，根据验证难度确定验证时限和保证金额度，附加激励并将上述信息广播至委员会；委员会对事务保证金容量、冲突情况进行检测，成功且达到复杂度下限要求则初始化投票容器；容器内验证者在验证期限内独立完成验证并采用密码学承诺方案对验证结果进行承诺并广播；在所有验证节点完成验证结果的承诺或验证时间等于验证时限后，委员会对验证节点承诺的验证结果进行清算，根据清算结果对验证节点进行奖惩。该方法保证了验证结果的正确性、通用性、一致性、激励相容性与公开可验证的能力。

摘要： 一种存储器事务层级模型模拟方法及系统。存储器事务层级模型模拟方法用以模拟输出至少一命令至一存储器。存储器包括数个存储区。各个存储区对应于一命令输出时间表。存储器事务层级模型模拟方法包括以下步骤：等待一事件。判断命令输出时间表的其中之一是否需回溯更新(recovery)。若命令输出时间表的其中之一需回溯更新，则根据一已输出命令队列(TMP queue)回溯更新此命令输出时间表。依据一欲执行命令队列(command queue)输出至少一命令至存储器及并记录此至少一命令于已输出命令队列。更新部分的命令输出时间表，其余的命令输出时间表维持不变。

摘要： 本发明涉及一种基于SystemC的多GPU事务级模型装置及操作方法。装置包括依次连接的OpenGL驱动模型、主机模型、多GPU TLM模型、显存模型、显示模型和用于连接各个模型组件的事务级接口；操作方法包括以下步骤：1)OpenGL驱动模型接收图形应用下发的OpenGL命令；2)主机模型实现事务级接口；3)显存模型向各GPU模型提供图形绘制数据的写入和读出；4)显示模型将显存模型中的图像数据转换为可显示的图片格式。本发明基于软硬件协同建模语言SystemC提供了一种解决了芯片体系架构和相关功能单元尽早验证的需求，为多GPU图形处理应用开发提供了虚拟原型，为RTL设计提供了参考设计的一种基于SystemC的多GPU事务级模型装置及操作方法。

摘要： 一种系统和方法可以在事务中间件环境中支持跨域消息传送。事务域可以导入来自远程事务域的一个或多个服务，其中所述一个或多个服务在与该事务域相关联的服务表中注册。此外，事务域中的客户机可以从服务表发现提供所述一个或多个服务的远程事务域中的远程服务器，并且直接向远程服务器发送调用所述一个或多个服务的消息从而绕过事务域和远程事务域二者中的一个或多个域网关服务器。

摘要： 基于OLTPShare的OLTP事务结合规则与队列模型改进方法，它属于OLTP事务处理技术领域。本发明解决了现有的OLTP事务结合规则存在的事务结合和处理的效率低、以及现有OLTPShare的队列模型不能很好地应对工作量不断变化的问题。本发明摒弃了手动添加事务结合规则的方式，提出基于机器学习聚类算法的能够自动生成、并在运行时动态调整的结合规则，可以将事务结合和处理的效率提高50％以上；而且本发明提出了一种可附加、可合并的队列模型，这种队列模型可以在运行时自动调节参数设置来应对潜在的工作量变化。本发明可以应用于OLTP事务处理技术领域。

摘要： 公开了具有快照隔离的基于约束的一致性。通过识别对于正确应用行为而言需要满足的约束来提供并发原子事务的高效处理。利用这些所识别的约束，用于事务的提交处理于是可以引用约束，以查看在所述约束的情况下提交当前事务是否引起问题。如果存在与所述约束的冲突，则事务中止。如果不存在与所述约束的冲突，则事务提交。

摘要： 一种基于事务特征的自学习白名单模型库构建方法，包括：S1、基于网络动作或事务生成工作流；S2、从所述工作流中提取事务特征。所述事务特征包括事务横向特征和事务纵向特征；S3、基于所述事务特征构建所述自学习白名单模型库。本发明的基于事务特征的自学习白名单模型库构建方法，其能够通过计算机的自我学习构建基于事务特征的白名单模型库，不但解决了人工录入难、容易出错的问题，进一步地使用该自学习白名单模型库进行白名单检测，能够极大提升业务系统的访问安全性，使得白名单检测能够方便应用于各个领域，进而使得安全检测技术得到巨大提升。

摘要： 管理软件开发领域。管理软件开发方法中存在的问题。发明新的管理软件开发方法。其新方法的技术方案要点：实体的空间标识方法，实体功能的时效标识方法。人社会属性的角色定义方法，角色管理和角色质量管理的定义方法。事务的属性定义方法，事务管理和事务质量管理的定义方法。主观时空逻辑和客观时空逻辑的定义方法，主观种属包含逻辑和客观种属包含逻辑的定义方法。角色和角色管理的常量、变量分别描述的方法，事务和事务管理的常量、变量分别描述的方法。人的生产、生活行为和过程中时间和空间规律的描述方法。主要用途：使用事务和事务管理结构模型做管理软件调研、分析、架构和设计；做管理软件开发工具的开发；做管理软件教材的编写和教学。

摘要： 提供了用于协调硬件事务存储器事务和软件事务存储器事务对存储单元的访问的方法、系统和程序。在硬件事务存储器中执行的硬件事务发起访问存储单元的请求。响应由在软件事务存储器中执行的一个软件事务进行的操作，将错误返回到硬件事务请求。