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

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

广义随机Petri网及性能分析

对Petri网理论在性能评价领域的应用进行了研究,在介绍广义随机Petri网(GSPN,generalized stochastic petri net)及其分析技术的基础上,探讨了如何利用GSPN对系统进行建模及性能分析。针对典型的双处理机系统的吞吐量和资源利用率问题,建立了双处理机系统的GSPN模型,利用随机Petri网与马尔可夫链的同构关系,得到了GSPN模型稳定的状态空间及各状态出现的概率,进而探讨了双处理机系统的吞吐量和利用率等性能指标。通过TimeNet工具对所建立的模型进行仿真实验,验证了模型的有效性,为吞吐量和利用率的提高提供相关依据。

物元分析方法在通信网可靠性评价中的应用

本文主要研究物元分析方法在通信网可靠性评价中的应用，首先应用物元变换方法对通信网可靠性评价的研究思路进行了转换，提出了分析可靠性增长与通信网发展的相关适应性的物元评价方法。这种方法的应用在实际中显示出较好的效果。

基于GSPN的Web服务组合与性能分析

针对Web服务组合过程缺乏有效的性能评价方法的问题,提出一种利用广义随机Petri网(GSPN)进行组合过程建模的方法,该方法能够表达组合过程,并对组合过程所含的增值业务系统进行多方面的系统性能评价,可实现的评价指标包括系统平均响应时间、单一组件服务的利用率、系统的吞吐率等,将其应用于一个典型的旅行计划场景建模中。仿真实验结果表明,建模后的系统能进行多种性能评价。

一种限制输入缓存器的分析方法

提出了一种限制输入缓存器方案的广义随机Petri网模型 ,并给出了可达图及MC ,从而可描述、分析限制输入缓存器方案的入口模式。通过比较无控制方式和输入缓存区限制模式 ,给出了这两种控制机理的性能指标 ,说明了限制输入缓存器方案可以控制和防止拥塞的发生 。

基于GSPN的工作流模型性能评价方法与应用

广义随机Petri网因其具有坚实的理论基础、强大的分析功能和易于表达的图形化方式,在工作流模型性能评价领域应用越来越广泛。论文着重讨论了基于广义随机Petri网的工作流模型性能评价的技术和方法,对于其分析过程中涉及的问题,尤其是广义随机Petri网的等价化简问题,进行了详细的阐述。文章最后结合一个应用实例“全国高等教育网上阅卷系统”对建模和分析评价过程进行了说明。

基于GSPN的数据中心动态能耗管理研究

随着云数据中心的大规模应用,其高能耗、高污染等问题日益突出。围绕数据中心的动态能耗管理(DEM,Dynamic Energy Management)问题,提出了一种基于广义随机Petri网(GSPN,Generalized Stochastic Petri Nets)的DEM建模、求解与分析的系统性能评价框架。该框架综合考虑了多种任务调度策略的联合应用与服务器工作模式的动态调整,设计了合理的能耗优化策略,在保证系统服务质量(Qo S,Quality of Service)的同时,降低了数据中心能耗。仿真实验表明,所建立的性能评价框架,在不同系统负载下,可实现最佳任务调度策略的动态选择和服务器工作模式的动态切换,相较于随机调度策略,所提出的均衡调度策略和集中调度策略,分别可降低28%和43%的能耗。

基于GSPN的Web服务组合建模与评价

如何利用广义随机Petri网对WS-BPEL描述语言进行建模、验证以及评价,进而实现对Web服务组合过程可靠性和性能的分析,一直都是领域研究中的难点和热点。首先,给出WS-BPEL业务流程到GSPN的映射规则和转换方法;并通过对GSPN模型进行可达性和不变量分析,实现对WS-BPEL业务流程正确性的验证;然后,借助构造与GSPN模型同构的马尔可夫链,完成对系统性能的分析;最后,以某实例为分析对象,对模型的正确性和有效性进行了验证。

广义随机 Petri 网用于计算机网络的 SNA 窗式控制

给出了计算机网络的ＳＮＡ窗式控制的广义随机Ｐｅｔｒｉ网模型以及可达图，从而可描述分析ＳＮＡ的窗式控制机理，并进一步介绍了极限情况下窗式控制机理的分析方法，比较了三种窗式控制机理的性能指标。