Page 176 - 《软件学报》2021年第5期

1400 Journal of Software 软件学报 Vol.32, No.5, May 2021

Fig.10 RD group experimental efficiency statistics Fig.11 Statistics of average activity time of
RD group experiment
图 10 RD 组实验效率统计 图 11 RD 组实验平均活动耗时统计

5 相关算法对比

过程模型的分析研究已经成为现代组织用于管理复杂运作流程的重要手段,其中对于过程模型的行为研
究是该领域极其重要的研究内容,文中的算法的核心也是在于如何分析模型行为,表 5 给出了在判断模型行为
研究上取得一定成果的文献内容.
Table 5 Related research on model behavior representation
表 5 模型行为表示的相关研究
描述整体 直接描述任意 描述循
来源 方法 描述 TEPM 图形描述 文字描述
模型行为 活动间行为 环结构
文献[28] 广度优先拓扑序列 BFTS − − √ √ − √
文献[29] 有代表性的 trace 集合 − − √ − √ −
文献[30] 任务紧邻关系集 − − √ − √ √
文献[31] 完整触发序列 − − √ √ √ √
文献[32] BQL(Behavior Query Language) − √ √ √ − √
文献[33] The APQL grammar trees √ − − √ − √
文献[34] The log-tree representation √ − √ − √ −
文献[16] 基于遗传算法的过程树 √ √ − √ √ √
文献[19] 基于块结构的过程树 √ √ − √ √ √
文献[27] Bpstruct √ − √ − √ −
文献[35] CASS √ − √ √ √ −
本文 基于完全有限前缀展开的过程树 √ √ √ √ √ √

表 5 展示了模型行为研究一些代表性成果,其中,“描述整体模型行为”是指可以通过该方法直接观察整体
活动的行为,“直接描述任意活动间行为”是指能直接获取模型中任意活动的关系,“描述 TEPM”特指是否能在
不损失模型行为的情况下处理本文中定义的 TEPM 模型,“描述循环结构”是指 TEPM 中的出现的循环路径的模
型,“图形描述”是指该模型行为表示方法可以通过图来描述模型,“文字描述”是指该模型行为表示方法可以通
过文字来描述模型.
从表 5 中可以得出现有的模型行为表示方法对于描述整体模型行为和描述局部(模型中任意活动)行为难
以兼得.本文使用过程树不仅能同时获得模型的整体模型行为和部分行为,还具有相应的图形和文字描述.文献[16]、
文献[19]和本文一样使用过程树表示行为,但无法描述复杂行为.因此,本文提出了基于完全有限前缀展开的行
为等价过程树生成算法,用于在不牺牲模型行为的条件下将 TEPM 模型转换为行为等价过程树.

6 结束语
本文设计一个基于完全有限前缀展开的行为等价过程树生成算法.该算法利用完全前缀展开算法对模型
进行分析,判断出模型的行为.然后根据模型的行为判断该模型是否与过程树的行为等价,如果等价就选择优先
级高的关系生成与模型是部分行为等价子过程树,并以此迭代直到生成行为等价过程树.一方面,该算法利用基