柔性工作流中的服务组合可协调性研究

提出柔性工作流中的服务组合可协调性分析方法.给出服务以及服务组合可协调性的定义;在可协调性定义的基础上给出组合服务间可协调性判定算法;最后,以电子商务系统中的物流系统为例,在随机Petri网模型建模的基础上,着重介绍了柔性工作系统中基于服务可协调性判定的服务自动组合方法.     

基于Petri网的服务可靠性评价方法研究

服务的可靠性研究成为一个研究热点。首先研究基于Petri网的结构关联的服务组合描述语言BPEL;而对于服务交互关联模型,构造服务组合模型的Petri网表示的交互特点;给出服务组合Petri网定义,建立基于服务组合Petri网的模型可靠性评估方法,包含结构关联的可靠性计算方法和交互关联模型可靠性化简和计算方法;最后给出旅游服务系统案例分析,说明了方法的可用性和合理性。     

面向组合的Web服务间数据关联定位方法研究

Petri网因其在描述和分析并发、分布式系统方面的优势,越来越多地被用于Web服务组合中。在基于Petri网描述的Web服务组合中,如何确定各个子服务参数之间的关联关系,并以此为基础得到Web服务组合的Petri网,是对Web服务组合性质进行分析的前提与基础。首先给出Web服务的Petri网描述和基于Petri网的Web服务注册系统,定义了Web服务参数间的数据关联及定位算法,并通过例子说明数据关联在自动生成Web组合服务Petri网中的应用。     

Web服务组合的Petri网自动生成方法

针对Petri网理论与方法在服务计算中的应用,从Web服务执行的角度,在定义Web服务组合的Petri网的基础上,给出Web服务组合的Petri网的自动生成方法.首先对Web服务的Petri网描述,通过利用Web服务的输入、输出等元素的本体定义为Petri网中相应库所元素添加语义标签,得到Web服务的Petri网的PNML(Petri net Markup Language)+OWL(Ontology Web Language)描述,其中PNML部分描述Petri网的网结构,OWL部分描述Petri网中各库所元素的语义标记;进一步,在已得到Web服务组合中各子Web服务之间输入/输出关联元素的基础上,确定各子Web服务的Petri网之间的可融合库所,通过执行可融合库所之间的库所融合操作,将各子Web服务的Petri网合并得到Web服务组合的Petri网,为Petri网相关理论与方法在服务计算中得到实际应用提供了必要的前提.     

基于Petri网的Web服务自动组合研究

根据Web服务中消息和行为的关系,Web服务被描述为面向消息的基于行为Petri网模型(Moap)．该模型包括消息域和服务过程,前者是服务协同以及和用户通信的通道,后者是基于Petri网的Web服务行为过程描述．Moap支持组合服务的重用,可以很好地描述可用服务的并行调用,另外元消息机制也有利于服务的自动组合．在Moap基础上,定义了服务组合系统和服务的协同;给出了服务自动组合规则,并证明了其有效性和完备性．最后,通过一个实例直观描述了服务组合系统的工作方式．     

Web服务组合的有色网模型及运算性质

定义了一种基于有色Petri网的Web服务组合模型,这一模型能清晰表达服务组合中各组成部分之间的逻辑关系,并可模拟组合服务的执行,分析其动态性质．给出了服务、服务组合运算的定义及性质、服务组合的建立与执行算法．     

基于OPN的指控能力包服务动态组合方法研究

服务组合方法对于分布式网络环境下基于SOA的军事应用系统的综合性能影响很大.提出了一种基于OPN的服务动态组合方法的解决方案.首先定义了基于对象Petri网的指控能力包服务描述和组合模型,对服务组合的数学算子进行了分析和证明,而后给出了基于OPN的服务动态组合流程,最后使用国防科大对象Petri网建模仿真环境工具对提出的服务组合模型进行建模仿真,并对实验数据进行了分析.     

基于颜色Petri网的服务组合建模与验证

Web服务组合技术能快速、灵活的满足复杂多变的业务需求,Web服务组合及其形式化描述和验证已经成为Web服务中一个非常重要的研究方向.给出了一个基于颜色Petri网(CPN)的Web服务和Web服务组合的形式化定义和描述,主要描述了4种组合结构:顺序、选择、并发和循环.给出了一个颜色Petri网建模Web服务组合的实例,并且对模型进行了简单的正确性分析.分析结果表明,该建模方法满足正确性要求.     

支持服务组合的需求模型及其可满足性判定

服务组合一般是根据用户需求来查找匹配的服务并对其进行组合,但用户需求往往是基于自然语.言的,很难用于服务的自动组合.提出了一种基于环境本体的组合服务需求模型,该模型以环境实体上的意图为基础,将关联意图集定义为任务.引入Petri网作为任务间的控制逻辑关系,并给出了一种判定需求可满足性的方法.最后选择旅行安排作为具体案例...     

基于Petri网的工作流过程模型及资源分布分析

针对工作流系统的特点对时延Petri网模型进行扩展,提出了一种新的工作流建模方法,即扩展时延Petri网。给出了扩展时延Petri网的定义,并用该方法分析了工作流四种基本模型;给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法,用这种方法可求得与实例到达率相关的工作流模型平均完成时间。最后应用上述方法讨论了工作流资源分布的几种模式,并与模拟结果加以对比,计算结果的最大误差在3%左右,说明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。     

基于历史调用日志分析的Web服务间语义相关性发现

针对Web服务间语义相关性发现这一Web服务领域研究的关键问题,目前的方法不能较好地描述服务间语义相关的不确定性,进而不能有效地支持自动服务发现与组合.以Web服务描述中的操作作为服务组件,首先给出Web服务调用历史日志的定义,接着以统计计算为手段,基于PageRank算法给出服务组件权重的计算方法,进一步基于静电场理论给出Web服务组件间语义相关度的度量方法,为Web服务搜索、发现与组合奠定基础.实验结果表明,该方法具有高效性和实用性.     

动态Web服务组合研究

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

一种基于语义的服务搜索与匹配方法

Web服务是构建基于面向服务架构(SOA)的应用系统所需的主流分布式计算技术.作者此前提出了一种语义增强服务库,支持基于语义的服务注册、搜索和组装.讨论该服务库中所使用的一种基于语义的服务搜索与匹配方法.该算法不仅考虑了功能性属性而且引入了非功能性属性来进行服务匹配.算法利用所建立的本体对服务进行语义标注,并通过对OWL-S进行扩展,增加了非功能性属性支持.论文给出了服务的定义,详细介绍了服务搜索与匹配的步骤,并以一个服务的搜索为例对算法的使用进行了说明.最后把本文提出的算法与基于关键字匹配的服务搜索算法进行了比较分析,结果表明本文所提出的算法搜索更加准确.论文最后简介了基于该算法的语义库的基本架构及功能.     

智慧城市中QOE感知服务组合策略的研究

无线传感器的发展和物联网技术的应用,配有物联网的设备正以一种全新的"智能终端服务"的形式进入人类生活,要想在复杂冗余的物联网环境中寻得满足不同用户需求的服务,需要考虑服务组合的概念.为此,在对传统服务组合研究方法深入分析的基础上,提出了智慧城市的服务组合选择策略.首先根据物联网应用服务的多样性,通过改进蚁群算法获得用户...     

大数据服务深度需求与SOA协作集成的异构系统融合机制

大数据服务需求的认知深度和服务架构的融合度直接影响多业务大数据应用的资源管理和服务质量,提出了一种基于大数据服务深度需求分析和面向服务的协作集成架构的异构系统融合机制;该机制,一方面,在分析大数据源多样化、差异化大数据组织形式及其存储方式,基于开放性大数据服务上下文,以及上下文集合的关联匹配与大数据服务分析的映射关系,结合不同类型用户的需求差异化特征,建立了大数据服务需求分析模型;另一方面,对于多态异构的移动互联网大数据服务,经过结构化和开放性处理后,给出大数据通信和服务调用描述定义,提出了SOA协作集成的异构系统融合架构;仿真实验结果表明,所提出的算法在大数据服务响应成功率、执行时间和代价比等方面具有明显优势。     

一种基于体系结构的Web服务组合描述方法

Web服务组合能够快速开发复杂的Web服务,以促进Web服务的增值。在分析并比较现有的Web服务组合方法的基础上,提出了一种形式化和工业化方法相结合的Web服务组合描述方法。针对Web服务及其组合的特点,研究了基于体系结构的Web服务组合描述方法,采用扩展的XYZ／ADL定义Web服务及描述其交互的连接件,最后结合一个实例描述Web服务组合的工作方式。     

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

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