摘要： 工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统。该文引入了一种新型的图形结构——元图，提出了基于基本活动配置单元的全息工作流模型，支持工作流模型中所有相关元素的动态配置，并定义了这种工作流模型的正确性，进行了正确性校验，校验算法高效简捷，使之成为一套完善的工作流建模形式化体系。
关键词:
工作流,
工作流建模,
元图,
可配置,
正确性
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
中图分类号:
崔立真;王海洋. 支持动态可配置的全息工作流建模与分析[J]. 计算机工程, 2007, 33(15): 15-17.
CUI Li-zhen; WANG Hai-yang. Holographic Workflow Modeling and Analysis Supporting Dynamic Configurable[J]. Computer Engineering, 2007, 33(15): 15-17.