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

第２８卷第１０期　　　 计算机应用与软件 Ｖｏｌ２８Ｎｏ．１０ ２０１１年１０月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ｏｃｔ．２０１１ 基于数据流分析的工作流模型局部性研究 郭春丽　李海波 （华侨大学计算机科学与技术学院　福建厦门３６１０２１） 摘　要　　由于模型化简的方法存在着通用性的限制，工作流模型中控制流和数据流相结合的冲突检测通常要在整个模型范围内 进行，模型维护的复杂性高。首先通过分析工作流模型中存在的时序依赖和数据依赖关系，以及二者应该满足的一致性，揭示出工 作流模型的拓扑结构中存在着局部性。基于工作流模型的局部性原理提出活动的稳定子图，以及工作流模型重构后的局部区域求 解方法，并对方法给予证明。最后的对比分析表明，工作流模型的拓扑结构发生变化时，控制流和数据流的一致性完全可以在局部 范围内验证和维护，进而提高了模型维护的效率。 关键词　　工作流模型　局部性　稳定子图 中图分类号　ＴＰ３０１．６　　　　文献标识码　Ａ ＤＡＴＡＦＬＯＷＡＮＡＬＹＳＩＳＢＡＳＥＤＷＯＲＫＦＬＯＷＭＯＤＥＬＬＯＣＡＬＩＴＹＲＥＳＥＡＲＣＨ ＧｕｏＣｈｕｎｌｉ　ＬｉＨａｉｂｏ （ＣｏｌｌｅｇｅｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ，ＨｕａｑｉａｏＵｎｉｖｅｒｓｉｔｙ，Ｘｉａｍｅｎ３６１０２１，Ｆｕｊｉａｎ，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　Ｓｉｎｃｅｔｈｅｒｅｉｓｃｏｎｓｔｒａｉｎｔｆｏｒｇｅｎｅｒａｌｉｔｙｗｉｔｈｔｈｅｍｏｄｅｌｒｅｄｕｃｔｉｏｎｍｅｔｈｏｄ，ｉｎａｗｏｒｋｆｌｏｗｍｏｄｅｌｔｈｅｃｏｌｌｉｓｉｏｎｄｅｔｅｃｔｉｏｎｃｏｍｂｉｎｉｎｇ ｂｏｔｈｔｈｅｃｏｎｔｒｏｌｆｌｏｗａｎｄｔｈｅｄａｔａｆｌｏｗｉｓｕｓｕａｌｌｙｃａｒｒｉｅｄｏｕｔｗｉｔｈｉｎｔｈｅｅｎｔｉｒｅｍｏｄｅｌ．Ｓｏｉｔｉｓｃｏｍｐｌｅｘｔｏｍａｉｎｔａｉｎａｍｏｄｅｌ．Ｆｉｒｓｔｌｙｔｈｒｏｕｇｈ ａｎａｌｙｚｉｎｇｔｈｅｔｅｍｐｏｒａｌｄｅｐｅｎｄｅｎｃｙａｎｄｄａｔａｄｅｐｅｎｄｅｎｃｙｒｅｌａｔｉｏｎｓｔｈａｔａｒｅｐｒｅｓｅｎｔｉｎａｗｏｒｋｆｌｏｗｍｏｄｅｌａｓｗｅｌｌａｓｔｈｅｃｏｎｓｉｓｔｅｎｃｙｒｅｑｕｉｒｅｍｅｎｔ ｔｈｅｙｏｕｇｈｔｔｏｍｅｅｔ，ｉｔｉｓｒｅｖｅａｌｅｄｔｈａｔｔｈｅｒｅｉｓｌｏｃａｌｉｔｙｉｎｔｈｅｔｏｐｏｌｏｇｙｓｔｒｕｃｔｕｒｅｏｆａｗｏｒｋｆｌｏｗｍｏｄｅｌ．Ｂａｓｅｄｏｎｔｈｅｌｏｃａｌｉｔｙｐｒｉｎｃｉｐｌｅｏｆｔｈｅ ｗｏｒｋｆｌｏｗｍｏｄｅｌ，ｔｈｅａｃｔｉｖｅｓｔａｂｉｌｉｔｙｓｕｂｇｒａｐｈ，ａｌｏｎｇｗｉｔｈｉｔｓｌｏｃａｌｒｅｇｉｏｎｒｅｓｏｌｖｅｍｅｔｈｏｄａｆｔｅｒｔｈｅｗｏｒｋｆｌｏｗｍｏｄｅｌｉｓｒｅｓｔｒｕｃｔｕｒｅｄ，ｉｓ ｐｒｏｐｏｓｅｄ．Ｍｏｒｅｏｖｅｒｔｈｅｍｅｔｈｏｄｉｓｐｒｏｖｅｎ．Ｔｈｅｆｉｎａｌｃｏｍｐａｒａｔｉｖｅａｎａｌｙｓｉｓｉｎｄｉｃａｔｅｓｔｈａｔｗｈｅｎｔｈｅｔｏｐｏｌｏｇｉｃａｌｓｔｒｕｃｔｕｒｅｏｆａｗｏｒｋｆｌｏｗｍｏｄｅｌｉｓ ｍｏｄｉｆｉｅｄ，ｔｈｅｃｏｎｓｉｓｔｅｎｃｙｂｅｔｗｅｅｎｔｈｅｃｏｎｔｒｏｌｆｌｏｗａｎｄｔｈｅｄａｔａｆｌｏｗｃａｎａｂｓｏｌｕｔｅｌｙｂｅｖｅｒｉｆｉｅｄａｎｄｍａｉｎｔａｉｎｅｄｉｎａｌｏｃａｌｒｅｇｉｏｎ，ｔｈｅｒｅｆｏｒｅｔｈｅ ｍｏｄｅｌｍａｉｎｔｅｎａｎｃｅｅｆｆｉｃｉｅｎｃｙｉｓｉｍｐｒｏｖｅｄ． Ｋｅｙｗｏｒｄｓ　　Ｗｏｒｋｆｌｏｗｍｏｄｅｌ　Ｌｏｃａｌｉｔｙ　Ｓｔａｂｉｌｉｔｙｓｕｂｇｒａｐｈ ０　引　言 １　工作流模型变化的局部最小性分析 工作流技术作为支持企业业务过程建模、过程集成与优化、 工作流模型可以看成一个有向图，在有向图中，活动表示成 过程重构及实现的支撑技术也受到了广泛的重视［１，２］。在当今 节点，边表示节点之间的逻辑序列［１０］。但工作流模型还不完全 易变的企业制造和经营环境下