工作流就是一系列相互衔接、自动进行的业务活动或任务，而工作流模型就是对现实世界中的业务流程的准确描述，工作流过程建模是工作流技术应用的重要环节。UML是一种通用的可视化建模语言，是一种定义良好、易于表达、功能强大且普遍适用的建模语言，而且目前已经被工业界接受。其中，活动图用于面向过程的建模。本文研究了工作流技术，分析了目前存在的工作流建模方法中存在的缺陷，并在此基础上提出了一种基于UML活动图的工作流过程建模方法，扩展了基本的UML活动图的元素，赋予其更丰富的语义，改进了基于UML活动图的工作流建模方法，使之适合于工作流过程建模；并且参考Petri网中的化简验证原理，提出了UML活动图中的化简验证方法，为UML活动图增加了一种有效的验证方法，在模型验证方面做出初步尝试。最后，把这种方法应用到实际项目中去，验证了其可行性和有效性，基本满足工作流建模需求。