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