基于KPN的动态服务组装模型

提出了一个基于KPN(Kahn Process Network)的动态服务组装模型，目的是减少动态服务组装的不可预见性以及服务不匹配现象，提高动态组装的成功率。该组装模型采用KPN及相应的KPN调度策略对服务之间的动态交互进行建模。介绍了该组装模型的数据流建模及调度策略，并以一个船舶信息查询系统为例，介绍了该组装模型在实际中的应用。     

基于工作流引擎的构件组装体系结构

近年来,软件体系结构(SA)、基于构件的软件开发技术(CBSD)等开始在软件开发中发挥出重要的作用.CBSD应用的成功主要体现在自底向上构造系统的方法上.目前,对SA的研究还缺乏一种自顶向下的构件动态组装方法,尤其是过程构件的组装.以工作流技术为基础,以基于Web应用为背景,研究了基于工作流引擎的构件组装方法.从业务过程的基本要素——业务对象、控制流和数据流入手,详细分析了这些要素在构件环境下的特点和交互模式,并以此为基础提出了一种基于工作流的引擎的过程构件组装体系结构.该体系结构中除了考虑常规的控制流驱动的构件组装外,还深入研究了文档型的数据流驱动的构件组装机制,能够为其他研究者将文档型工作流技术应用于软件构件组装提供借鉴和参考.     

基于两阶段规划模型的跨域服务流程动态构造方法

为了应对来自网络计算环境下业务流程跨越协同过程中层出不穷的业务需求,提出一种基于两阶段规划模型的跨域服务流程动态构造方法.第一阶段,利用跨域服务协同语义模型,基于层次任务网络规划方法,构建满足用户业务需求的跨域抽象业务流程;第二阶段,在各城内部对抽象业务流程确定的候选服务集应用图规划数据流验证模型,构建最终的跨域可执行服务流程.方法在保证了业务需求与跨域服务流程逻辑结构的语义一致性的同时,满足了跨域服务流程中数据流的一致性,为网络计算环境下管理域间的业务协同和互操作提供了更为实际可用的可执行服务流程.原型系统实验及实例验证说明该方法的正确性和有效性.     

网格服务系统组装的研究与应用

随着网格技术广泛应用到各个领域，由功能服务组装复杂应用系统是目前采用网格技术来解决各领域问题的主要方法。本文提出一种多服务组装的层次体系结构HGSDR，在这种体系结构中，网格门户仅仅与用户交互，各功能服务的调度及各服务之间的协同主要由各分布的引擎服务节点来协同控制完成。各引擎服务负责动态发现和选择性能最优的紧邻后续服务节点，协同控制整个系统的执行过程。不仅消除了集中调度的计算瓶颈，同时也提高了系统组装的可靠性和灵活性。     

网格中基于角色的协同电子商务研究*

协同电子商务是电子商务发展的高级阶段,其内部和外部复杂的交互和协作要求有一个强大的网络平台作为支撑。网格就是一个拥有强大计算能力,能提供多种服务,支持各种交互,开放且能够处理异构和分布式资源的网络平台。将角色的概念引入协同电子商务可以增强其实用性和协同度,因此网格中基于角色的协同电子商务将大大提高协同电子商务中的集成和协作效率。     

Internet上集成服务到区分服务的映射

研究了在集成服务用于用户子网和区分服务结构用于主干网时,为保证服务质量而进行 服务映射的问题.基于已有的分类方法,建立了应用类与集成服务(integrated service,简称 IS)类、集成服务类和区分服务(differentiated service,简称DS)类、数据流和PHB(par ho p bahavior)的对应和映射关系.标识是服务映射中的关键,该文把它分为预标识和标识两个 过程,IS域确定的预标识码携带单个数据流的特性到DS域,DS域的边界路由器根据预标识码准 确地标识数据包和映射P     

基于BPEL的Web Service组合的数据流分析测试方法

随着Web Service组合变得越来越复杂,通过测试来保证服务质量和可靠性也变得越来越重要.将传统数据流分析方法扩展用于Web Service组合测试,提出了一种基于BPEL的Web Service组合的数据流分析测试方法.该方法基于一个测试模型:Web Service组合测试模型WSCTM,该测试模型可以捕获Web Service组合的数据流接口.采用基于服务的模型WSCTM,数据流可以从3个视点来分析:服务间、服务内和服务实现构件间.从而,Web Service组合的数据流测试可以在三层上得到实现.基于以上方法,可得到Web Service组合的定义-使用链,最终可产生满足既定测试标准以获得需求Web服务组合质量要求的测试路径.     

一个基于偏序事件结构的Web服务模型及其形式化组装

随着Internet的发展，服务化和Web化趋势使得一个基于Web的分布式软件服务计算环境正在形成；同时随着大规模应用需求的不断涌现，单个的Web服务往往不能很好地满足一些复杂的应用。因此Web服务之间的集成组装就显得尤为重要。分析Web服务的交互和协同行为可以发现，分布性和并发性是基于软件服务分布计算系统的本质特征。这就往往使得组装的正确性难以得到保证，从而需要提供一定的手段加以支持；同时，基于软件服务分布计算系统的效率问题也值得关注。我们认为，利用偏序关系对这些问题加以处理是一种理想和有效的手段；而同时我们发现，在服务的组装中，服务与服务之间存在着一种自然的偏序关系。本文基于此，从形式化的角度研究了软件服务及其组装，提出了一种基于偏序事件多集的Web服务的形式化模型。本文从服务内部事件而不仅仅是服务的角度来考察并发问题，这使服务内和服务问的更多的事件可以并行执行，并使得组装后的系统可以更高效地进行实施，从而使得Web服务的并发拉度变细；在此基础上给出了一种服务组装语言和规则，以确保在组装过程中出现的局部变化不影响整体的Web服务的正确组装，从而能够从形式化的角度来规范Web服务的集成组装，使其正确性和效率能够得到保证。     

一个基于事件驱动的面向服务计算平台

基于请求/响应调用模型的面向服务体系结构(Service-Oriented Architecture,SOA)的实现存在通信耦合程度高,协同能力不足的问题.事件驱动体系结构特别适合于松耦合通信和应用需要感知支持的环境.在面向服务的计算平台中提供事件驱动支持,可满足计算平台的松耦合通信与协同需求.文中给出了面向服务计算平台中事件驱动的框架,针对需高效处理事件流上复合事件的需求,在框架中设计了基于SEDA模型的并发事件处理与基于事件代数的事件流处理机制.在事件代数中给出了上下文语义和相应的检测算法,以实现高效事件流处理.实验表明,设计的事件驱动面向服务计算平台具有松耦合通信、协同计算、高效事件流处理和复合事件处理的特点,适应了目前动态多变的大规模分布式计算环境的需求,有着广阔的应用前景.     

一个支持服务协作的工作流管理系统

面向服务计算环境下,工作流中的服务不仅是逻辑执行单元,也是业务协作单元.基于一个支持服务协作的工作流元模型及其建模语言SoXPDL,应用条件化有向图方法进一步分析了面向服务工作流的概念模型和实例模型,并提出了支持服务协作的工作流引擎驱动算法,最后,基于开源工作流项目,设计并实现了一个支持服务协作的工作流管理系统原型SoFlow.     

基于Web服务组合的业务流程集成

从分析现代企业面临的动态业务环境入手,提出了Web服务环境下的业务流程集成模型,阐述了基于Web服务组合进行业务流程集成的优点.在分析了Web服务组合关键技术的基础上,分别从业务流程描述语言、基于工作流的Web服务组合和语义Web服务组合三方面,综述了Web服务组合技术的研究现状,并指出了当前研究工作的不足.     

支持多类终端与服务定制的SaaS软件服务架构

由软件即服务(SaaS)模式中软件服务的概念与特点分析,可知现有的面向服务架构(SOA)不能完全支持软件服务的实现。此外,为了拓展软件服务的应用范围,实现多样化的服务,SaaS模式的软件服务必然要满足用户定制服务的需求,以及对多类用户终端的支持。通过对SOA的扩展,在其中引入了软件服务终端、软件服务端口、软件服务注册等模块,提出了一种支持多类终端与服务定制的SaaS软件服务架构,给出了该架构的结构与工作流程,并通过实验证明了该架构可以实现SaaS模式的软件服务,而且能够实现对上述功能需求的支持。     

服务时间随机条件下服务组合质量分析

本文分析采用业务过程执行语言（BPEL2WS）描述的web服务组合的执行时间,给出在服务执行时间随机情况下,根据单个服务的执行时间概率分布密度和BPEL2WS模型的结构求解web服务组合执行时间的概率分布密度函数的算法。根据概率密度函数可以求得业务过程执行时间在任意时限内的概率,从而可以根据给定的概率条件优化组合服务,使得服务执行成本最低．最后通过一个应用实例验证了算法的有效性。     

基于Web服务的网格体系结构及其支撑环境研究

网格技术是当前网络计算的前沿领域,基于Web服务技术构建网格系统有助于提高网格系统的可扩展性和互操作能力,是这一领域中的最新热点.但现有的工作尚未明确界定基于Web服务的网格的功能模型和实现机制.首先讨论了网格功能模型,基于OGSA(open grid service architecture)框架提出了基于Web服务的网格层次体系结构,并将Web服务工作流引入到网格任务描述中,给出一种Web服务与网格技术相融合的机制,介绍了基于Web服务的网格支撑环境WebSASE4G的总体结构和设计原理,为基于Web     

一种支持广义服务组合的遗传算法

In the last decade, selection and composition of Web services have drawn increasing attentions. However, real-life services are not only web services but complicated eco-systems composed of various service elements like human, resources, environment, etc, and existing service composition methods cannot be directly applied to such real-life service composition scenarios. In this paper, we propose a conceptual model for generalized real-life service composition. In this model, service behaviors are abstracted as service components and uniformly described by XML. Various service requirements raised by customers are completely listed and classified. Based on these works, a genetic algorithm for real-life service composition is presented to select the best matching service components and compose them together. The algorithm's effectiveness of obtaining optimal solution is proved by a prototype system.     

用户驱动的组合服务选择算法

用户需求准确获取和复杂不确定环境下的最优服务选择是服务组合研究中的难题.首先提出一个接近用户表达习惯的用户权重表达模型获取用户服务质量(QoS)权重,然后提出一种基于层次分析法(AHP)和逼近理想解排序法(TOPSIS)的组合服务选择算法(CWSSA)以解决最优服务选择问题.该算法转换用户的QoS属性两两比较矩阵为用户权重,评估区间数表示的复杂不确定环境下的QoS信息.还介绍了一个QoS属性关系表示的用户权重模型和区间数描述的QoS模型及聚合算法.实验验证了该算法的优越性和有效性.     

Web服务的形式化验证

将Web服务组合建模为多智能体系统,采用时态知识逻辑模型检测工具MCTK刻画贷款协议Web服务实例,并验证相关的时态知识规范。在同一实验环境下,采用另一种时态知识逻辑模型检测工具MCMAS进行建模,并验证该实例。实验结果表明,基于MCTK的Web服务模型检测方法比基于MCMAS的方法更有效。     

基于优化的灰狼算法的大规模Web服务组合

针对大规模Web服务环境中难以获得整体性能高的组合服务的问题,提出了一种大规模Web服务组合方法。首先,采用文档对象模型（DOM）对XML格式的用户需求描述文档进行解析,以生成抽象Web服务组合序列;然后,采用服务主题模型进行服务筛选,并为每个抽象Web服务选取Top-k个具体Web服务从而缩减组合空间;接着,为提高服务组合质量和组合效率,提出了一种基于Logistic混沌映射和非线性收敛因子的优化的灰狼算法（OGWO/LN）来进行最优服务组合方案选择;该算法采用混沌映射来生成初始种群以增加服务组合方案的多样性,并避免了多次局部寻优;同时,提出一种非线性收敛因子来调节算法的搜索能力以提高算法的寻优性能;最后,采用MapReduce框架对OGWO/LN进行了并行实现。在真实数据集上的实验结果表明,所提算法与IFOA4WSC、MR-IDPSO、MR-GA等算法相比,平均适应度值分别提高了8.69%、7.94%和12.25%,在解决大规模Web服务组合问题时具有更好的寻优性能和稳定性。     

一种基于广义随机Petri网的Web服务组合性能预测模型

Web服务交互消息受到不可预知的网络环境的影响,因特网环境中的个体Web服务的性能表现与访问者的地域位置有关。于是,服务组合的性能则更加容易受到网络环境因素的影响。同时,服务组合的性能还会受到服务组合流程中不同的分支执行概率的影响。在这种情况下,服务组合建模只考虑组合本身,而不考虑网络环境因素和分支执行概率,这将会对模型的预测结果造成较大的偏差。为了能够真实地评估服务交互行为、网络环境与分支执行概率之间的关系,提出了一种基于广义随机Petri网的Web服务组合性能预测模型,该模型不仅引入了伙伴服务性能方面的因素,而且充分考虑了网络环境因素和分支执行概率,从而能够对被建模系统进行定性和定量分析,进而指导服务组合性能优化。