云计算编程模型的形式化描述方法研究

【摘要】云计算作为一种新型商业计算模型，引起学术界和产业界的重视。云计算的基础设施以分布式商用服务器为主，为便于程序开发人员快速实现软件产品开发，引进了并行编程模型的概念。并行编程模型是云计算研究领域中的重要课题。为进一步完善云计算领域中编程模型研究，弥补当前研究的不足，充分发挥编程模型在云计算领域中的优势和作用，使得云计算技术能够被广泛应用于科学研究和各个行业，促进科技进步和国民经济的发展，本文提出了一种对云计算编程模型进行理论分析的分层形式化描述方法。通过采用Haskell和CSP两种形式化描述方法，对具有代表性的编程模型Map-Reduce-Merge进行形式化描述。本文利用Haskell语言作为描述工具对Map-Reduce-Merge编程模型的并行编程功能进行了清晰的描述，并基于该描述结果重点分析了Map-Reduce-Merge模块各部分的功能和特点，对后续研究更加有效的处理关系运算的编程模型提供了理论依据。本文利用CSP作为描述工具对Map-Reduce-Merge编程模型各模块间的进程通信进行形式化描述，并基于该描述结果重点分析Map模块，Reduce模块和Merge模块之间的进程通信功能。
【作者】刘冬清；
【导师】张长海；
【作者基本信息】吉林大学，计算机软件与理论，2014，硕士
【关键词】云计算；编程模型；通讯顺序进程；函数式语言；形式化描述；

【参考文献】
[1]周溪.2-芳基-4-取代吗啉的合成[D].湖南大学,药物化学,2011,硕士.
[2]闫阳.产业集群升级导向与企业绩效关系研究[D].燕山大学,管理科学与工程,2013,硕士.
[3]赵晨光.永磁同步发电机及在混合动力汽车中的应用研究[D].广东工业大学,控制理论与控制工程,2013,硕士.
[4]赵鑫屏.我国网上银行业务风险的法律防范[D].兰州商学院,经济法,2013,硕士.
[5]胡桂香,骆成才,潘善飞,蒋勇军,邹建卫.采用QSPR模型预测手性二芳基甲烷衍生物保留因子与分离因子(英文)[J].物理化学学报,2015,01:73-82.
[6]杨艳琴.二语习得中代词和反身代词不对称习得研究[D].宁波大学,外国语言学及应用语言学,2014,硕士.
[7]田永强.茶多酚硬脂酸酯凝胶剂的制备及质量控制研究[D].湖北中医药大学,药剂学,2013,硕士.
[8]刘建宇,胡晓红.客运专线GSM-R系统无线覆盖设计方案探讨[J].铁道通信信号.2007(01)
[9]王玲.黄石市驾驶员培训超市应用研究[D].武汉纺织大学,工商管理（专业学位）,2013,硕士.
[10]黄年龙.智能检测仪中微弱信号处理方法的研究[D].南京理工大学,电路与系统,2013,硕士.
[11]陈铁军,邱祖廉.链预估器及其应用[J].自动化学报,1992,03:290-296.
[12]刘天佑,陈国新.海磁日变资料的处理[J].石油地球物理勘探,1987,04:454-460.
[13]胡鹏.ERP项目实施对企业组织变革和流程变革的影响研究[D].苏州大学,工商管理（专业学位）,2014,硕士.
[14]王瑞苗.活血化浊胶囊对小鼠急性肝损伤的保护作用[D].青海大学,中西医结合临床,2014,硕士.
[15]冯豫华,彭明.基于数据仓库的社保DSS研究[J].江西广播电视大学学报,2004,03:44-46.
[16]臧瑞杰.论威尔逊政府的对美经济政策[D].河北师范大学,世界史,2012,硕士.
[17]刘娜.叙事教学在幼儿生命教育中的应用研究[D].山东师范大学,学前教育学,2013,硕士.
[18]董晨.优秀游泳运动员赛前监控的实验分析[D].西安体育学院,运动训练,2013,硕士.
[19]孟青.汉画西王母图像的民俗文化研究[D].江苏师范大学,艺术学,2013,硕士.
[20]张佳慧.现代汉语疑问代词任指用法研究[D].渤海大学,汉语言文字学,2014,硕士.
[21]李志.Si基Ge沟道MOSFET阈值电压模型研究[D].西安电子科技大学,微电子学与固体电子学,2012,硕士.
[22]孔荣梅.基于纳米金和酶切信号放大的生物传感分析方法及应用研究[D].湖南大学,2011.
[23]王翔宇.甘肃省线性工程地质灾害风险评价[D].兰州大学,地质工程,2013,硕士.
[24]郭黄欢.太阳能直接再生固体除湿床的性能研究[D].广东工业大学,市政工程,2013,硕士.
[25]刘林杰.当归活性组分阿魏酸的电化学分析研究[D].兰州大学,2014.
[26]卢奕.沈阳师范大学网络教学综合平台学习支持服务的研究[D].沈阳师范大学,教育技术学,2014,硕士.
[27]杜懋江.TD-HSDPA网络性能与组网策略研究[D].西安电子科技大学,电子与通信,2009,硕士.
[28]马洁.Euler弹性修复模型及其Split Bregman快速算法[D].青岛大学,计算机应用技术,2013,硕士.
[29]尧红.基于有限元强度折减法对岩质边坡稳定性的研究[D].河北工程大学,岩土工程,2012,硕士.
[30]孙晓琳.“民间”的显现及其创作意义[D].广西民族大学,中国现当代文学,2013,硕士.
[31]赵锐.焊接残余应力的数值模拟及控制消除研究[D].大连理工大学,2006.
[32]姚超,高国生,林西平,杨绪杰,陆路德,汪信.硅烷偶联剂对纳米二氧化钛表面改性的研究[J].无机材料学报,2006,02:315-321.
[33]郝咪.掺杂ZnO光催化剂的制备及其降解有机废水的研究[D].北京化工大学,化学工程与技术,2013,硕士.
[34]王传臣.数字出版业和传统业共生模式的供应链建模与优化[D].北京交通大学,2013.
[35]刘朝明,文志云.上海轨道交通六号线工程风险远程监控管理初探[J].岩土工程界,2005,12:74-75.
[36]魏峰.双蒸发器动态冰蓄冷机组的研究[D].重庆大学,动力工程及工程热物理,2014,硕士.
[37]卢石.大连开发区外企女性再就业问题与对策研究[D].大连理工大学,工商管理,2003,硕士.
[38]熊文新.信息检索的嬗变[J].软件世界,2004,11:70-72.
[39]白秀兰.社会工作视角下的蒙古族空巢老人问题[D].内蒙古师范大学,社会工作（专业学位）,2013,硕士.
[40]王烨.辣椒游离小孢子培养及其显微观察[D].中国农业科学院,蔬菜学,2004,硕士.
[41]谷敏颍.对交变电场下液晶相变的研究[D].北京邮电大学,光学,2013,硕士.
[42]汪运昌.堆叠封装（PoP）结构中芯片热翘曲变形的研究[D].西安电子科技大学,机械电子工程,2012,硕士.
[43]黄翠芳.右旋美托咪定对压力反射感受敏感性的影响[D].广西医科大学,麻醉学（专业学位）,2013,硕士.
[44]江深哲.名义量下的银行挤兑模型[D].南开大学,金融学,2010,硕士.
[45]金澄.空与幻：村上春树小说创作中的“幼儿文学”[D].山东大学,比较文学与世界文学,2013,硕士.
[46]瞿露.太阳能电池板生产过程污染控制及治理技术研究[D].清华大学,环境科学与工程,2013,硕士.
[47]吉建明.白山黑水间的大地歌者—论迟子建小说的“民间性”特征[D].河北师范大学,中国现当代文学,2014,硕士.
[48]马卫国,邵诚.网络控制系统随机稳定性研究[J].自动化学报,2007,08:878-882.
[49]肖颖.政府引导型并购基金的运行机制研究[D].北京交通大学,会计,2013,硕士.
[50]汪良.西汉的流民问题与乡里控制[D].南京师范大学,中国古代史,2012,硕士.