Web服务组合系统扩展GSPN建模与化简规则

发布时间：2018-05-06 02:42

本文选题：Web服务组合 + 广义随机Petri网　；参考：《应用科学学报》2013年06期

【摘要】：使用广义随机Petri网(generalized stochastic Petri net,GSPN)对具有复杂时间约束信息的大规模Web服务组合系统进行建模时,模型难以直观理解,并且会造成状态空间爆炸.针对此问题提出一种扩展GSPN建模方法.将不同类型的时间约束信息分别施加于模型的位置、变迁和弧,可以简洁直观地表达系统复杂时间约束信息.进而提出一组应用于扩展模型的化简规则,对模型中一些常用结构进行化简,克服了GSPN缺乏通用化简方法以及难以在保留时间约束特征前提下进行化简的问题,减小了系统模型的状态空间.多种模型下的化简示例表明,所提方法有效降低了系统性能分析的复杂度,适用于对大多数Web服务组合系统进行快速性能分析.
[Abstract]:It is difficult to understand the model of large-scale Web service composition system with complex time constraint information by using generalized stochastic Petri GSPN to model the system, and the state space explosion will be caused. To solve this problem, an extended GSPN modeling method is proposed. Different types of time constraint information are applied to the position, transition and arc of the model, which can express the complex time constraint information of the system concisely and intuitively. Then a set of simplification rules applied to the extended model is proposed to simplify some commonly used structures in the model, which overcomes the lack of a general simplification method in GSPN and the difficulty of simplifying under the premise of retaining the feature of time constraint. The state space of the system model is reduced. Examples of simplification under various models show that the proposed method can effectively reduce the complexity of system performance analysis and is suitable for fast performance analysis of most Web service composition systems.
【作者单位】：西安石油大学计算机学院;
【基金】：陕西省科学技术研究发展计划基金(No.2011K06-33) 西安市科学技术局工业应用技术项目基金(No.CXY1129)资助
【分类号】：TP393.09

【参考文献】