共查询到20条相似文献,搜索用时 62 毫秒
1.
2.
定义了服务簇的网元模型,提出了一种基于服务簇网元模型的Web服务发现方法.首先,通过计算Web服务的功能描述及参数的语义相似度,对服务库中的服务进行聚类;其次,对服务参数进行统一标注,建立服务簇的网元模型,并对服务簇参数矩阵进行规范化处理;最后,基于服务簇参数矩阵,实现服务快速发现.基于Petri网,首次提出了服务簇的形式化模型,并在此基础上进行了服务快速发现.结果表明,利用网元模型建模服务簇是有效的、合理的,并且与传统的基于参数匹配的服务发现相比,所提方法有效地减少了参数匹配次数,提高了服务发现效率. 相似文献
3.
4.
针对海量的语义Web 服务组合中如何提高搜索速度和获得最优组合的问题,提出了一种基于服务簇和服务质量(QoS)的快速组合方法。利用预先建立的服务簇进行服务搜索,可以有效缩小搜索空间,降低语义比较的复杂度,快速得到候选服务集合。组合过程中基于服务的最优组合QoS值动态确定阈值进行服务过滤,可以获得多个最优组合。同时采用高效的冗余处理方法保证组合中冗余服务最少,并采用服务簇内部过滤的方法限制候选服务数量,解决了因组合过多造成的运行超时问题。基于海量服务库进行实验,结果表明,服务搜索效率比普通搜索方法可提高几十倍,服务过滤和冗余处理效果明显,可快速获得多个QoS最优的无冗余组合,并且在百万级服务库进行大层次深度的组合时仍可保证良好的运行性能。 相似文献
5.
自组网是一种不需要任何基础设施的新型无线网络,分簇技术对于自组网的路由优化,能量保护和资源分配具有重要的作用,本文基于网格的思想,提出了一种新的分簇算法。它将全网地理住置用多个小六边形覆盖,再由其标号算法选举出簇头并对全网进行分簇,理论分析了此算法收敛速度快且分簇性能良好。 相似文献
6.
在基于聚类的Web服务中,同一服务簇中的服务在参数名称、参数数量和顺序方面不尽一致,具有参数不确定性的特点,导致参数匹配仍需要很大的工作量。因此提出一种基于逻辑Petri网的Web服务簇模型,将服务的参数集合表示为基于服务簇参数集的逻辑向量,建立了服务簇到各个服务的映射关系,实现对服务参数的统一管理。基于语义相似度的参数匹配仅在服务簇层进行,在服务簇内可以用位置向量直接定位参数,通过逻辑比较判断是否匹配,使得参数匹配的规模和计算复杂度大大降低,提高了服务发现效率。 相似文献
7.
8.
Web服务动态组合方式相较于静态组合方式拥有更高的灵活性和实用性,动态组合使服务在异常情况下可以被替换.文章通过对当前Web服务动态组合主要方法的实现原理与相关关键技术进行综合分析,比较得出各类方法的适用性及优缺点,并提出了Web服务动态组合的研究方向. 相似文献
9.
10.
流程结构演化是实现服务流程重构的一种有效手段,可以充分利用已有流程资源快速定制满足新业务需求的服务流程.然而,当前服务演化研究多关注于流程局部组成服务以及接口参数的兼容替换,对于流程结构演化所提供的操作过于简单,难以应对复杂流程演化场景.针对上述问题,提出一种基于逻辑Petri网的服务流程结构演化形式化描述方法.利用逻辑Petri网将服务流程建模为服务网,在服务网的基础上,针对不同的演化需求构建相应的结构演化运算;引入结构范式概念评价服务流程的结构健壮性,并借助逻辑Petri网的结构性质来分析与验证所建立的演化运算对流程结构范式的级别保持问题.给出了基于流程结构演化的服务流程定制框架,并基于所提出结构演化运算设计开发了仿真验证平台,验证了方法的有效性. 相似文献
11.
12.
CORBA为构建大规模分布式应用程序提供了一套公共对象服务规范.本文利用Petri网模型可表现系统分布、并发、异步等特性来描述CORBA事件服务,不仅能反映CORBA事件服务的静态行为,也反映其动态行为,为CORBA事件服务建立了形式化的模型. 相似文献
13.
14.
为了确保组合Web服务执行的可靠性,提出了基于Reference nets的Web服务组合方法。精确描述了Web服务的形式化语义,使用该方法对组合Web服务控制流的八种基本结构建立模型,并给出了建模步骤。结合应用实例使用Renew2.0.1建立组合服务模型并进行仿真,进一步验证了该方法的有效性。 相似文献
15.
语义Web服务组合的形式化描述与验证研究 总被引:1,自引:0,他引:1
Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证.本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的ServiceModel中8种基本的Web服务组合模式,利用这些组合模式可以构造出满足需求的组合Web服务.然后,对服务组合形式化模型的正确性分析和验证进行研究后,给出了组合模型语法正确性、可达性、活性和有界性的算法.最后,通过一个具体的建模实例展示了Web服务组合的Petri网建模. 相似文献
16.
介绍了Petri网的基本定义和对并发系统的描述.指出网格是完全异步并发的基础环境。分析了Web服务和网格资源是构造Petri网格的变化元素和状态元素,进而基于Web services标准和WSRF规范构造了Petri网格体系结构的层次模型,指出Petri网格应用就是构造Petri网模型实例。 相似文献
17.
18.
随机Petri网(SPN)是一种灵活有力的建模工具,在可信赖性研究方面已形成较为成熟的理论体系.采用SPN网对机群系统前端分配器及后端服务器进行建模,通过在系统建模时对前端分配器给予必要的修复保证,给出整个机群系统的SPN模型,在模型分析的基础上给出了机群系统的可信赖性参数,并对模型进行了仿真分析.仿真结果表明,在对关键系统前端分配器给予修复保证后,系统模型的稳态可用性将大大提高. 相似文献
19.
在新的面向服务的网格计算架构下,网格服务为Internet上的分布式计算提供了一种重要范例。对服务提供者和消费者来说,通过组装已有网格服务来创建新的增值网格服务的应用模式已经出现。网格服务的组合已经成为网格研究领域中的一个重要课题。由于可用网格服务的复杂性,许多网格服务表现出复杂的会话协议,要求其提供的操作能根据特定的规则进行调用。讨论了以下几个问题:(1)如何精确描述网格服务的会话协议;(2)如何建立组合规则来对选定的组件服务进行合成;(3)如何验证整个网格服务组合的正确性,尤其是被合并的组件服务的一致性和它们的会话协议。Petri网提供了描述并发系统同步的结构,高级编程语言提供了描述和操作数据值的结构,而颜色Petri网结合了Petri网和高级编程语言的表达能力。为了解决上述问题,提出了一个基于颜色Petri网的会话协议和网格服务组合模型,其使用颜色Petri网的带颜色的token来模拟业务流程的不同消息和事件类型,把服务的会话协议和网格服务组合过程转换为颜色Petri网(CPN),利用现有的CPN的专门工具(如CPN Tools)来对CPN进行模拟以分析评价系统的性能和行为性质。 相似文献
20.
针对TCP/IP网络存在的层间功能重叠、层次固定难于扩展和服务质量等方面存在的问题,服务元网络体系结构提供了一个高效简洁的解决之道[1]。服务元网络体系结构是一种非层次的网络体系结构,采用端到端的虚电路作为数据传输方式。针对这种独特的网络体系结构,提出了一种基于自适应延迟确认的滑动窗口协议改进算法,并使用着色Petri网验证了该算法的正确性、完备性和可行性。 相似文献