可靠服务组合的协调策略与分析

服务组合是构建复杂Web软件的有效方法,但服务事务状态的多样性使得服务组合的可靠性难以保证.为此,提出一种构造可靠服务组合的协调方法.该方法采用Petri网对工作流建模,以清晰地表达任务及任务之间的逻辑关系.在此基础上,根据服务的事务属性及服务组合的失效处理机制建立服务组合的失效处理模型,并提出一种构造可靠服务组合的协调策略及实施方法.利用Petri网相关理论证明该策略的有效性.旅游服务实例演示了协调技术的应用方法及其可行性.     

Web服务事务处理模型研究

Web服务的出现对分布式事务提出了新的挑战，为了保证多个Web服务交互获得正确的执行和一致性的结果，必须为Web服务提供事务机制。该文提出了一个Web服务事务处理模型，研究了二阶段提交扩展协议、协调算法和事务补偿。该模型在事务处理过程中具有一定的实用性和灵活性，为Web服务投入跨企业的商业应用提供了有力的支持。     

基于动态有色Petri网的网格服务工作流模型的研究

在深入了解网格技术、网格服务和网格工作流的概念、特点及其应用的基础上,提出了一种可行的网格服务工作流系统模型,重点介绍了动态优化建模技术、动态调度算法的实现思想.定义了一种动态有色Petri网作为服务工作流的建模工具,支持服务工作流的动态优化建模和动态调度,并为服务工作流模型提供性能评价依据.验证表明采用该模型能够很好地满足用户的QoS要求,并且有助于提高资源利用率.     

数据网格中面向服务的事务技术

讨论了数据网格的背景以及目前国内外的研究状况.并根据应用的需求,提出了数据网格中面向服务的事务管理观点.定义了服务事务在数据网格体系结构中的位置、功能和实现方案,阐述了原子事务和业务事务两类事务的实现协议,最后以一个原子事务的例子说明了一个服务事务的执行过程.     

一个基于Petri网的Web服务组合模型

作为企业应用集成的重要手段，Web服务组合需要建立可靠的表达和分析方法。因此，基于Petri网技术定义一个Web服务组合模型，将组合Web服务的要索映射到Petri网结构。利用Petri网提供的分析技术，辅助复杂业务流程的建模，并分析验证其正确性和性能。     

基于颜色Petri网的网格服务组合

在新的面向服务的网格计算架构下,网格服务为Internet上的分布式计算提供了一种重要范例。对服务提供者和消费者来说,通过组装已有网格服务来创建新的增值网格服务的应用模式已经出现。网格服务的组合已经成为网格研究领域中的一个重要课题。由于可用网格服务的复杂性,许多网格服务表现出复杂的会话协议,要求其提供的操作能根据特定的规则进行调用。讨论了以下几个问题:(1)如何精确描述网格服务的会话协议;(2)如何建立组合规则来对选定的组件服务进行合成;(3)如何验证整个网格服务组合的正确性,尤其是被合并的组件服务的一致性和它们的会话协议。Petri网提供了描述并发系统同步的结构,高级编程语言提供了描述和操作数据值的结构,而颜色Petri网结合了Petri网和高级编程语言的表达能力。为了解决上述问题,提出了一个基于颜色Petri网的会话协议和网格服务组合模型,其使用颜色Petri网的带颜色的token来模拟业务流程的不同消息和事件类型,把服务的会话协议和网格服务组合过程转换为颜色Petri网(CPN),利用现有的CPN的专门工具(如CPN Tools)来对CPN进行模拟以分析评价系统的性能和行为性质。     

一种基于QoS的网格服务调度模型

分析了开放网格体系结构（OGSA）的服务本质，论证了作为网格技术重要组成部分的网格服务调度服务对于服务质量（Qos）的需求，提出了一种基于QoS的网格调度随机高级Petri网模型，并对该模型进行了分解和精化，从而简化了模型的求解，以实现基于服务质量（QoS）的网格服务调度。     

一个基于有色Petri网的自动Web服务合成模型

提出了一个基于有色Petri网的自动Web服务合成模型,为Web服务的合成提供语义支持,提高合成服务的可靠性和可维护性.该模型将服务的合成结构分成顺序、并发、选择、循环、置换5种合成结构.给出了Web服务基于有色Petri网的形式化定义.定义了一个封闭的Web服务合成算法,通过算法获得的框架能够对Web服务进行说明性的合成.定义了一个自动Web服务合成算法,通过该算法,可以对Web服务进行有人工指导的半自动合成和无人工指导的自动合成.     

网格环境下的一种事务协调机制及其补偿技术

事务处理是网格计算能否投入实际应用尤其是商业应用的关键技术之一，用于网格环境下的事务处理必须同时提供协调短时操作和长时间的商业活动的能力，基于Gtobus Toolkit和代理技术，提出了一种能够同时管理原子事务和聚合事务的事务协调机制，研究了相应的可以容错各种失败的协调算法，通过自动产生和执行补偿事务，聚合事务协调机制可以满足网格计算中对长事务的处理要求。     

一种考虑QoS的Web服务组合Petri网建模方法

Petri网是一种适合描述Web服务组合的建模方法,但是它无法对Web服务的服务质量(QoS)进行建模和分析.为此,将用户最为关心的服务时间、价格和概率3种QoS因素引入到Petri网模型中进行建模,提出了概率时间价格Petri网PTCPN,给出了PTCPN的语义及分析求解算法,并进行了实例建模和分析.结果表明,PTCPN可以有效支持服务组合功能和QoS的形式化统一建模和分析.     

Automatic Transaction Compensation for Reliable Grid Applications

Abstract As grid technology is expanding from scientific computing to business applications, service oriented grid computing is aimed at providing reliable services for users and hiding complexity of service processes from them. The grid services for coordinating long-lived transactions that occur in business applications play an important role in reliable grid applications. In this paper, the grid transaction service （GridTS） is proposed for dealing with long-lived business transactions. We present a compensation-based long-lived transaction coordination algorithm that enables users to select results from committed sub-transactions. Unlike other long-lived transaction models that require application programmers to develop corresponding compensating transactions, GridTS can automatically generate compensating transactions on execution of a long-lived grid transaction. The simulation result has demonstrated the feasibility of GridTS and effectiveness of the corresponding algorithm.     

云计算环境下服务计费方法研究

当前,云计算的研究和应用受到越来越多的关注,广阔的云计算平台能够为用户提供从基础设施到平台再到软件的一系列服务,云计算正逐步进入商业化阶段,因此基于云计算环境下的服务计费管理成为服务提供商的迫切需要。文章提出了一种针对云计算服务的计费方法,该方法兼顾了用户和服务提供商的权益,对云计算服务商用和市场化有积极的推动作用。     

一种基于本体和Agent的网格服务发现机制

在动态的网格计算环境中分布着大量不同类型的网格服务。快速、准确地进行网格服务发现是影响网格计算性能的关键因素。本文提出了基于本体和Agent的网格服务发现机制,它具有良好的扩展性和完备性。该模型采用Agent代理技术进行服务搜索,不同的代理能够提供不同虚拟组织的本体知识库;利用本体论语义进行服务的匹配,从而实现智能化的服务发现。     

元计算环境下的目录服务机制研究

In Grid Computing environments, in order to reasonablely avail the super-speed host, great capacity storage,network bindwidth etc grid resources, and coordination use of the protocols and applications algorithms, the directory service system mechanism must be sufficiency considered. Validate selection of the available resources and related and latest information status. Discuss meta directory service mechanism based on LDAP for grid computing,point out the directory service system‘s major technique. At last, point out the related research contents of directory service.     

满足原子事务的QoS感知的自适应服务选择

随着云计算的兴起,服务计算成为其实现的一种关键技术,学术领域对服务组合有新的思考。提出了满足原子事务的服务质量（quality of service,QoS）感知的自适应服务选择方法,既考虑QoS约束,也考虑服务间的事务约束,在进行全局优化选择时结合适当的协调模式选择策略,以进一步提高可靠性。首先制定自适应规则和建立QoS模型,并引用其他学者关于事务构建和规约规则的模型。接着分析事务与QoS约束下自适应服务选择算法机制。最后通过实验评价了方法的有效性和健壮性。     

动态服务组合构造与最优组合服务算法研究

服务组合是将已有服务组合为一个新服务的过程，以增加服务的功能或／和性能。本文将组合方案表示为一个有向无环图，节。占、表示服务，边表示服务交互，以目标服务的输入为指标集，给出候选组合方案的构造算法。以服务费用为测度，并计入服务的计算、存储和通信费用。通过费用转移，提出了基于经典Dijkstra算法的最优组合服务算法。     

网格信息服务的一致性研究及应用

随着开放网格服务体系结构OGSA的出现，计算网格的研究已开始向服务网格过渡，由于应用的多样性和复杂性，服务网格的研究面临着空前的挑战，当前网格信息服务系统基本上都是对计算资源、数据资源和网络资源等的管理、注册发布及资源发现，但这种方式需要做进一步的改进来适应服务网格的需要．除中国科学院计算技术研究所的VEGA之外，HowU网格平台是另一较成熟的服务网格平台．分析了HowU信息服务器的服务组织和管理机制，并重点针对信息一致性问题进行了研究，即如何保证网格范围内服务的存在性以及组织域范围内服务信息的有效性．最后给出模拟性能分析．     

Web服务组合事务处理研究与实现

通过重用已有的服务进行服务组合来实现应用集成;而保证服务组合的事务特性是实现服务组合的关键。文中提出一个Web服务组合事务处理模型,将BPEL（Business Process Execution Language,业务流程执行语言）的流程设计与WS—C／T（Web Services Coordination/Transaction, Web服务协调／事务）规范结合。该模型主要由客户端、BPEL执行引擎、事务协调器和参与者四个部分组成。客户端发起请求,BPEL执行引擎响应请求并开启事务,事务协调器和参与者根据事务协调算法完成事务协调。