Page 41 - 《软件学报》2021年第10期
P. 41

乔嘉林  等:基于着色 Petri 网的 HDFS 数据一致性建模与分析                                            3013


                [18]     Aguilera-Mendoza L,  Llorente-Quesada  MT.  Modeling and simulation of Hadoop distributed file system in  a  cluster of
                     workstations. In: Proc. of the Model and Data Engineering. 2013. 112.
                [19]    Yang YF. HDFS data consistency modelling and analysis based on colored Petri net [Ph.D. Thesis]. Beijing: Tsinghua University,
                     2014 (in Chinese with English abstract).
                [20]     Petri CA, Wrote; Green CF Trans. Communication with automata [Ph.D. Thesis]. Information System Theory Project, Applied Data
                     Research Inc., Princeton N.J., 1966.
                [21]     Murata T. Petri nets: Properties, analysis and applications. Proc. of the IEEE, 1989,77(4):541580.
                [22]     Molloy MK. Performance analysis using stochastic Petri nets. IEEE Trans. on Computers, 1982,100(9):913917.
                [23]    Jensen K, Kristensen LM, Wells L. Coloured Petri nets and CPN Tools for modelling and validation of concurrent systems. Int’l
                     Journal on Software Tools for Technology Transfer, 2007,9(3-4):213254.
                [24]     Westergaard M, Kristensen LM. The access/CPN framework: A tool for interacting with the CPN tools simulator. In: Proc. of the
                     Applications and Theory of Petri Nets. 2009. 313322.
                [25]    Milner R. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 1978,17(3):348375.
                [26]    Cai B, Chen XP. Insider  of Hadoop Technology:  In-depth Analysis  of  Hadoop Common  and HDFS Architecture Design and
                     Implementation Principles. Beijing: China Machine Press, 2013 (in Chinese).
                [27]    Huang XD. The formal modeling and optimization for data partitioning and replica consistency in distributed storage systems [Ph.D.
                     Thesis]. Beijing: Tsinghua University, 2017 (in Chinese with English abstract).

                 附中文参考文献:
                 [16]  王峰,雷葆华.Hadoop 分布式文件系统的模型分析.电信科学,2010(12):9599.
                 [19]  杨义繁.基于着色 Petri 网的 HDFS 数据一致性建模与分析[博士学位论文].北京:清华大学,2014.
                 [26]  蔡斌,陈湘萍.Hadoop 技术内幕:深入解析 Hadoop Common 和 HDFS 架构设计与实现原理.北京:机械工业出版社,2013.
                 [27]  黄向东.分布式存储系统数据分区与副本一致性形式化建模与优化[博士学位论文].北京:清华大学,2017.



                              乔嘉林(1993－),男,学士,主要研究领域为                      王建民(1968－),男,博士,教授,博士生导
                              时序数据库,时序聚合索引,数据库副本                           师,CCF 高级会员,主要研究领域为大数据
                              技术.                                          与知识工程:非结构化数据管理,业务过程
                                                                           与产品生命周期管理,数字版权与系统安
                                                                           全技术,数据库测试技术.

                              黄向东(1989－),男,博士,助理研究员,CCF                    吴凯(1969－),男,高级工程师,主要研究领
                              专业会员,主要研究领域为数据库技术,大                          域为微特电机及控制电器专业,风力发电.
                              数据管理.




                              杨义繁(1989－),男,硕士,主要研究领域为
                              数据库.
   36   37   38   39   40   41   42   43   44   45   46