高性能计算集群以及多核处理器在各应用领域的推广普及,使得并行计算技术的使用更加广泛了,但是并行程序设计的难度给并行技术的推广增加了难度。为了解决并行程序员频繁考虑底层细节的问题,国内外学者在面向并行程序的可视化建模领域进行了研究,并且已开发了相应系统来解决并行遇到的不同问题。然而在并行模型检验与代码框架的生成方面尚未有成熟的解决方案。ParaModel系统是一个可视化并行程序设计环境,致力于解决并行程序设计需要与底层频繁交互的问题。该系统通过提供并行计算常用的模型,以供并行程序设计者根据具体应用的需要进行修改,并对产生的模型进行检验进而生成可用的代码框架。本文工作重点在于对ParaModel系统模型检验与代码框架生成两方面的工作进行研究与设计。在模型检验方面,根据错误产生的阶段不同将模型检验分成三个阶段完成,每通过一个阶段的检验才能进入下一个环节的验证,以减少在错误模型上浪费精力的可能。在第三阶段逻辑检验后对消息传递的死锁问题进行了专门的研究,使生成的代码框架能够避免死锁的发生,确保任务按照设计顺利完成。在代码框架生成方面采用XML格式记录代码片段,并通过代码解析器来对其进行配置,生成需要的面向特定并行程序设计环境与语言的代码框架。系统采用Dom4j开源解析包作为解析代码框架的工具,其优良的性能满足了系统的可靠性和稳定性,并且方便的插入技术使得支持一门新的并行语言变成了一项轻松的工作,确保系统优秀的可扩展性。本文在上述设计方案基础上,通过Eclipse插件技术对ParaModel系统中的模型检验与代码框架生成组件进行实现,并且延续了ParaModel的可扩展性,增强了其可用性。