基于Petri网的语义Web服务组合模型

针对现有的语义Web服务组合的描述语言本身缺乏明确的操作语义,无法准确的描述其组合流程的问题,就此提出了一种基于Petri网的语义对Web服务组合流程进行形式化建模的方法,并通过实例验证了该方法的有效性和可行性.     

一种Web服务组合模型合理性验证方法

为了更加有效地对Web服务组合进行分析验证,设计BPEL到PNML语言的文件转换规则,实现Web服务组合流程的Petri网建模。针对Web服务组合流程设计中可能存在死锁及不正确的流程,在不破坏原Petri网模型结构性质与系统行为的基础上,将其调整映射为自由选择网。在自由选择Petri网理论基础上,设计了一种Web服务组合Petri网模型的合理性验证规则,能在多项式时间内分析网模型的结构活性与有界性,从而避免采用传统的可达树等分析方法出现的状态空间爆炸问题。最后,使用两个具体的Web服务组合Petri网模型证明了本文方法的有效性。     

基于Petri网的Web服务动态组合

基于Petri网技术提出了一个Web服务模型,针对电子商务中的Web服务进行动态组合,形成复杂的业务服务. 给出了一种实现方案,分析了活动图的生成过程、任务指派、服务绑定等关键技术.     

Web服务组合的层次化建模

目的形式化地描述Web服务组合流程,为更好地使用工具和现有方法验证以及测试Web服务组合奠定基础。方法用有色Petri网对BPEL的每种活动建模,分析BPEL中、、和几种活动的共同作用,分析BPEL流程的错误处理机制和补偿机制;从网资源流动的角度完善现有的层次化有色Petri网定义,将BPEL流程的层次关系映射成层次化有色Petri网的层次关系。结果完善了层次化有色Petri网定义,提出了Web服务组合的层次化建模方法。结论层次化构建Web服务组合模型是一种可以用于大型BPEL流程的方法,所构建的模型有利于从抽象层面和细节上分析Web服务组合。     

基于Petri网的Web服务组合优化方法研究

在实际应用中,需要将各种W eb服务进行组合和集成以创建动态W eb应用。为了使服务组合性能最优,提出一种W eb服务组合优化算法,该算法在满足用户需求的同时,根据已有的W eb服务,自动获取性能最优的服务组合方案。利用Petri网进行建模,采用可达图进行分析,通过提取网中变迁之间以及变迁序列之间的各种并发关系,得到费用最廉的组合结构。     

开放环境下Web服务组合研究述评

开放环境下用户的服务请求往往与现有web服务存在差异，要满足用户的服务请求，需要对现有Web服务重新进行组合。从Web服务组合的构件块、服务组合类型与服务组合的生命周期、服务组合模型、服务组合机制四个方面，对当前的Web服务组合技术进行介绍与分析。     

基于Petri网的Web服务组合分析方法

为提高Web服务组合的运行效率,提出了基于有色Petri网的Web服务组合网系统概念,用于Web服务组合的建模和性能分析.以电子资源跨库查询过程为实例,构建实例的理想模型和缓存限制模型.模型支持Web服务组合协调节点间的网络延迟、数据依赖、控制依赖等因素.基于CPN Tools仿真平台,验证了模型的正确性,并在仿真实验中监测了查询延迟、查询成功率、缓存占用率等指标.结果表明,实施缓存限制策略前后,分布式模型比集中式模型均有更好的性能.     

独立全局约束的Web服务组合模型的验证与分析

利用Petri网的分析方法对独立全局约束服务组合模型的正确性和可靠性进行科学的验证.首先根据该模型中约束条件的特点,对变迁t的发生规则改进后利用可达树的方法来验证模型的正确性.然后通过构造服务组合的可靠性验证图来检验模型的可靠性,最后通过一个实例分析了具体的验证过程,并说明该方法是可行的.     

基于语义Web服务组合的旅游调度问题研究

运用了一种基于语义Web服务组合的方法来解决web服务组合问题.首先,用户的需求被建模为一组事实和目标的子句,并基于Horn子句的形式化模型进行阐述.然后,用Petri网来建模一个Horn子句集,并且检测满足用户需求的组合服务的存在性.最后,通过一个旅游计划安排案例来验证本文提出方法的合理性.     

广义随机Petri网下的组合Web服务建模与评价

为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则和转换方法,然后针对得到的GSPN模型,采用S-不变量、T-不变量,通过可达性等分析方法验证OWL-S过程模型的正确性,最后构造与GSPN同构的马尔可夫链,并根据其稳定状态概率进行系统性能评价.经数学工具验证结果表明,所建模型是正确、可靠的,并发现了组合服务中的瓶颈.所提方法可支持组合Web服务的重建、优化和决策.     

旅游信息服务组合的Petri网建模及其实现

目前,用户查找旅游相关信息还缺乏一个有效的自动化信息服务整合工具.本文根据用户提供的出行时间、目的地、出行方法等信息,利用Petri网建立了一个旅游信息服务组合模型.该模型较全面地刻画了旅游相关信息的Web服务组合流程.原型系统的实现直观地说明了该模型是有效的.     

基于Petri网的语义Web服务组合方法

Web服务的自动组合是一个具有挑战性的任务,因为独立开发的Web服务相互组合并不都是兼容的。为了解决Web服务之间的异质性和提高Web服务组合的质量,文中提出了一个基于语义Web服务组合的的新途径,它广泛应用Petri网和本体。文中构建一个语义Web服务组合框架,该框架中扩展其本体内知识领域和建立了交互式Web服务的Petri网模型,该模型并结合本体配有调解能力。最后用一个具体实例验证Web服务组合的办法是可行的。     

P2P环境下的Web服务

介绍了当今电子商务界的两大热点技术——Web服务和P2P。在P2P计算平台上构建Web服务是一种较理想的Web服务实现方案,可利用P2P的优势高效地实现服务的集成及资源的自治,从而大大降低企业构建、维护信息系统的成本。文章提出了一种基于P2P环境的Web服务架构,并规划设计了该架构中Web服务的有效工作方式。该服务架构不仅可以高效地提供Web服务,还保证了系统的健壮性。     

基于约束程序的变迁约束可达问题判定研究

在分析各种可达分析方法求解变迁约束可达问题不足的基础上,采用约束程序的办法,针对变迁约束进行约束模型构造和算法研究.该约束模型构造的算法充分利用了T_向量提供的信息,对可达图进行展望搜索,实例验证表明,算法在多Token、多并发、大最大步集的情况下,将大大减少对不相关分支的搜索,并使变量(解)快速逼近于T_向量U.     

基于Petri网的语义Web服务过程模型匹配算法研究

为了在服务发现中提高效率及准确率,在服务匹配过程中引入了服务执行状态的变迁等因素即服务的过程模型。而Petri网能够把Web服务的过程模型进行形式化描述．在服务发现中引入Petri网,通过Petri网描述web服务的过程模型,再对Petri网进行语义标注,最后通过计算过程模型的相似度来实现基于Petri网的语义Web服务发现匹配．这种方法结合现有采用功能性参数匹配的语义web服务发现对提高服务发现率,尤其对改善服务发现准确率起到了一定的作用．     

一种支持QoS约束的Web服务质量模型

为了满足在组合Web服务中提供服务质量支持，提供有保证的QoS（Quality of Service）的需要，以及针对目前在组合服务中，很少提供对服务质量支持的问题，建立了一个Web服务质量的模型．该模型为所有服务建立了一系列的质量指标，并对它们进行量化，得到量化值．最后在此模型的基础之上，在组合服务中建立了一个服务质量驱动的服务选择机制，从而可以实现所有在组合服务中的服务都是最优的．已经基于Microsoft．NET实现了一个原型系统．     

基于Agent的Web服务组合研究

提出了一个基于移动Agent的服务组合框架（MAWSCF）。引入计划（P）,用于描述Agent的逻辑行为,同时给出了过程匹配规则,将组合规范转换为P。在运行过程中,行为匹配算法将P解释为Agent的物理行为,从而实现组合服务任务。MAWSCF使用对等计算（P2P）的模式克服了传统服务组合系统中心控制的性能瓶颈,Agent通过克隆能够并行的执行目标组合任务中的多个分支,大大提高了效率,也有效地降低了网络的负荷。     

QoS敏感的服务组合动态配置研究

针对静态配置的Web服务组合系统无法适应组件服务QoS的动态变化,以及对易错环境缺乏自适应性和不能反映系统不断演进特征的问题,提出了一种QoS敏感的服务组合系统动态配置方法.通过扩展Petri网对服务依赖关系进行建模,形成一个形式化的系统配置方案;利用无循环依赖关系验证算法和最终状态合法性验证算法验证了系统配置方案的正确性;提出了一种最优配置选择算法以选取具有最优QoS的服务配置.仿真实验对比了动态配置、静态配置和随机配置对用户服务请求满意度的影响,结果表明,所提建模方法和相应算法能大幅改善组合服务的QoS.     

基于自适应蚁群的实时Web服务组合算法

针对实时环境中可靠的传输问题,要考虑数据传输路径上的时间消耗,但是又要考虑服务组合结果的可靠性,提出了适应于Web服务的改进蚁群算法,该算法适合在复杂的服务路径中寻找稳定性高的最优路径,使服务组合的结果快速地向着高稳定的方向进行.     

基于服务元组链的Web服务组合方法

提出一种描述Web服务的关系模型, 通过引入空服务和 服务元组的概念, 采用基于服务元组链的Web服务组合方法, 解决了基于服务链的Web服务组合方法只能处理顺序关系的组合问题, 应用该方法既能处理顺序关系的组合问题, 又能处理多个后继服务或前驱服务都需要被组合的并发关系组合问题.