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

doi:10.13190/jbupt.201301.31.huangwd

北京邮电大学学报 ›› 2013, Vol. 36 ›› Issue (1): 31-35.doi: 10.13190/jbupt.201301.31.huangwd

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

^{黄卫东, 于瑞强}

南京邮电大学科技处, 南京 210046

收稿日期:2012-09-29 修回日期:2012-10-29 出版日期:2013-02-28 发布日期:2013-01-19
通讯作者: 黄卫东 E-mail:huangwdj@vip.sina.com
作者简介:黄卫东（1968-），男，教授，博士，E-mail：huangwd@vip.sina.com
基金资助:
国家自然科学基金项目（71171117）：江苏省自然科学基金项目（BK2010524）

Process Billing Model Based on Petri Net in Cloud Computing Environment

HUANG Wei-dong, YU Rui-qiang

Science and Technology Office, Nanjing University of Posts and Telecommunications, Nanjing 210046, China

Received:2012-09-29 Revised:2012-10-29 Online:2013-02-28 Published:2013-01-19
Contact: Wei-Dong HUANG E-mail:huangwdj@vip.sina.com

摘要/Abstract

摘要：

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

关键词: 云计算, 计费, 随机Petri网, 服务流程

Abstract:

Billing is a key function in the commercialization of cloud service, the service can be measured 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.

Key words: cloud computing, billing, stochastic Petri net, service process

中图分类号:

TP311

黄卫东于瑞强. 云计算环境下基于Petri网的流程计费模型[J]. 北京邮电大学学报, 2013, 36(1): 31-35.

HUANG Wei-dong, YU Rui-qiang. Process Billing Model Based on Petri Net in Cloud Computing Environment[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2013, 36(1): 31-35.

参考文献

[1] Park Ki-Woong, Park Sung Kyu. THEMIS: towards mutually verifiable billing transactions in the cloud computing environment//2010 IEEE 3^rd International Conference on Cloud Computing. USA: IEEE, 2010: 139-147.
[2] Buyya R, Arramson D. Economic models for resource management and scheduling in grid computing, special issue on grid computing environment [J]. Journal of Concurrency and Computation: Practice and Experience, 2002(14): 1507-1542.
[3] Barmouta A, Buyya R. GridBank: a grid accounting services architecture (GASA) for distributed systems sharing and integration // Proceedings of the 17^th Annual International Parallel and Distributed Processing Symposium. Nice: IEEE Computer Society, 2003: 245-256.
[4] 吴俊,徐溟. 公有云服务计费模式比较研究[J]. 电信科学,2012(1): 127-131. Wu Jun, Xu Ming. A comparative analysis on the billing model of public cloud service[J]. Telecommunications Science, 2012,(1): 127-131.
[5] Erik Elmroth, Fermn Galan Marquez, Daniel Henriksson, et al. Accounting and billing for federated cloud infrastructures// 2009 8^th International Conference on Grid and Cooperative Computing. Lanzhou: IEEE, 2009: 268-275.
[6] Qin Yuan, Liu Zhixiang. A leasing instances based billing model for cloud computing [J]. Computer Science, 2011 (6646): 33-41.
[7] 陈红,任怡,刘晓建. 云计算平台下计费机制研究[J].计算机科学, 2011, 38(8): 48-52. Chen Hong, Ren Yi, Liu Xiaojian. Research of billing mechanism based on cloud computing platform[J]. Computer Science, 2011, 38(8): 48-52.
[8] 高篙,欧阳昱,刘玉树. 工作流模型的有向图表示及基于Petri网的验证方法[J]. 计算机仿真,2004,21(6): 182-184. Gao Song, Ouyang Yu, Liu Yushu. Workflow model expression by directed graph and verification based on Petri net[J]. Computer Simulation, 2004, 21(6): 182-184.
[9] 林闯,张元生. 基于随机高级Petri网的ATM网络接纳控制过程模型[J].通信学报, 1998, 19(12): 1-7. Lin Chuang, Zhang Yuansheng. Modeling ATM admission control procedures using stochastic high level petri nets[J]. Journal on Communications, 1998, 19(12): 1-7.

[1]	张志华, 王梦情, 毛文涛, 刘春红, 程渤. 基于时序相关性的云平台多负载序列联合预测[J]. 北京邮电大学学报, 2020, 43(4): 68-75.
[2]	尹学渊, 陈兴蜀, 李辉, 陈林. 一种基于虚拟化的文件杀毒实现方法[J]. 北京邮电大学学报, 2018, 41(2): 50-55.
[3]	朱晓宁, 孙斌, 朱春鸽. 大规模云资源可靠性评价模型[J]. 北京邮电大学学报, 2017, 40(s1): 53-57.
[4]	徐九韵, 管超, 江丹. 一种面向信誉主观性和时变性的云服务信任管理方法[J]. 北京邮电大学学报, 2017, 40(5): 30-35.
[5]	刘靖, 吴海博, 王少帅, 贾垒. 着色Petri网模型驱动的云测试生成方法与实现[J]. 北京邮电大学学报, 2016, 39(5): 89-93,115.
[6]	肖丁, 贾亚璞, 石川. 云计算环境下的非线性能耗建模方法[J]. 北京邮电大学学报, 2016, 39(1): 107-111.
[7]	郭力争, 张翼飞, 赵曙光. 数据中心环境下能耗性能感知的优化方法[J]. 北京邮电大学学报, 2015, 38(s1): 72-76.
[8]	徐鹏, 杨婧媛. 支持推荐应用的PaaS平台4A能力组件[J]. 北京邮电大学学报, 2015, 38(s1): 98-102.
[9]	于俊洋, 胡志刚, 刘秀磊. HDFS平台上以能效为考量的小文件合并[J]. 北京邮电大学学报, 2015, 38(6): 34-38.
[10]	武斌, 林幸, 李卫东, 芦天亮, 张冬梅. 云计算下手机人工免疫恶意代码检测模型[J]. 北京邮电大学学报, 2015, 38(4): 34-38.
[11]	王婷, 许可, 王娜, 宋俊德. 云计算环境下可扩展的服务器优化选择策略[J]. 北京邮电大学学报, 2014, 37(s1): 83-86.
[12]	乔媛媛, 刘芳, 凌艳, 尹劲松. 云计算环境下MapReduce的资源建模与性能预测[J]. 北京邮电大学学报, 2014, 37(s1): 115-119.
[13]	吴旭, 许晋, 李春文, 刘川意. IaaS云虚拟机eID可信验证系统[J]. 北京邮电大学学报, 2014, 37(5): 85-90.
[14]	柳兴, 袁超伟, 杨震, 胡仲伟. 移动云计算中基于移动代理的用户切换与接入控制[J]. 北京邮电大学学报, 2014, 37(2): 88-92.
[15]	宋杰, 李甜甜, 闫振兴, 朱志良. 数据密集型计算中负载均衡的数据布局方法[J]. 北京邮电大学学报, 2013, 36(4): 76-80.

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

Process Billing Model Based on Petri Net in Cloud Computing Environment

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价