Page 184 - 《软件学报》2020年第10期

3160 Journal of Software 软件学报 Vol.31, No.10, October 2020

而由文献[13−15]中的方法建立的修正协同业务过程 OP r-z 和 OP r-a 实质上均是集中式的.特别地,业务过程
Customer 和 Vendor 中活动及活动间的交互不是并发执行的,而是通过 Center 和 OP r-a 中控制流的约束来执行.
例如,Customer 内本地活动 browProduct 执行需要与 Center 内活动 browProduct 执行同步;而活动!orderA
和?orderA 间的交互则由 Center 内控制流来约束.

Fig.4 Repaired business process PO r-z
图 4 修正业务过程 PO r-z

Fig.5 Repaired business process PO r-a
图 5 修正业务过程 PO r-a
5.2.2 轨迹有效性分析
本小节分析修正协同业务过程中重现完整轨迹和未引入隐藏轨迹的有效性.基于简单轨迹,本文提出精确
度和泛化度这两个有效性计算指标.
精确度的计算公式如式(1)所示.
| acc (T ,T ) |
P(M′)= M M ′ (1)
|T M ′ |
式(1)中,T M′ 为修正协同业务过程中所有的简单轨迹;T M 为修正前协同业务过程中所有的完整简单轨迹;
acc(T M ,T M′ )为被 T M 接受的 T M′ 中的轨迹子集.对于精确度而言,计算结果值越高,则表示修正协同业务过程中引
入的隐藏轨迹越少,修正效果越好.
泛化度的计算公式如式(2)所示.
| acc (T ,T ) |
G(M′)= M ′ M (2)
|T M |
式(2)中,T M′ 为修正协同业务过程中所有的简单轨迹;T M 为修正前协同业务过程中所有的完整简单轨迹;
acc(T M′ ,T M )为被 T M′ 接受的 T M 中的轨迹子集.对于泛化度指标,计算结果值越高,则表示修正协同业务过程中重
现修正前协同业务过程中的完整简单轨迹越多,修正效果越好.
根据式(1)和式(2),本文方法和文献[13−15]中方法的精确度和泛化度的计算结果分别如图 6(a)~图 6(b)
所示.
由图 6(a)可以看出,本文方法的精确度高于文献[13−15]中方法的精确度.同时,本文方法的泛化度与文献
[14,15]中方法的泛化度相同,但远高于文献[13]中的方法.由此,我们可以得出如下结论.
(1) 由于本文方法能够事先保证修正协同业务过程中含有修正前协同业务过程中所有完整的轨迹,且未引