在软件项目开发中,软件项目管理对软件项目是否能顺利完成起到了至关重要的作用。软件项目管理对象包括软件开发过程中涉及的人力、物力,同时也包括软件开发的进度情况。其中,软件开发进度的监控制约着软件项目的交付。因此,对软件项目进度监控方法的研究具有重要的理论和现实意义。自动机理论自开创以来一直受到众多学者的高度关注,并且有着广泛的应用领域,例如数字电路的设计、模式识别与匹配、编译器的词法分析器等。在软件工程领域,自动机理论也有着广泛应用,其应用大致可划分为三类：第一类,利用自动机对软件过程进行建模；第二类,采用自动机模型对软件产品进行设计,特别是自动控制类软件的设计；第三类,把自动机理论应用到软件测试中。自动机理论在各领域的成熟应用为软件项目进度监控方法的研究提供了很强的借鉴作用。本文基于自动机理论对软件项目进度的监控方法进行研究。首先简要介绍了几种自动机的概念及其形式化表示,并对软件开发的基本流程及常见的过程模型进行了分析比较。然后在上述理论基础上结合软件项目进度变化过程的特点,构建了一种扩展的有穷自动机——赋值有穷自动机。该赋值有穷自动机的每个状态上都有一个描述项目进度情况的权值,且它的每个事件上都有一个描述项目所耗工作量的权值,因此该自动机能充分反应软件项目进度变化情况。同时,将赋值有穷自动机应用于软件项目进度变化过程的建模,提出了一种由数据采集模块、自动机模块、基于自动机的软件项目进度监控模块和软件项目计划表四部分组成的基于赋值有穷自动机的软件项目进度监控体系结构,并对软件项目进度的基础数据进行处理,得到项目管理人员进度监控决策所需的包含进度偏差率和偏差级别的监控结果信息,从而最终实现对软件项目进度的监控。此外,针对软件项目各模块存在并行开发的情况,本文对基于自动机理论的软件项目监控方法增加AOE网规划模块,用于规划项目模块开发及获取影响软件项目进度的关键模块开发路径,最终完成该监控方法的AOE网优化。第六章通过一个实例对基于自动机理论的软件项目进度监控方法进行了验证。