Web服务组合引擎的研究与实现

随着电子商务和B2B应用的发展和需求的加深,企业应用系统要求可以在因特网环境下进行企业间的应用互操作和应用集成,要求能够依据新的需求,快速、灵活地集成各种已有的和新添置的业务应用系统,并使得它们可以有机地协同提供服务.Web服务的动态组合为解决信息共享和应用协作的瓶颈问题带来了新的方案.引入了工作流技术,使用Petri网表示工作流模型,将工作流和Web服务技术组合起来,设计并实现了一个面向Web服务组合语言的通用的Web服务组合引擎.     

面向信任演化与联盟的服务组合研究

除了Web服务本身的动态性和提供的服务质量有差异外,互联网上各种恶意、伪装、虚假的不真实Web服务导致用户很难快速获得高质量的服务。提出了一种面向信任演化与联盟的服务组合框架,将服务提供者与服务请求经过演化而形成一种信任关系,通过组合过程形成的信任关系再将可信的服务提供者与服务请求者演化成一种联盟关系,从而将恶意、虚假的服务排除在系统之外,使得服务组合在可信的场景中进行;在此基础上,提出了基于信任演化与联盟的服务组合选取算法,避免了以往研究中对多维可信指标简单加权的不足。经过理论分析与实验对比证实了提出的框架具有很好的服务组织质量和速度。     

基于工作流的服务组合研究

Web服务技术通过基于XML的开放性标准和协议,实现了信息交互和远程调用。Web服务组合技术通过将单一功能的Web服务松耦合集成,以实现具体的业务流程。本文提出一种基于动态工作流的Web服务组合方法．可以对服务进行简单可靠的组合执行。     

一种基于协议的Web服务组合方法研究

本文了提出了一种基于协议的服务组合方法,提高了服务组合的可重用性和开发服务组合的效率:在遵循Bpel标准的服务组合模型存储结构的基础上,定义业务逻辑,协议等概念,并设计了相应的插入、提取算法;进而提出将特定服务组合片断引入待开发服务组合的方法,即基于协议的服务组合方法;最后,通过一个具体的服务组合建模的例子,在原型系统中演示并验证了此方法.     

Web服务组合动态演化的实例可迁移性

组合网络上既有Web服务以构造新的增值服务正逐渐成为一种主流软件形态.而Web服务组合常需进行修改演化以优化服务组合的内部业务流程,适应开放的工作环境.在服务组合演化时,为让尽可能多的执行中的服务组合实例享受到新业务流程带来的好处,应尽可能地将其动态地迁移到新流程下继续执行.同时为避免实例迁移到新流程后引发死锁等动态演化错误,需对这些迁移实例加以约束.文中提出了一个服务组合动态演化过程框架,在此框架下形式化地定义了一种新的实例可迁移性标准,并给出了相应的判定算法.与已有的可迁移性标准相比,该标准在确保不会产生动态演化错误的同时,可允许更多的实例迁移.最后,通过一个旅行代理的服务组合案例,说明了文中工作的有效性和可行性.     

动态Web服务组合研究

Web服务作为一种崭新的分布式计算模型,是Web上数据和信息集成的有效机制。动态Web服务组合作为一种灵活、快速集成信息的重要方法,成为开放异构环境中复杂分布应用的新的研究热点。本文首先分析了几种Web服务描述方式并给出了动态Web服务组合定义及模式;其次,结合目前存在的一些组合平台和框架,重点分析了基于工作流和基于AI规划的动态Web服务组合原理与典型应用,并分析了其它相关的一些动态Web服务组合策略;最后提出了动态Web服务组合面临的挑战和进一步的研究方向。     

基于服务组合的可信软件动态演化机制

以基于服务组合的可信软件为研究对象,重点研究通过组合服务的动态演化机制保障网络化软件的可信性.首先,提出了一个合理性保持的演化操作集,避免复杂的验证过程,使得演化后的组合服务保持结构合理性;在此基础上,通过构造冗余路径的方式给出了一个面向可用性保障的组合服务演化方法;然后,针对组合服务动态演化过程中运行实例的处理,设计了一个组合服务演化中运行实例在线迁移算法,为正确实施演化提供支持;最后,设计实现了一个支持动态演化的组合服务执行引擎,并通过实验验证了所提出方法的有效性.     

Web服务动态组合方法研究与设计

目前基于工作流的Web服务组合方法大多要求预先定义流程结构,不能适应现代企业业务流程复杂多变的需求.提出了一种Web服务动态组合方法,将流程中动态部分用黑盒子流程进行封装,在执行时根据预定义规则和用户需求将黑盒子流程自动组合展开为实际运行流程.对具体服务、抽象服务、黑盒子流程等概念和服务选取规则、服务组合规则进行了定义,详细描述黑盒子流程展开算法,并设计了一个实现动态服务流程组合的框架结构.     

基于行为投影的Web服务组合行为兼容性研究

Web服务兼容性是确保组合系统能够正常运行的前提。首先提出既包含服务接口调用方法又包含逻辑行为的服务视图,根据服务间的连接关系,将服务行为投影到不同的连接件上。其次根据在连接件上的消息收发关系,将两个服务在该连接上的交互过程表示为两个LTS投影间同步变迁,通过同步积模拟在该连接上的交互行为,检查同步积中是否出现死锁状态来进行行为兼容性判定,并设计了判定算法以实现兼容性的自动分析,最后通过一个电子商务应用示例说明该方法有效性。     

Web服务动态组合的研究

电子政务和电子商务中的Web服务能够动态组合是现阶段将Web服务用于跨域工作流的实际要求。研究了电子政务中Web服务动态组合的问题,并给出实现方法。     

构件演化中的系统行为一致性的研究

构件技术的发展,减少了开发应用程序的时间和复杂度,同时也为软件提供了更好的动态演化能力.基于构件的软件系统是通过在构件间建立交互关系,将多个构件组织成一个统一的整体得到的.因此在构件演化时,例如时构件功能实现进行改变,可能导致系统运行偏离原来的系统行为.我们的工作就是在构件演化时对系统行为进行一致性检查,保证构件的功能实现的变化不会使系统行为偏离原来的系统.在本文中首先通过Petri-net的形式化方法,对系统实现中包括的构件的功能实现和构件间的交互进行建模,并通过以上信息推导得到系统行为.在此基础之上,根据基于行为继承理论的行为一致性规则的要求对定义的系统功能行为进行验证,以保证构件演化时系统行为的一改变符合行为的一致性要求,同时又保证了构件演化的灵活性.     

粗糙集理论在Overlay网络服务发现中的应用

提出了基于粗糙集理论的overlay网络服务发现机制。该机制利用粗糙集理论中属性集约简算法以及决策规则集优化算法,有效处理了overlay网络体系中普遍存在的不完备信息。结果表明,通过决策规则优化能够实现用户需求和网络服务之间的模糊匹配,从而克服了传统精确匹配的查全率低、查准率差的缺点,扩展了粗糙集的应用领域。     

基于CPi-calculus的网格服务行为研究

当前基于网格服务组合的编排方案（choreography proposals）只给出服务描述层面上的定义,没有提供任何推导方法来保证基于此编排方案的服务的一致性。如何验证组合服务行为的正确性和有效性是当前亟需解决的一个研究课题。形式化方法提供了行之有效的建模、推导和验证机制。本文给出网格服务组合基调,基于此基调分析了网格组合服务的动态交互行为特性,提出基于CPi-calculus（Conditional Pi-calculus）的网格组合服务的行为交互模型（IABM）,并给出组合服务交互行为的形式化描述,最后进行交互行为的模拟验证。该网格服务行为交互模型为今后网格服务的组合优化工作提供了代数推导依据。     

基于规范流网的Web服务行为适配方法研究

Web服务适配是面向服务计算领域的重要研究内容.针对现有服务行为建模和适配技术在循环服务行为、数据流建模和状态空间爆炸方面存在的问题,提出一种新的服务行为建模和适配方法,并结合实例阐述该方法如何以规范流网为基础,建模服务行为,构造服务行为的符号化可覆盖树,构建数据依赖关系和动作依赖关系,构建符号化执行轨迹适配器,直至最后完成服务行为适配的整个建模和适配过程.     

基于行为效果的服务可替换性分析

服务可替换性分析是服务无缝集成与协作领域的一个重要问题,通过形式化的分析方法验证替换前后服务组合效果是否一致,有助于实现服务的动态组合.现有研究针对服务内部的操作和操作序列是否一致对服务的可替换性进行分析,会缩小可替换服务的空间.基于服务执行时的触发条件和结果提出了服务可替换性的定量判定方法.该方法采用有色Petri网对服务行为进行建模,将服务执行时的触发条件和结果定义为服务的行为效果,给出了行为效果一致的概念,并结合Petri网变换理论实现对服务可替换度的计算.最后通过定理证明了方法的有效性,这种定量分析的判定方法对于服务替换的正确建立和替换后组合服务的可靠执行具有重要作用.     

基于通讯行为轮廓挖掘条件非频繁行为的方法

条件非频繁行为是指带有属性值的频数较低事件轨迹所记录的行为。从记录的事件日志中挖掘条件非频繁行为是业务过程优化的主要内容之一。已有的方法删除低频次行为,较少考虑模块网间数据流角度下的条件非频繁行为。基于此,文中提出了基于通讯行为轮廓挖掘条件非频繁行为的方法。以模块网间的通讯行为轮廓理论为基础,首先,通过给定的业务过程源模型查找其可执行事件日志,并且找出频数较低的事件轨迹,添加相关属性及属性值,即可得到条件非频繁轨迹;其次,通过计算不同模块网间通讯特征的条件依赖数值,确定条件不频繁轨迹是否删除或保留,从而得到优化事件日志,进而挖掘出优化通讯模型;最后,通过仿真实验验证了该方法的可行性。     

基于QWS的Web服务集消减算法

在基于人工智能理论的Web服务自动组合推理中,推理的复杂度呈指数级增长,难以在实际中应用。针对上述问题,提出一种基于QWS数据集的Web服务集消减算法RfWss-QWS,从Web服务的评估、调用、监控和管理出发,选择效率、稳定性和价格等最优的服务,从而最大限度地消减服务集,得到一个精简且完备的服务集合用于服务的自动组合推理。     

基于粗糙集理论的异常行为规则的提取

异常检测是数据挖掘技术研究方向之一。利用粗糙集理论挖掘出的高质量的决策规则集,具有广泛的适应性和简明清晰的特点。通过对规则的支持度和置信度的度量,提取那些支持度很低,但置信度非常高的规则。在某些如银行欺诈、入侵检测、青少年犯罪和学生心理问题等领域,研究这些小概率、置信度低的事件却有特别的重要意义,对于人们发现异常情况进行决策非常有益。     

结合泛系与粗糙集的信息系统处理方法研究

从泛系方法论的角度,研究信息系统中泛浑沌、泛引子和泛怪引子的存在性及它们与等价类之间的关系。对决策信息系统的相容性进行了分析,并把属性核分为纯核与非纯核;讨论了属性核与泛系不动子集间的联系,在此基础上运用泛系方法论研究了信息系统的属性约简问题,为信息系统的处理提供了一种新的方法和思路。最后,探讨了决策信息系统中泛系不动子集的逻辑守恒性。     

条件能量网络中信息流行为的研究

网络应用的日益普及关系到人们日常活动的各个方面.为了更好地研究网络交互行为,从网络信息流出发,将网络行为抽象成一种依靠信息资源供应关系驱动的形式,借助物理学概念将这种供应关系用节点间引力来表示,构造出一种不基于网络行为实现细节的抽象的条件能量网络模型,并根据定义的“相对能”意义将网络模型分为能量网络和混沌网络两种状态.最后,通过实验验证利用具有能量意义的网络交互规则研究信息流行为的可行性,结果显示,条件能量网络模型能简单、准确地描述现实网络中的信息流行为,对于网络策略运用的普遍性和网络研究的一致性具有深远意义.