工作流系统成功的关键在于向其输入的工作流的质量。因此,工作流建模成为当今工作流研究的一个热点问题。 工作流管理联盟(Workflow Management Coalition,WfMC)将整个工作流系统分成两个阶段,过程设计与定义阶段(又称创建阶段)和过程实例化与控制阶段(又称运行阶段)。创建阶段的功能主要完成经营过程的计算机化定义,即过程建模工作。虽然工作流技术是实现业务过程自动化的核心技术,但是工作流管理系统解释执行的是工作流模型,从而工作流建模的合理性是关系到提高企业的信息化程度、运行效率以及核心竞争力的重要因素。 本文首先综述了当前工作流管理技术的发展,对工作流的相关概念进行了详细地介绍。接着,深入到工作流建模方面,仔细研究了基于有向图、形式语言、Petri网等技术进行建模的优缺点,在此基础上,结合WfMC提出的接口1规范和WfMC发布的XPDL标准,具体研究了采用XPDL描述工作流模型的好处。然后,结合上述的理论研究,设计和实现了一个基于MVC体系结构的工作流建模工具(WfModelBuilder),它最大的特点是能够以图形的方式显示工作流模型、以XPDL的格式保存工作流模型,从而既方便用户利用工作流技术为企业进行业务建模,也便于工作流模型在异构的工作流管理平台上实施。此外,WfModelBuilder还能够从一定程度上对工作流模型进行验证,包括完整的语法验证、结构验证、简单的语义验证。 最后,文中提出了一种对工作流模型进行结构验证的有效方法,该方法采用图论中有向图领域的相关算法对工作流模型进行结构验证,并给出了一种扩展有向图邻接矩阵的机制对工作流模型中容易出现的非法结构进行有效的检查。WfModelBuilder就是采用这种方法来进行工作流模型的结构验证。