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

Vo l. 31 No.6 第 31 卷第6 期 应用科学学报 JOURNAL OF APPLIED SCIENCES - Electronics and Information Engineering Nov.2013 2013年11 月 D01: 1O.3969jj .issn.0255-8297.2013.06 .ül3 Web服务组合系统扩展GSPN建模与化简规则 杨怀洲， 王学龙 西安石油大学计算机学院，西安 710065 摘 要=使用广义随机Petri 同 (generalized stochastic Petri net , GSPN) 对具有复杂时间约束信息的大规模 Web 服务组合系统进行建模时，模型难以直观理解，并且会造成状态空间爆炸.针对此问题提出一种扩展 GSPN 建模方法.将不同类型的时间约束信息分别施加于模型的位置、变迁和弧，可以简洁直观地表达系统复杂时间约束 信息.进而提出一组应用于扩展模型的化简规则，对模型中一些常用结构进行化简，克服了 GSPN 缺乏通用化简 方法以及难以在保留时间约束特征前提下进行化简的问题，减小了系统模型的状态空间.多种模型下的化简示例 表明，所提方法有效降低了系统性能分析的复杂度，适用于对大多数Web 服务组合系统进行快速性能分析 关键词: Webij~务组合:广义随机Petri网;化简;性能分析 中图分类号: TP311 文章编号: 0255-8297(2013)06-0633-10 Extended GSPN and Reduction Rules for Web Services Composition System YANG Huai-zhou , WANG Xue-long College of Computer Science, Xian Shiyou Universi旬， Xian 710065, China Abstract: The generalized stochastic Petri net (GSPN) model for large scale Web service composition system with complex timing constraints is usually hard to understand. System performance is difficult to analyze because of the explosion of state ap缸e. By associating different kinds of timing constraints to place , transition and 缸c respectively, an extended GSPN (EGSPN) model is presented to reflect such Web service composition system in a compact and comprehensible manner. Furthermore , to deal with the problem of lacking general reduction methods for GSPN and overcome the difficulty in preserving timing constraints in model reduction process , a set of reduction rules are presented to facilitate the model re