A generalized stochastic colored Petri net(GSCPN) and a Web service model based on GSCPN were proposed. QoS and data representations were realized in this model. Web service composition algorithms based on GSCPNs were proposed. A hierarchical method for GSCPN was proposed for reducing the complexity of a Web service model and mitigating the state explosion problem partly. Properties of composition operations were analyzed. Approaches of analyzing properties and QoS of the model were investigated.%给出了广义随机着色Petri网(GSCPN)和基于GSCPN的Web服务模型,实现了Web服务QoS和数据的表示,并给出了基于GSCPN的服务组合运算方法.用模型的层次化方法来降低模型的复杂性,一定程度上减轻了模型状态爆炸问题.分析了组合运算的性质,探讨了模型的性质和QoS分析方法.
展开▼