软件演化的研究对于延长软件生命周期、提高软件对新环境的适应能力以及降低软件运行成本有着重要的意义。但是,现有软件演化技术还存在如何预先推导变更的结果及其影响范围和如何设计灵活的演化计划和处理机制等的问题。针对这些问题,论文将工作流引入软件演化领域。这样做既可以将若干演化操作进行组合,以便于完成更复杂的软件演化;又可以对演化操作工作流进行分析,以便于对软件演化结果的判断以及对软件演化操作工作流的优化。论文基于图变换理论,使用带属性类型图来描述时间与资源工作流模型,并使用图变换技术,设计一个图变换规则集来实现工作流过程模型的建立。为了使所得到的工作流模型能更好的适用于软件演化,论文利用图规约的办法进行工作流过程模型正确性分析,保证了所得到的工作流模型在结构上的正确性;设计了一组图变换规则,以实现工作流过程模型的时间截止性分析和时间约束性分析;在总结前人的基础上提出了一套工作流过程模型可调度性分析的办法。最后,论文实现了软件演化工作流建模与分析工具。并利用该工具实现了数字电视条件接收系统的软件演化工作流建模,并对其进行了正确性分析、时间截止性分析、时间约束性分析及可调度性分析。实例分析表明,论文提出的基于图变换的软件演化工作流建模与分析的方法是行之有效的。