云计算环境下基于Petri网的流程计费模型

Process Billing Model Based on Petri Net in Cloud Computing Environment

通过分析云计算环境下服务模块流程组合的动态性,运用随机Petri网进行动态流程建模与追踪,给出了分层计费体系下的流程计费模型,使用Petri网对该计费流程进行建模分析和设计,便于云服务提供商实现基于状态的计费控制,从而优化计费策略.实现了云计算基于过程模型的服务计量,并根据该模型进行相应定价,用户即可按需付费.通过应用实例验证了该计费方法的有效性和可操作性,为云服务提供商计费决策提供了技术支撑.

Billing is a key function in the commercialization of cloud service, the service can be meas- ured effectively by billing according to the demand of users. Analyzing the dynamic nature of process combination of service modules in cloud computing environment, the process billing model of hierarchical billing system is established based on modeling and tracking of dynamic process by stochastic Petri nets. Furthermore, in order to realize the billing control of cloud service providers based on state and optimize billing policy, the billing process of this system is analyzed and designed by Petri nets. Thus, the service measurement of cloud computing based on process model is achieved, and its corresponding pricing by this model can be made to realize billing according to the demand of users. Finally, the effectiveness and maneuverability of the billing model is verified by experiment, so the model can be used to support the billing decision of cloud service provider.