数据库系统并发控制的扩展有色Petri网方法

加锁与可串行化是并发控制中采取的2个主要措施.两段锁协议(two-phase locking protocol,简称2PL)是解决可串行化调度较好的方法之一,但满足可串行化的调度可能会出现死锁.为此建立了多个事务并发访问数据库的扩展有色Petri网模型,该模型可使并发事务的调度符合两段锁协议.利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度.     

基于2PL多粒度锁的并发控制协议

给出了面向对象数据库系统的一种并发机制——基于2PL的多粒度锁封锁技术。在协议中，锁的粒度划分到对象的属性级，提高了事务的并行性，减少了由于锁增加引起的死锁现象。     

基于谓词冲突图的死锁检测

在分布式多数据库环境下,局部站点数据库自治性使其只能对本地站点上事务进行并发控制而无法防止全局事务间的冲突和死锁发生,故采用谓词冲突检测技术来判断全局事务间的直接和间接冲突,为此,提出了多粒度的谓词冲突图构建方法,从而使并发控制粒度达到谓词级,分析了冲突的全局事务在谓词冲突图中形成死锁的各种情况并通过检测图中是否形成环来避免全局事务在执行中可能产生的死锁,不仅减小死锁冲突检测粒度,而且还提高了全局事务执行的并发度.     

面向对象数据库中并发控制机制的研究与设计

给出了面向对象数据库系统的一种并发控制机制－ＯＯ－Ｌｏｃｋｉｎｇ，分析了面向对象数据库系统中事务模型的两个方面：操作和对象，并利用事务的操作和操作对象对语义来提高并发度，讨论了复杂对象和多继承类层次上的封锁技术，提出了三种锁：类锁、对象锁和条件锁，较好地描述了操作之间的冲突性和可交换性。部分技术已用于ＣＩＭＳ环境下面向对象数据库系统ＦＯＯＤＢ２．０的实现的。     

Web Services环境下的校园分布式信息平台安全模型

研究了Web Services环境下校园信息化建设的安全事务解决方案.构建了基于SAML标准的单点登录框架,介绍了SAML授权组件、SAML请求组件和SAML消费组件的设计与实现,为基于Web Services的分布式应用平台下跨域的互访问提供了安全保障,为信息化校园中Web服务应用的机密性、数据完整性、身份认证提供了一种灵活的解决方案.     

基于着色Petri网的语义Web服务组合形式化验证

为了对语义Web服务组合进行形式化验证,提出一种语义Web服务组合模型到着色Petri网组合模型的转换方法,定义了语义Web服务着色Petri网(SWS-net)。转换后的模型不仅能清晰表示服务组合中各子过程之间的逻辑关系,而且能用着色Petri网的形式化方法进行服务组合正确性验证。给出了组合服务的语义一致性验证算法,最后以一个协同设计过程为例对组合服务流程进行仿真验证并在工作流引擎中部署执行。仿真及执行结果表明,服务组合后的流程无死锁并且能够顺利执行。     

用相关元素定序法实现乐观并发控制

针对两段锁2PL(Tow-Phase Locking)并发控制方法的死锁率高,使Internet系统的性能大幅度降低的问题,提出了一种基于乐观机制的新的并发控制方法--相关元素定序法,并给出了一种新的冲突验证算法 --相关元素验证算法.该方法不存在死锁问题,较以往的乐观并发控制法验证方法简单, 事务重启动的次数减少5%,系统的吞吐能力比2PL提高160%,而且能保证重启动事务执行成功 ,因而能够缩短事务的响应时间,提高系统的吞吐能力.是一种实用的并发控制方法.     

SQL Server 2000锁定分析及死锁预防策略

在事务并发访问数据库的过程中,锁是数据完整性和一致性的重要保证．通过对SQL Server 2000数据库锁机制的研究,介绍了SQL Server 2000数据库锁的概念、粒度和保持以及锁的模式和相容性．对死锁问题进行了具体分析,并提出相应的预防策略;分析了实际应用中用户自定义锁定问题,给出一些相关的解决实例．     

.NET中Web Services事务管理研究

Web Services采用了面向服务（Service-Oriented Architecture,SOA）的体系结构,具有跨平台性、松散耦合和良好的互操作性优点,能有效地支持软件的集成。它的出现对分布式事务提出了新的挑战。在集成和交互过程中,Web Services需要事务的支持以获得一致和可靠的结果。主要阐述了Web Services的事务管理现状,分析了它的主要缺陷,最后提出了利用SOAP事务扩展机制解决Web Services的完全事务管理。     

服务匹配模型中综合语义匹配方法研究

针对目前基于语义的服务匹配系统中的匹配方法存在对同一等级概念区别不清的问题,采用Web Services和语义Web技术,提出了一个基于UDDI和OWL-S的服务匹配模型,即对传统服务匹配模型的UDDI中引入语义化服务描述和基于数值计算的语义匹配功能.并综合利用基于几何距离和基于信息容量两种语义相似度算法的优点,设计了一种综合语义匹配算法,最后通过实验验证了该方法的优越性.     

基于安全Web Services网上图书城交易系统的实现

Web Services是网络应用的集成方案,但是当前Web Services不论是技术本身还是应用,还有很多实际问题亟待解决.文章设计了一个基于安全Web Services的网上图书城交易系统,通过实例对实施Web Services集成所遇刭的安全性问题进行探讨,给出了解决方案,并对此安全机制所提供的主要安全服务进行了研究并予以实现.实例表明,从身份验证、数据保护、授权等主要的技术角度解决Web Services安全问题,构建Web Services安全体系结构,能够更有效地保障Web Services的安全.     

并发事务的一种操作模型

本文定义了一种描述分布式数据系统并发事务行为的操作模型，以此为基础讨论了并发事务的调度，并享模式的Ｌｏｃｋｉｎｇ机制，死锁等问题。     

一种基于语义的Web服务组合方法

在考虑服务语义匹配和服务质量(Quality of Services,QoS)的基础上,利用子服务间及其内部低耦合高内聚的特性,提出了一种基于语义的Web服务组合算法.该算法定义了用户关注度(Customer Attention,CA)和最优信息组(Optimal Information Group,OIG),充分利用语义本体的特性,从信息和QoS两个方面筛选最优原子服务集,从而提高服务的查准率与查全率,增强与用户的交互能力.     

基于Web Services的电子商务网站的实现

阐述了Web Services的概念及重要性，并提出了基于Web Services及J2EE开发平台的电子商务体系模型及实现。客户可以通过UDDI注册中心查找及直接对服务调用两种方式实现网站服务的调用。在网站实现过程中，贯穿了Web应用模式的三层体系结构，并结合统一的Web Services对象封装技术，实现了跨平台和不同语言的应用集成，并且它的整个流程符合J2EE规范。     

一种自适应多版本实时事务并发控制

传统的基于锁的并发控制机制重点考虑数据的一致性和事务的并发度,不能很好地满足实时数据库系统对时态一致性的要求.结合锁、多版本和有效性确认等并发控制机制,提出了一种并发控制的新方法——自适应多版本实时事务并发控制方法:AMVCC.该法可根据具体情况自适应地采用不同的并发控制机制,有效提高了事务的并发度和截止时间内完成事务的数量.通过可行性分析性能优于传统并发控制方法.     

基于本体的多无人机系统语义互操作方法

引入基于领域本体的语义模型形式化建模方法,提出了多无人机交互描述的语义描述模型方法和交互配置的语义增强方法.设计了无人机本体UAV O和服务描述本体UAV OS,在OWL S（Ontology Web Language for Services）基础上扩展服务动态特性等的描述,可以为服务质量、服务状态和服务关系提供语义描述;扩展了对多无人机任务和动态配置、组合所需控制结构等的描述.为了实现多无人机应用配置的自动化和动态性,基于本体的语义增强方法可以用于配置管理,在匹配中引入高层次的语义增强匹配,对多无人机交互配置处理进行语义增强.在无人机综合仿真环境中进行了验证,结果表明,提出的基于本体的语义互操作方法能有效地支持多无人机应用交互和集成.     

Compiere ERP & CRM通用Web Services数据模型研究

企业多业务系统以ERP系统为核心,通过研发SOA架构的Web Services标准接口实现业务集成是目前中小企业的追求目标之一.在分析Web Services服务工作原理的基础上,结合开源Compiere ERP & CRM系统的MDA数据模型设计思想为Compiere研发通用的Web Services数据模型,并给出具有"提供"、"利用"双向Web Services服务功能的柔性引擎设计思路,使Compiere具备企业业务集成能力的SOA架构,为客户实体开展B2B、B2C电子商务活动奠定了基础.     

Web服务统一身份认证协议

为实现基于Web服务的多应用系统的用户身份安全认证,采用统一身份认证方案,结合已有的Web服务安全规范,提出了一个多应用环境下的基于Web服务的统一身份认证协议Web Services Single Sign-on(WSSS),并详细描述了WSSS的模型、消息定义及流程,采用形式化方法对协议进行了表示和分析,同时对协议进行了安全性分析．WSSS所定义的统一身份认证服务可用于为网络中各种基于Web服务的应用提供Web服务的安全身份认证。     

Web Services组合技术的应用研究

Web Services是一种Web应用程序,是建立可互操作的分布式应用程序的新平台。本文首先阐述Web Services的基本概念,详细说明Web Services的常用协议标准,然后分析了Web Services的体系结构,接着阐述Web Services组合的基本概念和组合的分类,最后介绍了基于工作流的组合和基于语义的组合两种方法。