%0 Journal Article
%T 基于细胞膜演算的Dryad形式化描述
%A 刘磊
%A 刘丰
%A 任俊绮
%A 吕帅
%J 哈尔滨工程大学学报
%D 2016
%R 10.11990/jheu.201509081
%X 由于Dryad编程模型的实现并不开源，导致关于Dryad编程模型的理论研究较为缺乏。本文利用细胞膜演算在描述并发系统的优势，对Dryad编程模型中任务执行过程进行了准确清晰的形式化描述，并对Dryad编程模型的容错机制进行了描述，最后通过一个实例检验了形式化描述结果。本文的形式化描述方法有效地丰富了编程模型的理论体系，为编程人员提供了任务调度的优化依据，同时该形式化描述还可作为验证程序正确性的辅助工具。
%K 云计算
%K 编程模型
%K Dryad
%K 细胞膜演算
%K 形式化
%K 有向无环图
%U http://heuxb.hrbeu.edu.cn/oa/darticle.aspx?type=view&id=201509081