Page 166 - 《软件学报》2021年第6期

1740 Journal of Software 软件学报 Vol.32, No.6, June 2021

动清楚地传达给用户,经由用户频繁地将触发因素与系统使用行为相联系,使其发展出新的交互行为习惯.因
此,我们通过内部触发的方式,通过叠加新的非关键行为流程改变系统行为流程来非强制性约束用户行为流程.
根据用户交互行为日志的数据特点及 Petri 网的定义,定义系统行为 Petri 网和用户交互行为 Petri 网如下:
定义 12(用户交互行为 Petri 网). 设某平台在线系统的系统行为 Petri 网 PN=(S;T;F),则用户在该系统的交
互行为 Petri 网 IPN=(IS;IT;IF),其中,
(1) IS⊆S,为用户执行相关的输入输出对应的库所元素;
(2) IT⊆T,为用户执行交互行为对应的变迁元素;
(3) S∩T=∅;
(4) IF⊆F,为变迁元素之间在系统 Petri 网 PN 中的流关系,即 IF⊆(IS×IT)∪(IT×IS).
定义 13(系统行为轮廓). 令系统行为 Petri 网 PN=(S;T;F),集合 MB I ={⇒, , }是 Petri 网 PN=(S;T;F)的行为
轮廓.对任给的变迁对(t 1 ,t 2 )∈(T×T)满足如下关系之一:
(1) 顺序关系⇒:若τ(t 1 ,t 2 )={⇒},则 t 1 ;t 2 且 t 2 `t 1 ;
(2) 平行关系 :若τ(t 1 ,t 2 )={ },则 t 1 `t 2 且 t 2 `t 1 ;
(3) 循环关系 :若τ(t 1 ,t 2 )={ },则 t 1 ;t 2 且 t 2 ;t 1 .
如图 2 所示,系统行为 Petri 网中,T 2 与 T 4 为平行关系记作 T 2 T 4 .T 6 ,T 7 ,T 8 是依次发生的,具有严格的顺序关
系,记作 T 6 ⇒T 7 ⇒T 8 .T 9 与 T 10 为循环关系,记为 T 9 T 10 .基于系统的 3 种行为轮廓,我们给出了不同行为轮廓下的
交互行为重构方法,如图 3~图 5 所示.

Fig.2 Example of system behavior Petri net
图 2 系统行为 Petri 网示例

Fig.3 Reconstruction of sequence relationship
图 3 顺序关系重构

Fig.4 Reconstruction of parallel relationship
图 4 平行关系重构