【摘要】 工作流是一个业务过程的全部或部分自动执行 .为了实现工作流管理功能 ,我们必须将业务过程从现实世界中抽象出来 ,并用一种形式化方法对其进行描述 ,其结果称为是工作流模型 .该文主要讨论工作流模型及其形式化描述问题 .基于对现实世界业务过程的分析 ,该文提出一个三维工作流模型 ,它包含 3个子模型 :组织模型、数据模型和过程模型 ,分别从不同的侧面描述工作流的各种属性 .文中详细论述各个子模型及其相互关系 ,并给出三维工作流模型的形式化描述 .更多还原

【Abstract】 Workflow is the automation of a business process in whole or part. To achieve the function of workflow management, the business process must be abstracted from the real world and described by a kind of formal method. The result is workflow model. This paper mainly discusses workflow models and their formal descriptions. Based on the analysis of business processes in the real world, this paper proposes a three-dimensional workflow model including three sub-models, i.e., organization model, data model and process model, each of which describes some attributes of workflows from different perspectives. These sub-models and their relationships are addressed in detail in this paper. Furthermore, the formal description for the three-dimensional workflow model proposed is also presented.更多还原