基于区块链机制的云计算环境下服务组合策略的研究

云计算环境下服务组合具有规模大、复杂性高、失效类型多以及资源动态变化等特征,因此安全、可信的服务组合方案是云环境下海量服务资源灵活部署、按需提供的最大挑战。首先对区块链共识机制、智能合约及可编程特征进行深入分析,类比服务组合特征与流程,基于服务层次覆盖网络SON（service overlay networks）理论提出一种可信度和可靠性更为突出的以区块链为底层基础设施的服务组合体系架构;此外,考虑区块链共识机制带来的安全策略,借鉴智能合约的功能与作用,提出了跨服务覆盖层的基于链路预测生存时间及服务强度最优策略的高效服务路径生成算法;进一步地,设计了带有单点信任度及交互紧密度指标的可信服务质量模型ToS(trust of service),以及该ToS驱动下的服务路径选择算法。仿真结果表明,基于区块链机制的服务组合实现策略大大提升了组合服务执行的成功率及可用性。     

基于SOA的Web服务动态组合研究与实现

通过深入分析现有Web服务组合系统优势与不足,将SOA引入到Web服务动态组合领域,提出了一种基于SOA架构和分层协议栈机制构建Web服务动态组合系统的方法,设计并实现了一个基于SOA架构的松散耦合原型系统来实现Web服务组合,可为服务消费者提供一个适当的、开放的、按需配置的及安全的Web服务动态组合环境.     

一种基于知识复用的动态服务组合方法

如何在业务层面即时动态组合服务,按需创建应用,是一个具有挑战性的课题。提出了一种适合业务用户使用的基于知识复用的服务组合方法,该方法充分利用领域专家的知识和经验,将其封装成组合模板透明地提供给用户,使用户可以在业务层面以一种大粒度的方式描述需求,建立业务应用,从而提高了业务用户主动参与面向服务的应用构造的能力和构造效率。     

空间知识服务组合技术研究

空间信息系统要求能够依据空间服务需求,快速灵活地集成已有和新添的空间Web服务,实现基于空间知识网格环境的协同工作和应用集成,实现按需服务.提出和设计了支持空间知识服务的语义服务描述模型和基于语义的Web服务协同模型,利用协同模型将分散空间服务组合起来.通过引入动态服务组合和服务匹配、绑定机制,并且和空间知识本体库密切配合,实现资源动态绑定,真正有效地支持空间知识服务的动态组合与协同.     

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

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

基于全局QoS 约束分解的Web 服务动态选择

随着执行时绑定的Web服务的提出及其被大量地应用到开放式服务中,用户对支持快速和动态的Web服务组合提出了新的要求.即在组合过程中,用尽可能短的时间花费选择满足用户端到端的QoS要求的服务.针对上述要求,提出了一种基于全局QoS约束分解的动态服务选择方法(Web service dynamic selection approach,简称WSDSA).该方法的主要思想是,通过基于模糊逻辑的自适应调整方法(adaptive adjustment method,简称AAM)和自适应粒子群优化算法(adaptive particle swarm optimization,简称APSO)将全局QoS约束自适应地分解为满足用户偏好的局部约束,然后利用局部最优获得最合适的组合服务.性能评价表明,WSDSA方法具有较好的有效性,仅用较低的时间花费就能达到或接近全局最优解,能够满足服务选择的实时性和动态性.     

基于面向服务架构体系的WEB组合技术应用研究

Web服务是基于XML和HTTPS的一种服务,其通信协议主要基于简单对象访问协议(SOAP),服务的描述通过WSDL、UD-DI来发现和获得服务的元数据。Web服务建好以后,SOAP提供了标准的RPC方法来调用Web service,并意味着下面的Webservice是以对象的方式表示的。SOAP规范定义了SOAP消息的格式,以及怎样通过HTTP协议来使用SOAP。该文基于此,对面向服务架构体系的WEB组合技术应用进行了初步研究。     

一种基于时变Petri网的服务组合质量检验方法

为了解决动态服务组合过程中功能执行时序与工作流的关系问题,提出了一种基于时变Petri网技术的Web服务组合模型.引入Petri网有向网结构来描述组合过程中输入/输出功能及时间因素影响,以Petri网的有向弧结构表示服务组合过程中服务功能时间参数输入/输出表达式,利用时变函数表示服务的时间消耗,进而将服务组合转化为时变Petri网的流程正确性检验和时间开销优化问题,使建立的服务组合模型在组合成功率和用户满意度间达到良好的动态平衡.提出了一种基于回溯方法的服务组合流程检验和QoS计算方法,用于时变Petri网系统下服务组合策略的构建和验证.为了说明该方法的有效性,以一个实际电厂信息调度平台系统提供的Web服务为研究对象,通过两组仿真实验,分别说明该方法具有良好的组合成功率及使用相同候选服务集构建组合策略的有效性.实验数据和结果分析表明,该建模方法能够达到特定用户对服务功能的使用需求.     

基于工作流的Web服务组合系统的设计与实现

单个Web服务难以满足实际应用的需求,为了解决互联网应用的集成和协作问题,需要把独立的Web服务组合起来以实现复杂的业务逻辑功能.通过分析工作流与Web服务流程执行的相同点,设计并实现了一个基于工作流的Web服务组合系统(WSCS).该系统能在自治的、异构的、动态的环境下灵活、高效地组合Web服务.整个系统主要包括三个模块:组合流程建模模块、服务选取模块、流程执行模块.     

Web环境下基于协议组合代数的业务流程整合方法

采用协议对基于Web的业务流程建模是当前研究的一个新方向.业务协议是对参与业务过程的业务步骤的描述.本文将多个参与者参与的业务步骤抽象为参与者之间的交互,采用基于交互的协议对业务流程建模,提出了一个业务协议组合代数,构造了一组协议组合算子,并证明了该代数的一些相关性质;本文还对协议的相似性进行了分析,为替换协议的选择奠定了基础.文章还通过一个流程组合实例说明了基于协议组合代数的业务流程整合过程.     

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

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

支持大规模个性化功能需求的服务网络构建

提出一种面向大规模功能个性化需求的服务组合方法,支持服务的大规模个性化定制.现实服务场景通常面临多客户的大量并发的请求,且不同客户对服务的功能需求存在差异.传统方法在应对该场景时需要针对每个需求分别构建服务组合方案,成本代价高.该方法同时考虑多需求,利用潜在收益为需求排序,利用多需求在功能上的相似性、采用渐进迭加策略逐步形成可定制服务方案（称为服务网络）,采用需求分组策略降低算法时间复杂性.通过实验,将该方法与其他组合策略进行对比分析,证明了方法的有效性.该方法把服务网络作为持久化存在的基础设施,将个性化和标准化结合起来,以最少的服务来满足尽可能多的需求,达到优化的成本有效性和客户满意度,可应用于各类现代服务领域.     

面向服务组合的覆盖网络构造问题研究

根据服务组合的特点,以自治域为基本单位,通过征集网络中大量可用的内容服务器,并部署少量的组合代理服务器,构建覆盖网络.由于组合代理的数量和位置直接影响覆盖网络的性能,因此将组合代理部署代价以及组合代理到征用节点的路由代价作为优化目标,建立数学优化模型,利用局部算法和自适应遗传算法进行求解.实验结果表明,组合代理部署模型...     

面向用户主导问题求解环境的服务组合方法

为提高服务组合的即时性,适应用户业务需求的变化以及服务资源的动态和异构性,提出一种适应用户主导问题求解环境的服务组合方法。探讨了维护服务交互关系的相对稳定性的策略,提出了基于服务相容性的服务聚类规则,基于聚类服务关联图的组合模板构建方法及其最优性的保障手段和组合模板的具体化方法。实验结果表明,该方法可提高服务组合的即时性和适应性,提高服务组合的时间效率。     

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

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

实时流覆盖组播服务网络研究

针对ISP在提供实时多媒体服务时对灵活性的需求，设计了一个基于覆盖组播的实时流网络模型，利用面向服务的方法传送语音、视频等流数据，改善了实时流应用中的QoS，较好地解决了ISP部署多媒体增值服务业务的灵活性问题。并结合NUQ应用实例，从服务控制和资源管理的角度，研究组合实时流服务和构件来实现组通信服务，并分析了满足QoS和控制资源的方法。     

基于多Agent协商的服务流程定制

针对复杂业务需求,提出了基于多Agent协商的服务流程定制模型、算法和系统．首先介绍了该模型及其支持系统的框架以及服务Agent的结构和工作原理;然后在将业务需求满足定义为分布式柔性约束满足问题的基础上,提出了基于多Agent协商的求解算法并介绍了一个应用案例;最后,给出了一个原型系统．该模型和系统能够对复杂的业务需求进行建模和求解,从而寻找到合适的服务,满足了服务流程定制的需要．     

多业务流媒体服务系统的自适应服务组合算法

服务组合可以将网络上多种异构服务重新组合,形成新的业务.本文在流媒体应用中,采用三层服务组合架构,通过检测用户点播行为的改变,触发流媒体服务组合自适应调整,以最小化用户整体点播延迟为目标,在保证用户QoS的同时,最大化利用服务器现有的资源,从而扩充服务器服务能力,降低用户点播的拒绝率.试验仿真结果表明流媒体服务集群系统性能得到了大幅度的提高.     

一个基于流程相似性的自动服务发现框架

服务发现是面向服务的网络软件开发过程的关键阶段,同时也是影响服务组合效率的关键因素.针对当前服务发现自动化程度低下、准确性不高的现状,从两个方面提高服务组合效率:首先,提出一种自动组合服务发现模式,支持流程粒度的组合服务发现及复用;其次,在发现过程中设计了一种量化的相似性评估算法,综合考虑组合流程的静态结构与动态行为特征,以提高服务发现的准确率;最后,结合以上两方面形成一个基于流程相似性的自动服务发现框架(automatic service discovery framework based on business process similarity,简称AutoDisc).利用真实数据完成的评估实验结果表明,AutoDisc的准确性优于单纯考虑结构或行为的发现方法,在所给出的应用案例中,使服务组合效率提高75.5％,具有较好的可扩展性.     

Web Service Choreography: Unanimous Handling of Control and Data

To provide an effective service-oriented solution for a given business problem, it is necessary to explore all available options for providing the required functionality while ensuring a flawless data transfer within the composed services. Existing service composition approaches fall short of this ideal, as functional requirements and data mediation are not considered in a unified framework. We propose a service composition framework that addresses both of these aspects by integrating existing techniques in formal methods, service oriented computing and data mediation. Our framework guarantees the correct interaction of services in a composition by verifying certain behavioral constraints, and resolving data mismatches at semantic, syntactic and structural levels, in a unified manner. A tableau based algorithm is used to generate and explore compositions in a goal-directed fashion that proves or disproves the existence of a service choreographer. Data models, to detect and resolve data mismatches, are generated using WSDL documents and regular expressions. We also apply our framework to examples adapted from the existing service composition literature that provide strong testimony that the approach can be effectively applied in practical settings.