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

DATAFLOW ANALYSIS BASED WORKFLOW MODEL LOCALITY RESEARCH

作　　者：郭春丽[1] 李海波[1] 

机构地区：[1]华侨大学计算机科学与技术学院,福建厦门361021

出　　处：《计算机应用与软件》2011年第10期47-49,54,共4页Computer Applications and Software

基　　金：国家自然科学基金(60773064);福建省重大科技项目(2010N5008);泉州科技计划项目(2011G5);华侨大学高层次人才科研启动费项目(09BS405)

摘　　要：由于模型化简的方法存在着通用性的限制,工作流模型中控制流和数据流相结合的冲突检测通常要在整个模型范围内进行,模型维护的复杂性高。首先通过分析工作流模型中存在的时序依赖和数据依赖关系,以及二者应该满足的一致性,揭示出工作流模型的拓扑结构中存在着局部性。基于工作流模型的局部性原理提出活动的稳定子图,以及工作流模型重构后的局部区域求解方法,并对方法给予证明。最后的对比分析表明,工作流模型的拓扑结构发生变化时,控制流和数据流的一致性完全可以在局部范围内验证和维护,进而提高了模型维护的效率。Since there is constraint for generality with the model reduction method,in a workflow model the collision detection combining both the control flow and the data flow is usually carried out within the entire model.So it is complex to maintain a model.Firstly through analyzing the temporal dependency and data dependency relations that are present in a workflow model as well as the consistency requirement they ought to meet,it is revealed that there is locality in the topology structure of a workflow model.Based on the locality principle of the workflow model,the active stability sub-graph,along with its local region resolve method after the workflow model is restructured,is proposed.Moreover the method is proven.The final comparative analysis indicates that when the topological structure of a workflow model is modified,the consistency between the control flow and the data flow can absolutely be verified and maintained in a local region,therefore the model maintenance efficiency is improved.

关 键 词：工作流模型 局部性 稳定子图 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]