第2期 蒋艳荣，等：一种基于知识树和约束的柔性活动动态细化方法 .163. 中A为活动集，TC为时序约束集。算法首先检查时 序约束tc涉及的活动是否存在于活动集A中，如果 if op;is NotLimit (a,b) 不存在，则返回alse.时序约束规则te可以分解出 if there is no path from a to b or from b to a 由时序约束组成的操作集R即at,然后对其中每个约 mark the error place; 束进行检查，对不满足约束的情况进行出错报告，并 return false; 返回false. 算法2 TemporalCons() //end of the deal for each op; activity set A,activity temporal constraints TC. //end if 输出retumn true if valid,false if not valid //end of the deal of each tc; { return true; for each temporal constraint tc,in TC 4 实现及实例分析 decompose tc;into Lpart and Rpart; if activities referred by Lpart are all in set A 为了验证所提方法的有效性，我们在一台高性 for each op;in Rpart 能PC机上实现以上算法.开发的硬件环境：Intel if op;is "Previous(a,b)" E5200CPU,2GDDR,250GHD,开发平台：JDK1.7 if there is no path from a to b +MyEclipse2014,工作流引擎采用Activiti5.18.0,数 mark the error place; 据库采用MySQL5.1.37。采用Hibernate实现领域 return false; 知识树的知识查询与管理。 下面我们以图1所示的知识树为例，来验证本 文所提方法的有效性和正确性。某软件开发过程的 ifop:is“ImtPrevious(a,b)”{ 主流程如图3所示，其中的“需求分析”和“测试”为 if there is not any edge (a,b)then 未定义的柔性活动，用Activiti的call activity类型的 mark the error place; 活动来表示。当工作流执行到活动“项目人员确 return false; 定”时，由于后续的柔性活动“需求分析”未定义，因 此柔性活动细化算法FlexActRefining()被激活。该 算法首先在领域知识树中进行查找，通过对活动目 if op;is AndSyn (a,b)" 标的匹配，找到对应的知识点“需求分析”，获取其3 if there exists a common predecessor A. 个满足泛化关系的子知识点，即“面向对象需求分 and successor A.for a and b then 析”、“结构化需求分析”和“模块化需求分析”，并生 if satisfy Previous(A.,a)and 成一个OR结构。根据上下文及约束条件，“面向对 Previous(A,,b)and Previous(a,A.) 象需求分析”分支被选择执行。因此，其对应的流 and Previous(b,A.)and there exist no 程模板被实例化后通过Activiti工作流引擎部署到 path from a to b or b to a then 其流程定义数据表和部署表中，并开始执行该流程。 return true; 当工作流执行完之后，返回主流程执行剩下的活动。 } 项目人 员确定 分村 设 return false; 图3软件开发过程的主流程 ifop,is“0rSym(a,b)”{ Fig.3 Main flowchart of a software development process if there exists a common predecessor A. 同样的，在工作流执行到“编码”活动时，算法 and successor A for a and b then FlexActRefining()被激活以细化后续的柔性活动 if satisfy either (Previous(A.,a)and “测试”。查询知识树可得知，其存在对应的流程测 Previous(a,A.))or (Previous(A.,b) 试模板，并根据“测试”活动的3个满足包含关系的 and Previous(b,A.))and a and b 子知识“单元测试”、“综合测试”和“系统测试”，细 can not run at the same time then 化生成流程模板中的“各类型测试”活动。依据其 return true; 约束关系，采用顺序结构生成其时序关系，得到子流 程：“单元测试”→“综合测试”→“系统测试”，并部 署到工作流引擎进行执行。整个过程可以用图4表 return false;中 Ａ 为活动集，ＴＣ 为时序约束集。 算法首先检查时 序约束 ｔｃ 涉及的活动是否存在于活动集 Ａ 中，如果 不存在，则返回 ｆａｌｓｅ． 时序约束规则 ｔｃ 可以分解出 由时序约束组成的操作集 Ｒｐａｒｔ，然后对其中每个约 束进行检查，对不满足约束的情况进行出错报告，并 返回 ｆａｌｓｅ． 算法 ２ ＴｅｍｐｏｒａｌＣｏｎｓ（ ） 输入 ａｃｔｉｖｉｔｙ ｓｅｔ Ａ， ａｃｔｉｖｉｔｙ ｔｅｍｐｏｒａｌ ｃｏｎｓｔｒａｉｎｔｓ ＴＣ． 输出 ｒｅｔｕｒｎ ｔｒｕｅ ｉｆ ｖａｌｉｄ， ｆａｌｓｅ ｉｆ ｎｏｔ ｖａｌｉｄ ｛ ｆｏｒ ｅａｃｈ ｔｅｍｐｏｒａｌ ｃｏｎｓｔｒａｉｎｔ ｔｃｉ ｉｎ ＴＣ ｛ ｄｅｃｏｍｐｏｓｅ ｔｃｉ ｉｎｔｏ Ｌｐａｒｔ ａｎｄ Ｒｐａｒｔ； ｉｆ ａｃｔｉｖｉｔｉｅｓ ｒｅｆｅｒｒｅｄ ｂｙ Ｌｐａｒｔ ａｒｅ ａｌｌ ｉｎ ｓｅｔ Ａ｛ ｆｏｒ ｅａｃｈ ｏｐｉ ｉｎ Ｒｐａｒｔ｛ ｉｆ ｏｐｉ ｉｓ “Ｐｒｅｖｉｏｕｓ（ａ， ｂ）”｛ ｉｆ ｔｈｅｒｅ ｉｓ ｎｏ ｐａｔｈ ｆｒｏｍ ａ ｔｏ ｂ｛ ｍａｒｋ ｔｈｅ ｅｒｒｏｒ ｐｌａｃｅ； ｒｅｔｕｒｎ ｆａｌｓｅ； ｝ ｝ ｉｆ ｏｐｉ ｉｓ “ＩｍｔＰｒｅｖｉｏｕｓ （ａ， ｂ）”｛ ｉｆ ｔｈｅｒｅ ｉｓ ｎｏｔ ａｎｙ ｅｄｇｅ 〈ａ， ｂ〉 ｔｈｅｎ｛ ｍａｒｋ ｔｈｅ ｅｒｒｏｒ ｐｌａｃｅ； ｒｅｔｕｒｎ ｆａｌｓｅ； ｝ ｝ ｉｆ ｏｐｉ ｉｓ “ＡｎｄＳｙｎ （ａ， ｂ）”｛ ｉｆ ｔｈｅｒｅ ｅｘｉｓｔｓ ａ ｃｏｍｍｏｎ ｐｒｅｄｅｃｅｓｓｏｒ Ａｓ ａｎｄ ｓｕｃｃｅｓｓｏｒ Ａｅ ｆｏｒ ａ ａｎｄ ｂ ｔｈｅｎ｛ ｉｆ ｓａｔｉｓｆｙ Ｐｒｅｖｉｏｕｓ（Ａｓ， ａ） ａｎｄ Ｐｒｅｖｉｏｕｓ（Ａｓ， ｂ） ａｎｄ Ｐｒｅｖｉｏｕｓ（ａ， Ａｅ） ａｎｄ Ｐｒｅｖｉｏｕｓ（ｂ， Ａｅ） ａｎｄ ｔｈｅｒｅ ｅｘｉｓｔ ｎｏ ｐａｔｈ ｆｒｏｍ ａ ｔｏ ｂ ｏｒ ｂ ｔｏ ａ ｔｈｅｎ｛ ｒｅｔｕｒｎ ｔｒｕｅ； ｝ ｝ ｒｅｔｕｒｎ ｆａｌｓｅ； ｝ ｉｆ ｏｐｉ ｉｓ “ＯｒＳｙｎ （ａ， ｂ）”｛ ｉｆ ｔｈｅｒｅ ｅｘｉｓｔｓ ａ ｃｏｍｍｏｎ ｐｒｅｄｅｃｅｓｓｏｒ Ａｓ ａｎｄ ｓｕｃｃｅｓｓｏｒ Ａｅ ｆｏｒ ａ ａｎｄ ｂ ｔｈｅｎ｛ ｉｆ ｓａｔｉｓｆｙ ｅｉｔｈｅｒ （Ｐｒｅｖｉｏｕｓ（Ａｓ， ａ） ａｎｄ Ｐｒｅｖｉｏｕｓ（ａ， Ａｅ）） ｏｒ （Ｐｒｅｖｉｏｕｓ（Ａｓ， ｂ） ａｎｄ Ｐｒｅｖｉｏｕｓ（ｂ， Ａｅ）） ａｎｄ ａ ａｎｄ ｂ ｃａｎ ｎｏｔ ｒｕｎ ａｔ ｔｈｅ ｓａｍｅ ｔｉｍｅ ｔｈｅｎ｛ ｒｅｔｕｒｎ ｔｒｕｅ； ｝ ｝ ｒｅｔｕｒｎ ｆａｌｓｅ； ｝ ｉｆ ｏｐｉ ｉｓ ＮｏｔＬｉｍｉｔ （ａ， ｂ）｛ ｉｆ ｔｈｅｒｅ ｉｓ ｎｏ ｐａｔｈ ｆｒｏｍ ａ ｔｏ ｂ ｏｒ ｆｒｏｍ ｂ ｔｏ ａ｛ ｍａｒｋ ｔｈｅ ｅｒｒｏｒ ｐｌａｃｅ； ｒｅｔｕｒｎ ｆａｌｓｅ； ｝ ｝ ／ ／ ｅｎｄ ｏｆ ｔｈｅ ｄｅａｌ ｆｏｒ ｅａｃｈ ｏｐｉ ｝ ／ ／ ｅｎｄ ｉｆ ｝ ／ ／ ｅｎｄ ｏｆ ｔｈｅ ｄｅａｌ ｏｆ ｅａｃｈ ｔｃｉ ｒｅｔｕｒｎ ｔｒｕｅ； ４ 实现及实例分析 为了验证所提方法的有效性，我们在一台高性 能 ＰＣ 机上实现以上算法． 开发的硬件环境： Ｉｎｔｅｌ Ｅ５２００ ＣＰＵ， ２Ｇ ＤＤＲ， ２５０Ｇ ＨＤ，开发平台：ＪＤＫ１．７ ＋ＭｙＥｃｌｉｐｓｅ２０１４， 工作流引擎采用 Ａｃｔｉｖｉｔｉ ５．１８．０，数 据库采用 ＭｙＳＱＬ ５．１．３７。 采用 Ｈｉｂｅｒｎａｔｅ 实现领域 知识树的知识查询与管理。 下面我们以图 １ 所示的知识树为例，来验证本 文所提方法的有效性和正确性。 某软件开发过程的 主流程如图 ３ 所示，其中的“需求分析”和“测试”为 未定义的柔性活动，用 Ａｃｔｉｖｉｔｉ 的 ｃａｌｌ ａｃｔｉｖｉｔｙ 类型的 活动来表示。 当工作流执行到活动“项目人员确 定”时，由于后续的柔性活动“需求分析”未定义，因 此柔性活动细化算法 ＦｌｅｘＡｃｔＲｅｆｉｎｉｎｇ（ ）被激活。 该 算法首先在领域知识树中进行查找，通过对活动目 标的匹配，找到对应的知识点“需求分析”，获取其 ３ 个满足泛化关系的子知识点，即“面向对象需求分 析”、“结构化需求分析”和“模块化需求分析”，并生 成一个 ＯＲ 结构。 根据上下文及约束条件，“面向对 象需求分析” 分支被选择执行。 因此，其对应的流 程模板被实例化后通过 Ａｃｔｉｖｉｔｉ 工作流引擎部署到 其流程定义数据表和部署表中，并开始执行该流程。 当工作流执行完之后，返回主流程执行剩下的活动。 图 ３ 软件开发过程的主流程 Ｆｉｇ．３ Ｍａｉｎ ｆｌｏｗｃｈａｒｔ ｏｆ ａ ｓｏｆｔｗａｒｅ ｄｅｖｅｌｏｐｍｅｎｔ ｐｒｏｃｅｓｓ 同样的，在工作流执行到“编码” 活动时，算法 ＦｌｅｘＡｃｔＲｅｆｉｎｉｎｇ（ ） 被激活以细化后续的柔性活动 “测试”。 查询知识树可得知，其存在对应的流程测 试模板，并根据“测试”活动的 ３ 个满足包含关系的 子知识“单元测试”、“综合测试”和“系统测试”，细 化生成流程模板中的“各类型测试” 活动。 依据其 约束关系，采用顺序结构生成其时序关系，得到子流 程： “单元测试”➝“综合测试”➝“系统测试”，并部 署到工作流引擎进行执行。 整个过程可以用图 ４ 表 第 ２ 期 蒋艳荣，等：一种基于知识树和约束的柔性活动动态细化方法 ·１６３·