工作流是一个运行的业务流程，工作流管理与工作流的控制及协同有关。工作流管理是一个被业界广泛应用并迅速发展的技术，它的主要特点是使处理过程自动化，使人和各种应用工具协同完成业务活动。工作流管理已在办公环境、工商业和制造业等领域得到广泛应用。工作流管理的目的是为了让合适的人或软件在恰当的时间执行正确的工作。工作流所关注的问题是处理过程的自动化，它根据一系列定义的规则，把文档、信息或任务在参与者之间传递，以达到提高生产组织水平和提高效率的目的。 工作流模型的核心是业务过程的定义，包括组成过程的基本活动以及活动之间的时序关系。但工作流技术自身存在有较多的不成熟性：在工作流的模型描述方面，缺乏支持过程定义、过程分析的形式化的数学模型，从而缺乏对工作流的完整性、有效性、可靠性进行分析的手段。虽然有的模型具有形式化的数学描述，但从模型能力上距离对工作流的本质描述仍有差距。 针对以上问题，作者将UML引入工作流模型描述，并针对工作流的特点对其进行扩展，提出了基于UML活动图的活动超图的工作流建模思想，这种思想不仅具有UML活动图的特征和优点，还着重考虑了外部事件、时序以及运算控制对工作流运行路径的影响，提高了复杂控制条件的描述能力，使其更适合工作流建模。同时对活动超图的语法结构、约束条件及活动超图的语义进行了讨论，并为活动超图定义了适用于工作流模型的形式化语义，从而完成工作流数学模型的建立，提出了工作流活动图形式化语义中活动图的执行算法。为使用模型检查方法来验证与形式化语义对应的工作流功能需求奠定了基础。