恢复模块在备份系统中占有举足轻重的地位。恢复模块的设计既要求考虑到通用性，又要求能够适应千差万别的流程。所以在设计企业级的备份软件时，恢复代理程序的开发工作量非常巨大，繁琐且容易出错。本文针对备份恢复领域的这一问题，建立了一个基于有向图的通用恢复模型，从而大大提高了恢复模块设计的通用性，并极大的减轻了恢复代理程序开发的工作量。 首先，本文以实际的备份系统NetBunker为基础，对现有的工作加以总结，并在分析了Oracle，SQLServer，Linux文件系统等恢复过程之后，归纳出其在数学上的性质，对恢复过程的诸多常见的概念，术语给出了形式化定义，从而为恢复流程建立了一个基于有向图的通用理论模型，进而在此模型上讨论了恢复的状态迁移方程。 随后在两个方面对该模型进行了扩展：1.通过引入故障树的方法，并在分析了恢复流程故障诊断与传统故障诊断的差异之后，总结出恢复流程的故障诊断就是一个基于有向图和故障树进行回溯的过程；2.基于有向图模型建立了一个有穷自动状态机，为自动恢复与模型的实现提供了理论基础。 最后以备份恢复代理接口的设计等实际问题为例，阐述了一个建立在ACE(ADAPTIVECommunicationEnvironment)基础上的有限状态机的代码框架，从而实现了有向图模型和故障诊断。此外，在此框架的基础上，给出了通用恢复代理的详细设计，包括了代理的组成，运行环境，工作机制等，并将其应用到了NetBunker系统中，使得先前阐述的问题在一定程度上得到了解决。