探索新的软件开发过程来提高软件生产率和质量一直是软件工程学研究的焦点,在当今信息化社会中,软件开发机构迫切地需要开发高质量软件的方法。软件开发是一项复杂的工作,需要好的人员、好的技术以及好的过程才能成功。但目前很多软件项目因为种种原因延期甚至失败。很多组织已经认识到,要想他们的软件项目获得成功,具有一个定义良好并且被很好文档化的开发过程是很重要的。本文首先介绍了软件过程的相关概念、技术以及软件过程研究的主要问题。接着研究了统一软件过程和敏捷开发思想,在总结敏捷方法与统一过程的基础上,提出了敏捷统一过程框架A-RUP,它是在RUP的基础上,利用敏捷开发的原则,针对中小型软件开发项目的实际情况对其进行裁剪得到的过程框架。接着分析了现有建模技术,比较了不同建模方法的特点,最后选择了基于Petri网的建模方法对A-RUP中工作流进行建模,用YAWL语言描述过程。为了用Petri网的验证理论对模型进行验证,本文给出了EWF网到Petri网的映射方法并简单讨论了模型的验证问题。最后本文在上述研究的基础上,设计并实现了一个基于A-RUP过程框架的软件过程管理平台原型系统——SPMS,该原型系统结合了YAWL技术为软件过程的自动执行提供了可靠的保证,同时保证整个软件开发过程是基于A-RUP过程框架的。