对软件开发和维护过程的管理能够帮助软件项目的控制和协调,提高软件的质量和生产效率.软件过程技术通过描述、运作、监控、度量和演化有针对性的过程模型,对用户实际进行的软件过程提供了指导和控制,是支持软件开发、项目管理、质量保证的关键技术,已经成为软件工程领域的研究重点之一.论文研究了其中软件过程建模、过程模型和动态分析、以及分析和处理过程模型动态演化的影响这几个方面,主要的贡献和创新如下：1.论文提出了一个能够满足不同用户需求的、可扩展的、形式化的软件过程建模语言.2.论文采用软件验证中的有限状态验证技术,给出了一个过程模型动态分析的方法,避免了过程模拟技术中由于取样限制而可能得到不准确的分析结果的缺点.论文中将软件过程模型的行为和需要验证的性质表示成Buchi自动机的形式,证明了分析过程模型的动态语义相当于判断某个Buchi自动机的非空性的问题.3.论文提出了分析和处理过程模型动态演化造成的影响的方法.其中,为了防止用户在演化中随意地修改过程模型,论文提出了"目标一致性",即演化后的过程模型能够通过继续运作达到预定的功能性目标,作为一般情况下判断演化是否合理的标准.论文还研究了各种演化方式对过程运作状态的影响,支持对过程运作状态进行适当交换以适用于演化后的过程模型,并在此基础上证明了可以判定演化前后的过程模型是否满足目标一致性.