环境约束下Web服务正确性判定

本文首先提出Web服务域和Web环境域的概念并使用开放Petri网对Web服务域和Web环境域进行建模。然后通过分析Web环境域模型与Web服务域模型组合后的交互行为情况,给出了二者可组合的前提条件以及组合后的正确性判定算法．从而实现在环境约束下Web服务组合的正确性分析和判定。     

一种基于NuSMV模型检测的服务组合编制方法

给出了基于模型检测服务组合方法,该方法形式化定义Web服务以及服务组合模型,使用计算树逻辑描述服务组合模型交互的控制流程,使用符号模型检测工具NuSMV自动检测服务组合模型的总体目标与服务交互的正确性。并通过一个具体案例验证了该服务组合编制方法的正确性和可行性,成功生成一个服务编制器。该方法可以有效缓解服务组合过程中状态爆炸问题,从而降低企业的开发成本及风险。     

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

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

一种基于执行环境特征的组合服务混合执行机制

研究了一种组合服务混合执行机制,建立了服务间的交互协议,给出了执行环境特征模型,并在该模型基础上给出了执行模式选择规则.该机制结合了控制流、数据流全集中,控制流集中、数据流分散两种执行模式的特点,能够根据组合服务业务特性和网络环境特点动态选择执行模式,可以使得数据量较大的消息直接在服务间传递而无需通过中心节点转发.实验结果表明:组合服务混合执行机制通过在组合服务执行过程中动态选择执行模式,能够有效保证组合服务的执行效率.     

电力系统机组组合的可行性判据研究

机组优化组合问题是一个典型的混合组合优化问题,机组组合的可行性判据对于该问题的求解具有重要的意义.综合分析机组组合问题的各种约束,对机组出力上下限进行了调整,提出并证明了机组功率平衡、备用可行的判据,进而推出了机组组合的可行性判据.仿真结果表明该判据是判定机组组合是否可行的有效方法.     

基于形式语义的Web服务交互模型

现有的W eb服务缺少明显的语义,W eb服务之间不能很好地理解其相互传递的消息,因而不能实行W eb服务的发现、调用和组合自动化。为此,提出一种基于形式语义的W eb服务交互模型。该方法通过定义W eb服务接口描述的词汇集以及词汇集之间映射规则,实现了开放和分布式环境下的W eb服务的语义交互。与已有的方法相比,该方法考虑了分布式本体的解释及可满足性问题,可自动根据W eb服务接口的描述因子进行分布式本体推理,解决了开放和分布式环境下W eb服务的语义交互问题。     

服务组合系统交互协议兼容性检测模型

针对服务组合系统中存在某些实体属性会控制Web服务内在的隐式执行路径,致使客户端发送的消息与服务组合系统等待接收的消息不一致时,会发生交互无响应等问题,提出一种在服务组合系统的设计阶段进行交互协议兼容性检测的通用模型。将实体信息抽象为上下文变量,并对上下文感知服务交互协议进行建模;设计一种消除隐式转换的算法,对消除隐式转换后的服务组合系统进行上下文感知服务交互协议兼容性检测模型的形式化定义,并通过NuSMV模型检测工具对应用案例中的CSR模型进行验证。实验结果表明,该模型应用范围广,实现简单,实用性强;不仅能避免服务组合模型状态数较大时引发的状态爆炸问题,而且能有效地缩短服务组合系统的开发周期,降低系统的开发成本。     

基于两层声誉演化模型的服务组合选取策略

针对当前服务组合往往将服务提供者与用户都看成是可信的,导致服务组合质量不高,而实际互联网络中服务组合的各参与方都有虚假、恶意的可能,这些低声誉度的实体对服务组合严重影响服务组合的质量等问题,提出一种基于两层声誉演化模型来刻画组合实体间的信誉演化关系.该模型首先通过服务组合交互双方向系统提交的rating建立公众声誉系统,然后,通过主体间的直接或者间接交互来形成直观的声誉评价体系;在此基础上,提出支持声誉演化的服务组合选取方法.实验与理论分析结果表明,该方法能较好地抑制恶意实体干扰,减弱低质量服务的影响,具有良好的适用性.     

一种语义接口匹配的地理信息Web服务动态组合方法

根据接口匹配和语义本体的思想,提出一种基于语义接口匹配的地理信息Web服务动态组合方法.该方法通过把服务抽象为带有语义信息的输入输出接口的实体,利用接口间的语义匹配实现地理信息服务动态组合.并给出了基于语义接口匹配的地理信息Web服务动态组合框架,以及相应的接口参数匹配和语义匹配的解决方案,提出从参数和语义两个角度对接...     

支持语义、接口和协议的服务相容性分析

针对已有方法不支持同时对服务的语义、接口和协议层进行相容性分析的问题,提出了一种基于语义、接口和协议信息的服务相容性分析及相容度计算方法。通过对确定有限自动机DFA进行语义接口协议扩展以建模服务的语义、接口和协议信息,在此基础上,给出了服务之间3种相容性的形式化定义。利用服务之间行为路径对的对偶关系来分析2个服务之间的相容性,并计算其相容度证明了该方法的正确性,通过实例分析表明了方法的有效性。     

基于协同网和任务情景的服务组合方法

介绍了服务映射库、协同网和任务情景的基本概念,提出了基于协同网和任务情景的服务组合方法.对用户查询请求的每一个输出对象单独生成完备协同网集,将输出的各协同网组合成组合服务以满足用户的需求,通过基于综合任务情景相似度的方法选取最佳组合服务并返回用户.结果表明,所提出的方法能够提高服务组合的成功率和效率.     

云环境下基于MapReduce的海量服务选择研究

当处理分布式、大规模的服务选择时,传统服务选择方法存在着效率不高和全局Qo S性能低下的问题。基于Map Reduce框架,设计了一种云环境下的海量服务选择方法以解决此问题。首先,基于Map Reduce框架,利用Skyline算法,筛选海量候选服务,生成Skyline服务库;其次,基于迭代式Map Reduce框架,运用多目标模拟退火算法,从所生成的Skyline服务库中优选Skyline服务,产生一组Pareto最优的组合服务;最后,依据用户的个性化和多样性需求,执行Top-k查询,优选出满足用户偏好的k个组合服务。该方法适应于具有分布式环境、高维Qo S的海量服务选择,能快速返回组合服务,且其全局Qo S较优。     

基于消息队列和Web服务的分布式系统异步交互方式体系架构

目的 构建在建立大型应用系统时整合多种运行在不同软硬件环境、采用不同实现方式和技术的异构系统。方法 通过将消息队列异步缓存模式的调用特性和Web服务的标准化、跨语言、跨平台的访问特性相结合。结果 通过将两种技术有机的结合，建立了一个灵活而又具有普遍适应性的分布式系统异步交互的体系架构。以Web senvice技术系统间访问的基础，在系统内部结合消息队列技术进行模块间任务的呼叫和响应，使整个系统间交互具有消息驱动的特点。同时，并不要求系统的两端是用同一种系统平台及同一种消息队列产品。这也使系统架构具有了广泛的适应性，它可以建立在绝大多数系统平台上。结论 在建立一个需要整合Internet上多个不同的服务系统的综合网络应用系统的过程时，首先需要考虑的是使这些异构系统以最为简洁通用的协议进行交互，其次是使这些Internet上的系统间交互成功高效的执行。Websenrice技术提供了被广泛支持远程方法调用的途径，而消息队列则提供了异步交互的成熟服务，借此整合了Websenrice和消息队列两种技术建立的分布式系统异步交互的体系架构，可以实现多种灵活的系统交互模式。     

基于成员角色划分的威胁分析及预防

在集成Web服务的网格计算环境中,为提高安全等级及预防威胁,基于用户任务计算过程中的参与者角色划分,提出了一种新的威胁分类方法和相应的威胁模型.在面向服务的架构中,构建了协同利用基本的安全服务和工具提供多层次防御威胁的安全模型.威胁分析既可作为正确设计安全服务的基础,又可进一步用于正确操作过程的开发.     

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

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

基于三网融合环境的移动数字图书馆服务采纳模型

针对三网融合环境下移动数字图书馆服务的重要性,基于扩展技术采纳模型理论,通过分析与移动数字图书馆服务采纳相关的影响因素,提出一种数字图书馆服务采纳模型,该模型包括接口特征、个体特征和系统特征等3类采纳影响因素.该模型的构建有助于图书馆设计合适的移动数字图书馆服务来满足用户日益增长的信息需求.     

智能网业务生成环境仿真平台的设计与实现

智能网业务生成环境（SCE）是创建、修改、定制和规定新业务的交互式环境．通过直观的图形化界面，用户可以方便快捷地创建、解析、验证和仿真适合自己的各种业务．提出了开发一个智能网业务生成环境仿真平台的设计方案，着重阐述了该仿真平台的体系结构、功能模块厦技术分析，并结合JAVA和XML语言成功实现了该仿真平台．     

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

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