哈尔滨工程大学学报2016，Vol.37Issue(11)：1539-1545,7.DOI:10.11990/jheu.201509081
基于细胞膜演算的Dryad形式化描述
Formal description of Dryad based on membrane calculus
摘要
Abstract
Because the dryad programming model is not an open⁃source model, conducting research on this model is relatively scarce. This study provides an accurate and explicit formal description for the task performance of the dryad programming model by utilizing the advantages of membrane calculus on the aspect of describing the concur⁃rent system. This research also describes the fault⁃tolerant mechanism of the model. Accordingly, a real case is used to test the formalized description results. The formalized description method herein effectively enriches the theoreti⁃cal system of the programming model. The method also provides a basis for the task scheduling optimization. Simul⁃taneously, the method can be used as an auxiliary tool to verify the program correctness.关键词
云计算/编程模型/Dryad/细胞膜演算/形式化/有向无环图Key words
cloud computing/programming model/Dryad/cytomembrane calculation/formalization/directed acy-clic graph( DAG)分类
信息技术与安全科学引用本文复制引用
刘磊,刘丰,任俊绮,吕帅..基于细胞膜演算的Dryad形式化描述[J].哈尔滨工程大学学报,2016,37(11):1539-1545,7.基金项目
国家自然科学基金项目（61300049，61402195，61502197）；吉林省科技发展计划项目（20130206052GX，20140520069JH）． （）
