一种工作流模型数据正确性验证策略.pdfVIP

计算机光盘软件与应用 2010年第 1O期 ComputerCDSoftwareandApplications 工程技术 一 种工作流模型数据正确性验证策略 田文英，王宏宇，王丽华 (石家庄职业技术学院，石家庄 050081) 摘 要 ：工作流模型中的数据正确性验证策略是工作流迁移领域研究的重点，目前，针对工作流数据正确性的研究结 论还比较少，基于此，本文对工作流模型中的数据正确性验证策略进行 了研究，并且提 出了一种可行的验证策略。 关键词 教据正确性 ；关键活动；数据依赖 中图分类号：TN957．52 文献标识码：A 文章编号：1007—9599 (2010) 10—0085—02 TheCorrectnessVerificationStrategyofW orkflow M odelData TianWenying，WangHongyu，WangLihua (ShijiazhuangVocationalTechnologyInstitute，Shijiazhuang 050081，China) Abstract：Thedataintheworkflow modelaccuracyverificationstrategyistomigratetheworkflow,thefocusofresearchinthe field，atpresent，workflow datafortheaccuracyofresearchfnidnigsisstillrelativelysmall，basedonthis，theworkflow model valiadtiondatacorrectnesssrtategieshavebeenstudiedandproposedafeasiblevaliadtionstrategy． Keywords：Dataaccuracy；Keyactivities；Datadependence 一 、 相关定义 定义 1：如果一个活动 A有一个或多个输出参数 ，并且输出 燃鞠 参数不是输入参数的子集 ，则称活动A为关键活动，表示为K(A)。 鳓 鹜、 、娟 蜮 定义 2：在一个活动中，如果存在输入参数a，输出参数 b， 那么数据 b依赖于数据 a，表示为 a)b。数据依赖关系具有传 气圈匦 《戳 递性，即：如果 a— b，b)C则 a— c。 定义3：如果活动A的输 出数据a是活动 B执行的输入数据， (a) 则称活动B数据 a依赖于A，表示为A(a)— B。 ￡灏 》 D 定义4：对于关键活动A，我们用SDa(A)={Xlxinactivities andA(a)— x}为活动 A的基于数据 a数据依赖活动集合。注： 蹑图— 《 逻辑活动不包括在内。 定义5：对于活动A，我们用A (M，N)表示输入参数集合为 (b) M，输出参数集合为N的活动A，如果输入或输出集合为空时用0 图 1两种实例图 表示。例如：A (m，n)，A ((a，b)，(c，d))，A(0，b)： 三、验证原则 定