用形式化技术求河内塔的并行解

摘要

论文以求河内塔 (HanoiTower)问题的并行解为例 ,介绍了并行程序设计的一般方法和步骤。一种行之有效的方法是 ,先将复杂的问题和复杂的并行环境分离 ,仔细分析用户需求并进行形式化规格 ,求得正确的解 ,然后逐步求精 ,并保证在逐步求精的过程中不失去正确性 ,最后阶段再得到可以运行的并行程序。