English

应用科学学报 ›› 2013, Vol. 31 ›› Issue (6): 633-642.doi: 10.3969/j.issn.0255-8297.2013.06.013

• 计算机科学与应用 • 上一篇    下一篇

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

杨怀洲， 王学龙   

  1. 西安石油大学计算机学院，西安710065
  • 收稿日期:2012-09-30 修回日期:2013-03-16 出版日期:2013-11-29 发布日期:2013-03-16
  • 作者简介:杨怀洲，博士，副教授，研究方向：服务计算、Petri网理论及应用等，E-mail：hzyang@xsyu.edu.cn
  • 基金资助:

    陕西省科学技术研究发展计划基金(No.2011K06-33)；西安市科学技术局工业应用技术项目基金(No.CXY1129)资助

Extended GSPN and Reduction Rules for Web Services Composition System

YANG Huai-zhou, WANG Xue-long   

  1. College of Computer Science, Xi’an Shiyou University, Xi’an 710065, China
  • Received:2012-09-30 Revised:2013-03-16 Online:2013-11-29 Published:2013-03-16

PDF

1180

摘要：  使用广义随机Petri 网(generalized stochastic Petri net, GSPN) 对具有复杂时间约束信息的大规模Web 服务组合系统进行建模时，模型难以直观理解，并且会造成状态空间爆炸. 针对此问题提出一种扩展GSPN建模方法. 将不同类型的时间约束信息分别施加于模型的位置、变迁和弧，可以简洁直观地表达系统复杂时间约束
信息. 进而提出一组应用于扩展模型的化简规则，对模型中一些常用结构进行化简，克服了GSPN 缺乏通用化简方法以及难以在保留时间约束特征前提下进行化简的问题，减小了系统模型的状态空间. 多种模型下的化简示例表明，所提方法有效降低了系统性能分析的复杂度，适用于对大多数Web 服务组合系统进行快速性能分析.

关键词: Web服务组合, 广义随机Petri网, 化简, 性能分析

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 apace. By associating different kinds of timing constraints to place, transition and arc 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 reduction of EGSPN for some model
structures in common use. The model state space is decreased via model reduction. Examples show that the presented method provides an effective way to reduce complexity of initial model. It can be used to rapidly analyze performance of the most Web service composition systems.

Key words: Web service composition, generalized stochastic Petri net, reduction, performance analysis

中图分类号: