服务组合中基于执行性能评价模型的人工任务调度方法

针对服务组合中人工任务的执行问题,给出了一个支持人工任务的组合服务执行引擎.该执行引擎将人工任务作为BPEL中的一个活动,并通过人工服务容器实现人工服务资源对人工任务的执行,能够保证人工服务资源与业务流程间的松散耦合.同时,针对人工任务的执行效率保证问题,建立了包括执行效率、负载均衡以及可靠性等性能指标的人工服务资源执行性能评价模型,以客观地反映人工服务资源任务执行的实际效果.在该模型的基础上,给出了人工任务调度问题的目标函数,并提出了基于执行性能评价模型的人工任务调度算法.实验结果验证了所提出的人工任务调度方法的有效性.     

面向自适应的组合服务动态调整方法

为了实现组合服务对异常情况的自适应,提出了一种组合服务动态调整机制.该机制将调整逻辑和BPEL执行逻辑相分离,从而能够在不扩展BPEL语言的语法和语义基础上支持组合服务的动态调整,保证了方法的适用性.建立了服务异常模型来描述服务运行过程中所面临的异常情况的类别、产生原因以及外在表现,并且在该模型的基础上给出了异常监控策...     

一种Web服务组合的数学模型

为了更好地分析和验证Web服务组合,提出了一种描述服务间消息交互的Web服务组合数学模型.首先定义了个体服务形式化模型,并分析了相关性质,然后定义了消息交互的各种逻辑以及服务组合模式,并对消息交互逻辑进行了分析和实现,在此基础上,给出了服务组合模型的定义,并通过个体服务控制器、消息逻辑控制和全局控制算法实现了Web服务组合过程.该模型简洁灵活,具有可扩展性.实例分析表明,该模型能够对服务组合中的消息交互进行模拟.     

面向数据流的服务组合演化影响性分析方法

BPEL已经成为事实上的Web服务组合标准语言,利用BPEL控制流图(BPEL flow graph,BFG)对BPEL进行建模,通过模型对服务组合的数据流进行分析,提出一个面向成员服务的数据依赖度量集;通过此度量集可以量化成员服务的数据依赖复杂度,从而分析成员服务对BPEL中数据流的影响程度与范围,为服务组合演化策略的制定及实施提供依据.     

持续自适应的Web服务组合方法

针对基于过程组合方法对Web环境缺乏持续适应性的问题, 将强化学习机制应用于该类服务组合, 提出一种持续自适应的服务组合算法. 该算法将对现有Web服务性能数据的利用与对新服务组合持续的探索相结合, 根据服务的实际QoS性能, 逐渐逼近与过程模型相对应的优化服务组合策略. 结果表明, 该学习算法对Web环境的适应具有可连续性, 可在每次运行时不仅能感知Web服务及其性能的变化, 而且还能利用以往算法执行所获得的Web服务性能数据, 调整服务组合策略. 通过对熵取值范围的讨论, 阐明了对以往策略的利用与持续探索之间的关系; 通过在静态和动态两种环境下的实验, 验证了算法对环境的适应能力.     

基于扩展的层次有色petri网的组合服务测试用例生成

为了更好地对Web组合服务中各个服务间的交互行为进行测试,提出了一种基于扩展的层次有色petri网的组合服务测试用例生成方法.首先将OWL-S文档映射成为扩展的层次有色petri网,使其中丰富的语义信息、数据流信息和控制流信息模型化.然后利用扩展的层次有色petri网,着重对各服务之间的数据流关系进行分析,找到所有的输出输入定义使用链,并将其扩展成可执行的测试序列,最后将测试序列和测试数据组合,生成测试用例.其中生成的所有测试序列符合全定义一使用路径覆盖标准.     

一种费用最廉的Web服务动态组合算法

针对现有组合服务选取的算法因其复杂度太高而难以在实际环境中应用,提出了一种 Web 服务动态组合优化算法.该算法利用最优化原则在服务组合图中求解一组执行费用最廉、满足用户需求的 Web 服务.     

一种服务质量可信的按需服务组合方法

为了解决开放、动态网络环境下的服务可信组合问题,特别是组合服务的可信度计算与评估,以及服务可信组合最优方案选择,提出一种服务质量(QoS)可信的按需服务组合方法。该方法根据单个服务的信任度值以及服务组合图的控制结构,构建基于QoS可信的服务组合信任模型,进行服务组合的信任合成与计算;基于该模型设计多约束条件下QoS可信的按需服务组合方案,采用粒子群算法进行优化求解,以此选择出可信度高的服务执行计划。面向物流领域配送管理需求实例进行了实证和实验研究,结果表明所提方法在求解多约束的可信服务组合优化上是有效、适用的,能够提高服务组合的可信性和成功率。     

一站式政务环境中的服务动态组合算法

提出了一种基于语义服务链的服务动态组合算法.该算法采用面向语义的Petri网来表示政务服务,并给出了组合服务的生成实例及其控制执行的本体服务链.实验结果表明,该算法在可接受的链接时间内,自动组合出复杂政务服务的链接成功率达到80%以上,有效提高了服务组合的质量和效率.     

基于QoS上下文的Web服务动态合成

针对QoS上下文在服务合成中的不同作用,文中提出将QoS上下文模型用于服务的动态合成.利用QoS反馈控制机制,根据用户的QoS要求,在环境QoS变化的情况下,对备选的服务进行动态选择、组合和执行,并使用遗传算法作为QoS反馈机制的控制器,保证了QoS指标的确定.实验和仿真结果表明,基于QoS上下文的服务合成能够动态、自适应地进行服务的组合,并满足用户QoS的指标和要求.     

软件服务持续优化运行的服务环境模型

面向软件服务在其完整生命周期中长期持续优化运行的需求,从环境建模的角度提出一种支持软件服务持续优化运行的服务环境模型.基于Pareto占优原则直接面向多维质量指标自底向上筛选服务,形成支持软件服务所有实例优化运行的最优服务环境,并通过随服务空间变化动态更新最优服务环境实现对软件服务优化运行的持续支持.给出了服务环境模型的定义及最优服务环境的初始构建和动态更新机制,实验验证了所提出的服务环境模型对软件服务持续优化运行的支持效果.     

一种关联感知的组合服务重选取方法

已有的组合服务重选取方法大都假定任务之间互相独立,然而在实际场景中,由于基本服务间存在着Qo S关联关系,使得某些任务之间也存在着关联关系,从而导致这些已有的方法难以获取最佳的调整方案.针对该问题,通过扩展OWL-S,给出了一个支持服务间关联关系的Qo S模型.基于该模型,给出了一个支持任务间关联关系的重选取算法,该算法将具有关联关系的任务作为一个任务单元,以关联服务作为任务单元的备选服务进行重选取.实验结果表明,与按照任务间独立的方式进行重选取相比,该方法能有效提高重新选取出的组合服务质量.     

基于扩展投影时序逻辑的组合Web服务描述与验证

针对编制方式生成的组合Web服务需要用一个工作流引擎执行这个特征,对投影时序逻辑进行了扩展,并用扩展投影时序逻辑描述和验证组合Web服务.将组合Web服务视为一个基于过程的工作流,将工作流引擎与组合Web服务组成部分的一次不可分割的消息交互抽象为一个原子过程.用扩展投影时序逻辑公式描述原子过程,用扩展投影时序逻辑操作符定义过程组合规则、连接过程描述公式,得到组合Web服务描述公式.通过模拟组合Web执行,可验证组合Web服务满足系统的需求和性质,为提高组合Web服务设计的可靠性提供了依据.     

基于模型驱动的Web服务符号执行与验证

Web服务测试与验证是保证Web服务功能正确的关键,目前大多数Web服务的研究无法对程序路径穷举遍历,不能保证分析的完备性.针对该不足,在基于模型驱动的3阶段Web服务模型转换生成方法的基础上,该文对转换生成的Java代码进行符号执行与形式化验证.符号执行方法可对程序运行的所有路径进行分析,为程序测试提供高覆盖率的测试...     

信息化2.0背景下高校智慧宿舍建设模式研究

从目前各个高校宿舍管理面临的问题和需求上进行分析，提出了在信息化2.0背景下高校智慧宿舍建设思路和业务数据分析算法.通过整合与宿舍相关的业务系统数据和业务应用，建设一个完整和综合性强的智慧宿舍管理平台，实现各个相关系统与宿舍相关的业务高度融合和互联互通，统一管理宿舍各项事务，实现宿舍服务应用更集中，有利于更好服务学生，有利于提高管理效率，降低管理成本，打造良好的四个智慧化服务和三个育人环境.     

Efficient Composition of Semantic Web Services with End-to-End QoS Optimization

The efficiency of QoS-aware service composition is important since most service composition problems are known to be NP-hard. With the growing number of web services, service composition is like a decision problem on selecting services or/and execution plans to satisfy the users' end-to-end QoS requirements (e.g. response time, throughput). Composite services with the same functionality may have different execution plans, which may cause different end-to-end QoS. This paper presents a model combining semantic data-links and QoS, which leads to an efficient approach to automatic construction of a composite service with optimal end-to-end QoS. The approach is based on a greedy algorithm to select both services and execution plans for composite services. Empirical and theoretical analyses of the approach show that its time complexity is O(mn²) for a repository with n services and an ontology with m concepts. Moreover, the approach increases linearly in time when using an index to search services in the repository. Tests with a repository with 20 000 services and an ontology with 300 000 concepts show that the algorithm significantly outperforms current existing algorithms in terms of composition efficiency while achieving optimal end-to-end QoS.     

Web服务组合中基于服务质量的服务选择算法

为了提供满足客户服务质量（QoS）需求的组合Web服务，提出了一种支持QoS属性描述的Web服务描述模型．通过在原有的Web服务描述语言的tport元素中添加operationInst属性来描述QoS属性，从而获得了一种可扩展的Web服务描述语言．在此基础上给出了基于多目标决策理论和分形理论的服务选择算法，该算法考虑了QoS属性之间的不可公度性和独立性，同时给出了QoS驱动的服务组合框架（E-WsFrames）和具体实现方法．实验结果分析表明，E-WsFrame可以综合考虑服务组合的功能和QoS的要求，并可根据服务请求自动地实现组合服务．     

一种资源与服务性能关系的建模方法

获取资源与服务性能的关系模型是在云环境中为服务合理分配虚拟资源的关键.然而,训练数据的规模往往显著影响这种非线性关系模型的准确率.针对现有方法不足,提出了将协同过滤推荐(CFR)和支持向量回归(SVR)相结合的服务性能动态建模方法(CSDM).该方法在服务部署与运行时同时训练两种模型,并选择二者中MAE占优的性能模型预测给定资源状态下的服务性能,从而保证预测精度.同时,CSDM引入择优阈值以降低模型训练代价.实验表明,CSDM在不同规模的训练数据上均有较高的预测准确率,且择优阈值对预测精度和建模效率具有显著影响.     

基于公共信息模型的分布式系统业务管理

为了管理Web服务所依赖的底层资源，提出了不同体系结构管理集成的通用业务管理机制．该机制将业务管理的服务级协定(SLA)监视过程分解成配置服务、测量服务、条件评估服务和管理服务，并给出实现服务的最佳方案．建立了SLA参数与资源度量的映射，将SLA从Web服务环境配置到传统管理构架的公共信息模型对象管理器(CIMOM)，并将CIMOM的测量数据传回给Web服务，达到2种体系结构间管理的互操作性．通过主动资源代理，自觉请求检索新度量和计算SLA参数，无需外部触发，有效降低了系统的开销．仿真实验表明，该机制可提高分布式系统的业务监控能力。