Web Services事务非阻塞2PC模型的实现与测试

1

作者 杨海涛 陈楚潮 林锦堂 《计算机工程》 EI CAS CSCD 北大核心 2006年第18期98-99,119,共3页

在改进BTP2PCwithtimeouts的timeout设定及相关时序的前提下,提出了一类面向细粒度事务终止特性的非阻塞扩展2PC模型(Tx2PCt)。提供了Tx2PCt事务处理模型于主要商业开发平台环境(Microsoft.Net)上的测试实例及分析。测试结果支持了Tx2PC... 在改进BTP2PCwithtimeouts的timeout设定及相关时序的前提下,提出了一类面向细粒度事务终止特性的非阻塞扩展2PC模型(Tx2PCt)。提供了Tx2PCt事务处理模型于主要商业开发平台环境(Microsoft.Net)上的测试实例及分析。测试结果支持了Tx2PCt事务协议的前提设定的合理性,印证了Tx2PCt在事务吞吐量方面的表现与预期相吻合。 展开更多

关键词 WEB services事务协议模型 测试实例 例外 成功事务吞吐量

在线阅读 下载PDF 职称材料

基于替代和补偿的嵌套Web Service事务模型 被引量：2

2

作者 党德鹏 姜雪 《计算机科学》 CSCD 北大核心 2013年第9期185-189,共5页

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

关键词 WEB servicE WEB service事务 事务模型

在线阅读 下载PDF 职称材料

基于细胞膜模型的Web Service事务管理 被引量：1

3

作者 王剑辉 吴永明 《计算机应用与软件》 CSCD 北大核心 2007年第1期87-89,共3页

随着大量传统应用程序向W eb Service的转变,多个W eb Service的组合应用成为W eb Service发展的趋势。提出了W ebService事务的一套管理模型,该模型是受到生物学里细胞膜模型的启发,根据细胞膜模型与W eb Service事务管理的相似性而得... 随着大量传统应用程序向W eb Service的转变,多个W eb Service的组合应用成为W eb Service发展的趋势。提出了W ebService事务的一套管理模型,该模型是受到生物学里细胞膜模型的启发,根据细胞膜模型与W eb Service事务管理的相似性而得出的。在此基础上,给出了一个简单的应用实例。最后对其发展的方向提出了自己的一些看法。 展开更多

关键词 WEB servicE 事务 BTP 细胞膜模型

在线阅读 下载PDF 职称材料

带预读/写的移动事务模型 被引量：5

4

作者 袁磊 李东 冯玉才 《计算机工程》 CAS CSCD 北大核心 2003年第10期104-106,共3页

移动事务处理一直是移动数据库技术中的一个难点和热点。分析了移动事务处理的特点和要求，在引入预读、预写及相应锁的基础上，提出了一种移动事务处理模型Pre-R/W模型，并着重讨论了移动事务处理协议。

关键词 移动数据库 移动事务模型 移动事务处理协议

在线阅读 下载PDF 职称材料

基于模型检测技术的XML乐观并发控制协议 被引量：2

5

作者 单维锋 廖湖声 +1 位作者 王茂发 刘海军 《计算机应用研究》 CSCD 北大核心 2017年第11期3237-3241,共5页

XML并发控制协议可用于保证多个用户同时访问XML文档时的事务隔离性。由于XML数据的半结构化特点和访问接口的特殊性,现有XML并发控制协议随着文件规模的增大、并发客户的增多,系统事务性能大幅下降。基于模型检测技术提出了一种新的乐... XML并发控制协议可用于保证多个用户同时访问XML文档时的事务隔离性。由于XML数据的半结构化特点和访问接口的特殊性,现有XML并发控制协议随着文件规模的增大、并发客户的增多,系统事务性能大幅下降。基于模型检测技术提出了一种新的乐观并发控制协议XOCC-MC。通过将XML文档对应的DTD文档转换为系统模型,将事务操作中的XPath转换为CTL公式,利用模型求值判断节点间是否存在A/D关系,进而根据冲突矩阵判断事务之间的冲突关系。与现有乐观并发控制协议相比,XOCC-MC协议在文件规模大、并发客户数多的情况下表现出较好的事务性能。 展开更多

关键词 XML 乐观并发控制协议 模型检测 事务

在线阅读 下载PDF 职称材料

一种乐观嵌套工作流事务模型 被引量：5

6

作者 董云卫 郝克刚 《计算机科学》 CSCD 北大核心 2005年第8期90-93,共4页

为解决目前工作流事务管理的不足和存在的问题,本文基于多数据版本、三阶段执行的并发控制理论提出了一种乐观嵌套工作流事务模型,该事务模型借用时间戳的概念,通过对不同事务中活动类型的分类,较好地解决了长执行事务和协同事务的可靠... 为解决目前工作流事务管理的不足和存在的问题,本文基于多数据版本、三阶段执行的并发控制理论提出了一种乐观嵌套工作流事务模型,该事务模型借用时间戳的概念,通过对不同事务中活动类型的分类,较好地解决了长执行事务和协同事务的可靠性和正确性问题,提高了工作流处理的效率。乐观嵌套事务模型把嵌套事务、工作流模型和并发控制协议有机地结合在一起,定义了较为完整的事务操作原语及其语义。本文还给出了乐观事务模型到工作流模型的映射,使得事务工作流执行过程中,其操作原语和乐观事务模型的操作原语是一致的,工作流活动的转移控制与乐观嵌套事务模型的子嵌套事务的生成过程及其表示方式也是一致的。 展开更多

关键词 乐观嵌套事务模型 工作流事务 扩展信牌驱动分布式工作流计算模型 嵌套事务模型 工作流模型 并发控制协议 操作原语 事务管理 控制理论 活动类型

在线阅读 下载PDF 职称材料

面向网格环境的事务提交协议的研究 被引量：1

7

作者 李卫玲 李陶深 《计算机工程与设计》 CSCD 北大核心 2009年第4期849-851,983,共4页

提出一种面向网格的事务提交协议——ENP。该协议取消了两阶段提交(2PC)协议中的投票阶段,参与者无需向协调者发送COMMIT消息,可自行决定提交而不必等待协调者的COMMIT命令。如果参与者操作失败,则其向协调者发送abort消息后可自行终止... 提出一种面向网格的事务提交协议——ENP。该协议取消了两阶段提交(2PC)协议中的投票阶段,参与者无需向协调者发送COMMIT消息,可自行决定提交而不必等待协调者的COMMIT命令。如果参与者操作失败,则其向协调者发送abort消息后可自行终止,不必等待协调者发来的ABORT命令。性能分析和实验结果表明,该协议放松了对事务原子性的要求,可以降低提交协议的消息复杂度和日志复杂度,保证了网格环境中事务状态的一致性,满足了各参与者和资源的自治性要求。 展开更多

关键词 网格 事务 提交协议 ACID特性 网格事务模型

在线阅读 下载PDF 职称材料

GIS Web Service编程模型的探讨 被引量：1

8

作者 洪亮 李向新 刘芳 《科学技术与工程》 2007年第4期531-533,555,共4页

GISWebService编程模型是新一代建立面向服务的InternetGIS的系统原型,面向互联网提供具有空间信息处理功能的编程接口。文中讨论了GISWebService编程模型的系统结构、原理和特点。

关键词 GIS WEB service编程模型 SOAP协议 地理信息服务

在线阅读 下载PDF 职称材料

网格实时事务并发控制协议及其PETRI网分析

9

作者 陈俊 古乐声 《河南师范大学学报（自然科学版）》 CAS CSCD 北大核心 2011年第1期49-52,共4页

将网格服务动态性与实时事务替代性相结合,定义了基于替代服务的网格实时事务模型;并在此模型基础上,进一步提出网格实时事务并发控制协议.最后,通过Petri网理论验证其可行性和正确性.

关键词 网格实时事务模型 GRTCC协议 PETRI网

在线阅读 下载PDF 职称材料

基于Petri网的Web服务事务模型形式化构建及基于贝叶斯网络的事务可靠性研究 被引量：2

10

作者 陈平 王兴建 党德鹏 《通信学报》 EI CSCD 北大核心 2018年第A01期93-98,共6页

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

关键词 Web service PETRI网 事务模型 BAYES网络 可靠性分析

在线阅读 下载PDF 职称材料

移动实时提交协议的恢复处理与通信分析 被引量：2

11

作者 廖国琼 刘云生 《计算机工程与应用》 CSCD 北大核心 2004年第23期24-25,58,共3页

三层实时提交协议(3LRTC)是为支持事务移动性、断接性、实时性及功能替代性等设计的一种移动实时提交协议,该协议能保证移动分布式实时事务放松原子性和结构正确性。该文在分析移动实时事务各参与者提交状态变化的基础上,讨论了3LRTC在... 三层实时提交协议(3LRTC)是为支持事务移动性、断接性、实时性及功能替代性等设计的一种移动实时提交协议,该协议能保证移动分布式实时事务放松原子性和结构正确性。该文在分析移动实时事务各参与者提交状态变化的基础上,讨论了3LRTC在发生场地故障和断接时的恢复处理方式,以保证故障发生后数据库能恢复到一个正确的状态。该文还对3LRTC的通信代价进行了分析与比较,结果表明,三层提交结构能减少移动实时事务的通信消息数。 展开更多

关键词 移动计算 实时事务 功能替代 三层实时提交协议 3LRTC 嵌套事务模型

在线阅读 下载PDF 职称材料

基于全局时标的网格事务并发机制研究 被引量：1

12

作者 李陶深 武燕华 《计算机工程与设计》 CSCD 北大核心 2011年第8期2729-2733,共5页

针对现有网格数据库事务并发控制协议存在的问题,提出了一种基于全局时标的网格事务并发控制协议。该协议引入全时序的概念,将网格事务在全局层面上进行了排序,实现了网格事务并发执行的可串行化。通过网格事务可串行化定理对所提出的... 针对现有网格数据库事务并发控制协议存在的问题,提出了一种基于全局时标的网格事务并发控制协议。该协议引入全时序的概念,将网格事务在全局层面上进行了排序,实现了网格事务并发执行的可串行化。通过网格事务可串行化定理对所提出的协议进行可串行化证明,并对协议及算法的性能进行了实验测试。实验结果表明,提出的协议是可行和有效的,相对于传统的基于时标的并发控制协议具有一定的优越性。 展开更多

关键词 网格事务 事务模型 全局时序 并发控制协议 全局时标 可串行化定理

在线阅读 下载PDF 职称材料

支持断接的移动实时事务调度 被引量：1

13

作者 刘云生 王丽娜 廖国琼 《计算机科学》 CSCD 北大核心 2005年第4期155-157,162,共4页

在移动计算环境中,事务移动性和频繁断接使得传统实时事务调度机制不足以支持移动实时事务的执行。该文给出了一个支持无线网络频繁断接的软实时事务调度协议SSRTD。该协议是基于事务具有扩展截止期和结果相似性进行设计的,并可根据移... 在移动计算环境中,事务移动性和频繁断接使得传统实时事务调度机制不足以支持移动实时事务的执行。该文给出了一个支持无线网络频繁断接的软实时事务调度协议SSRTD。该协议是基于事务具有扩展截止期和结果相似性进行设计的,并可根据移动主机的连接状况决定事务执行结果的发送时间。通过性能测试,表明所提出的调度策略能提高移动实时事务的成功率。 展开更多

关键词 无线网络 移动实时数据库系统 软实时事务调度协议 执行模型 并发控制机制

在线阅读 下载PDF 职称材料