基于数据流分析的工作流模型局部性研究

• 作者: 李海波 郭春丽
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 工作流模型 局部性 稳定子图
• 年，卷（期）: 2011,（10）
• 所属期刊栏目: 基金项目论文
• 页码范围: 47-49,54
• 分类号: TP301.6
• 字数: 3836字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2011.10.014

摘要

由于模型化简的方法存在着通用性的限制,工作流模型中控制流和数据流相结合的冲突检测通常要在整个模型范围内进行,模型维护的复杂性高.首先通过分析工作流模型中存在的时序依赖和数据依赖关系,以及二者应该满足的一致性,揭示出工作流模型的拓扑结构中存在着局部性.基于工作流模型的局部性原理提出活动的稳定子图,以及工作流模型重构后的局部区域求解方法,并对方法给予证明.最后的对比分析表明,工作流模型的拓扑结构发生变化时,控制流和数据流的一致性完全可以在局部范围内验证和维护,进而提高了模型维护的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李海波	华侨大学计算机科学与技术学院	27	162	6.0	12.0
2	郭春丽	华侨大学计算机科学与技术学院	3	9	2.0	3.0