Abstract: Workflow management system is a complicated information system related to process, data, organizational resource etc. This paper introduces a new type of graphical structure——metagraphs, proposes a holographic workflow model based on elementary activity configurable unit, demonstrates the dynamic configurable characteristic, defines and verifies the correctness of this type of workflow. Experimental results show this method is valid.

Key words: workflow, workflow modeling, metagraph, configurable, correctness

摘要： 工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统。该文引入了一种新型的图形结构——元图，提出了基于基本活动配置单元的全息工作流模型，支持工作流模型中所有相关元素的动态配置，并定义了这种工作流模型的正确性，进行了正确性校验，校验算法高效简捷，使之成为一套完善的工作流建模形式化体系。

关键词: 工作流, 工作流建模, 元图, 可配置, 正确性

CLC Number: 

• TP391