公共文化服务平台

国家重点基础研究发展计划(2010CB328101): 作品数：25 被引量：67H指数：6; 相关作者：杜玉越胡强闫春钢汪明新刘关俊更多>>; 相关机构：山东科技大学同济大学青岛科技大学更多>>; 发文基金：国家重点基础研究发展计划国家自然科学基金国家教育部博士点基金更多>>; 相关领域：自动化与计算机技术自然科学总论电子电信更多>>

一种基于服务簇网元模型的Web服务发现方法被引量：4: 2012年; 定义了服务簇的网元模型,提出了一种基于服务簇网元模型的Web服务发现方法。首先,通过计算Web服务的功能描述及参数的语义相似度,对服务库中的服务进行聚类;其次,对服务参数进行统一标注,建立服务簇的网元模型,并对服务簇参数矩阵进行规范化处理;最后,基于服务簇参数矩阵,实现服务快速发现。基于Petri网,首次提出了服务簇的形式化模型,并在此基础上进行了服务快速发现。结果表明,利用网元模型建模服务簇是有效的、合理的,并且与传统的基于参数匹配的服务发现相比,所提方法有效地减少了参数匹配次数,提高了服务发现效率。; 栾文静杜玉越; 关键词：参数不确定性语义相似度服务聚类参数矩阵

稳定有界Petri网的进程表达式被引量：6: 2011年; 文献[1]证明一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,然而没有给出基本子进程的求解方法。定义了一类有界Petri网———稳定有界Petri网,并给出其基本子进程的求解算法,进而利用有限自动机的语言表达式的求解方法来求解稳定有界Petri网的进程表达式。另外,还给出了由符合一定条件的S-网的进程表达式来构造其同步合成网的进程表达式的算法。; 汪明新刘关俊闫春钢; 关键词：有界PETRI网

Web服务业务流程执行语言交互兼容性判定被引量：2: 2012年; 为验证两个Web服务业务流程执行语言描述的Web服务是否交互兼容,提出了一种基于Petri网对服务进行建模和交互兼容性判定的方法。基于Petri网模型定义了服务网,给出了WS-BPEL控制结构到服务网模型的映射规则,将服务之间的交互兼容性的判定转换为对服务组合网的接口匹配和结构属性的判定,提出了一种基于服务网路径进行服务交互兼容性判定的方法,并设计了相关算法。通过实例验证了该方法的有效性。; 胡强杜玉越; 关键词：WEB服务兼容性 PETRI网服务网

基于逻辑Petri网的Web服务簇模型被引量：6: 2012年; 在基于聚类的Web服务中,同一服务簇中的服务在参数名称、参数数量和顺序方面不尽一致,具有参数不确定性的特点,导致参数匹配仍需要很大的工作量。因此提出一种基于逻辑Petri网的Web服务簇模型,将服务的参数集合表示为基于服务簇参数集的逻辑向量,建立了服务簇到各个服务的映射关系,实现对服务参数的统一管理。基于语义相似度的参数匹配仅在服务簇层进行,在服务簇内可以用位置向量直接定位参数,通过逻辑比较判断是否匹配,使得参数匹配的规模和计算复杂度大大降低,提高了服务发现效率。; 邓式阳杜玉越

基于颜色Petri网的网格服务组合: 2014年; 在新的面向服务的网格计算架构下,网格服务为Internet上的分布式计算提供了一种重要范例。对服务提供者和消费者来说,通过组装已有网格服务来创建新的增值网格服务的应用模式已经出现。网格服务的组合已经成为网格研究领域中的一个重要课题。由于可用网格服务的复杂性,许多网格服务表现出复杂的会话协议,要求其提供的操作能根据特定的规则进行调用。讨论了以下几个问题:(1)如何精确描述网格服务的会话协议;(2)如何建立组合规则来对选定的组件服务进行合成;(3)如何验证整个网格服务组合的正确性,尤其是被合并的组件服务的一致性和它们的会话协议。Petri网提供了描述并发系统同步的结构,高级编程语言提供了描述和操作数据值的结构,而颜色Petri网结合了Petri网和高级编程语言的表达能力。为了解决上述问题,提出了一个基于颜色Petri网的会话协议和网格服务组合模型,其使用颜色Petri网的带颜色的token来模拟业务流程的不同消息和事件类型,把服务的会话协议和网格服务组合过程转换为颜色Petri网(CPN),利用现有的CPN的专门工具(如CPN Tools)来对CPN进行模拟以分析评价系统的性能和行为性质。; 翟正利; 关键词：网格服务组合组件服务会话协议颜色PETRI网

逻辑Petri网变迁使能的判定方法被引量：1: 2011年; 逻辑Petri网(LPNs)能够描述和分析实时协同工作系统中批处理功能和传值不确定性。为了直接分析LPNs的性质,针对LPNs变迁的不确定性,定义了逻辑变迁向量集和变迁使能向量集,给出了一种向量匹配方法判断使能变迁。为应用LPNs建模分析实际问题奠定了理论基础。最后,通过一个例子,验证了论文分析方法的可行性。; 亓亮杜玉越; 关键词：不确定性

一种面向聚类的语义Web服务发现方法被引量：2: 2012年; 提出了一种基于聚类的语义Web服务发现方法。通过计算Web服务的功能相似度及输入输出参数的语义相似度,利用聚类算法对服务库中的服务进行聚类。统一标注服务簇的输入输出参数,得到输入输出概念集,构造出服务簇网元模型,并提出标识服务簇网元的矩阵模型,从而实现服务的快速发现,找出最符合用户需求的服务类。给出了服务簇的形式化描述及构建算法,并进行服务发现。实验例证了所提出方法的有效性和合理性,以及在查准率和查全率方面的明显提高。; 薛洁吴兵杜玉越; 关键词：本体语义相似度服务聚类

基于路由机制的变权网络路径快速生成算法被引量：2: 2011年; 在大规模交通流仿真中,车辆个体路径生成环节存在着大量重复计算。为避免重复计算及提高车辆个体路径生成速度,将计算机网络中的路由机制引入到交通流仿真中,提出一种基于路由机制的变权网络路径快速生成算法,即把每个道路路口节点作为路由器,分解并存储原本与车关联的路径作为指路信息。仿真车辆通过访问该指路信息获取下一步行车方向,并且当路网权值发生变化时,能及时响应路网的动态变化,从而给出求实时路况下仿真车辆行驶路径的一种方法。; 唐俊张栋良; 关键词：交通流仿真路由机制

Automatic Web services composition algorithm based on optimal matching被引量：2: 2011年; A novel layered method was proposed to solve the problem of Web services composition.In this method,services composition problem was formally transformed into the optimal matching problem of every layer,then optimal matching problem was modeled based on the hypergraph theory,and solved by computing the minimal transversals of the hypergraph.Meanwhile,two optimization algorithms were designed to discard some useless states at the intermediary steps of the composition algorithm.The effectiveness of the composition method was tested by a set of experiments,in addition,an example regarding the travel services composition was also given.The experimental results show that this method not only can automatically generate composition tree whose leaf nodes correspond to services composition solutions,but also has better performance on execution time and solution quality by adopting two proposed optimization algorithms.; 王俊丽丁志军侯玉兵; 关键词：WEB服务组合优化算法

Web服务流程的结构范式及其判定算法被引量：8: 2015年; 服务组合是一种利用已有Web服务构建新的增值服务的有效方法,然而当前缺乏对组合产生的服务流程进行结构健壮性层次划分和判定的准则.针对上述问题,提出Web服务流程结构范式,从路径的可达性和结构冗余性两个角度将结构范式划分为四个层次.基于逻辑Petri网建模服务流程为服务网,将服务流程结构范式的判定转化为对服务网组成结构的分析.在服务网的基础上构建控制流网,从而将服务流程中的控制流和数据流进行分离.定义了控制流网语言,并提出一种通过约简求解控制流网语言的方法.通过对控制流网语言中字符序列组成结构特征的分析,获取服务网的结构性质,完成对服务流程结构范式层次的判定.给出了服务流程结构范式的定义、判定定理以及算法,并通过实例验证了文中方法对流程结构范式进行判定的可行性和有效性.; 胡强杜军威杜玉越; 关键词：WEB服务服务网健壮性

国家重点基础研究发展计划(2010CB328101)

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

国家重点基础研究发展计划(2010CB328101)

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈