摘要
工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统。该文引入了一种新型的图形结构——元图,提出了基于基本活动配置单元的全息工作流模型,支持工作流模型中所有相关元素的动态配置,并定义了这种工作流模型的正确性,进行了正确性校验,校验算法高效简捷,使之成为一套完善的工作流建模形式化体系。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第15期15-17,共3页
Computer Engineering
基金
国家自然科学基金资助项目(60673130)
关键词
工作流
工作流建模
元图
可配置
正确性
workflow
workflow modeling
metagraph
configurable
correctness
