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

刘霄 等:个体交互行为的平滑干预模型 1739

6: CP = R Q− 2
7: if CS>threshold then
8: if CP>0 then
9: drift_start= R ; drift_stop=Q 3 ;
10: else
11: drift_start=Q 1 ; drift_stop= R ;
12: else
13: drift_start=Q 1 ; drift_stop=Q 3
14: return drift_start, drift_stop;
2.2.2 交互行为重构模型
本节使用 Petri 网作为系统建模工具,首先将系统行为集合分为系统关键行为集合和非关键行为集合,定义
了交互行为 Petri 网并给出了交互行为 Petri 网行为轮廓的定义;在此基础上提出交互行为重构的系统 Petri 网
模型,并在在线信贷交易系统实例中验证模型的有效性.
Petri 网作为并发、分布式系统的建模和分析工具,对系统的性质和行为分析具有强大的理论基础支持 [22] ,
在业务流程建模分析和优化方面也有广泛的应用.在计算机软件系统领域,可以利用 Petri 网进行 [23,24] 完整的建
模与相关结构及性质分析.同时,由于软件系统必然存在着与用户的系统交互,而用户与系统平台的交互往往反
映出用户对平台提供服务的兴趣、关注程度以及交互行为习惯,因此,用户访问行为分析无疑对评价和优化平
台的业务流程、服务设置等有直接且重要的价值.
定义 9(系统行为集合). 令 S A ={s 1 ,s 2 ,…,s n }为系统正常运行期间能够触发的行为事件的全部集合.进一步将
*
系统行为集合分为系统关键行为集合 S 和非关键行为集合 S′ .
A
A
*
定义 10(系统关键行为集合). 令 S = {, ,..., }s s 2 s p 为系统正常运行期间能够触发的关键行为事件的全部集
1
A
*
*
合,其中,p<n.关键行为集合对应着系统的核心功能页面,承担系统关键功能的运行.关键行为流程 cp 即 S 集合
A
中元素的特定排列,由于关键行为流程反映着系统核心功能的运行逻辑,因此具备一定的业务逻辑顺序,即:
*
|cp |<p!
定义 11(系统非关键行为集合). 令 S′ = {, ,..., }s s s 为系统正常运行期间能够触发的非关键行为事件的全
A 1 2 q
部集合,其中,q<n.非关键行为集合对应着系统的次要功能页面,承担对于系统关键功能的补充作用.非关键行为
流程 cp′即 S′ 集合中元素的特定排列,即|cp′|<q!.
A
关键行为集合对应着系统的核心功能页面,如在线信贷业务系统中的提交借款申请、信贷信息核验、借款
协议签署等关键功能页面;非关键行为集合往往包含敏感度较低的其他系统功能业务页面,如银行卡信息页、
信贷业务浏览、帮助中心、个人中心等.如图 1 所示,用户行为集合 U A ={u 1 ,u 2 ,…,u m },即用户能发生的全部行为
事件的集合,且 U A ⊆S A ,用户的操作流程即 U A 集合中所有元素的全排列,用户行为序列有 m!种.图中 A 表示系统
*
关键行为集合 S ,B 表示系统非关键行为集合 S′ ,C 表示用户行为集合 Ru,A+B 表示系统行为集合 S A .
A
A
B A
C

Fig.1 System behavior set
图 1 系统行为集合划分
触发因素是促使用户做出某行为的诱导因素,可分为外部触发和内部触发:外部触发往往由用户所处外部
环境所决定;而内部触发则嵌入于产品和系统,是引起行为变化的关键.内部触发以友好的交互方式将下一步行