[发明专利]一种基于分支进程的模型一致性分析方法及系统

权利要求书

1.一种基于分支进程的模型一致性分析方法，其特征在于，包括如下步骤：

S1，根据用户行为运行轨迹，构建用户交易PN机模型；

S2，分别建立用户交易PN机模型的分支进程展开BPU₁、以及预期模型的分支进程展开BPU₂；

S3，从行为运行角度，对步骤S2中的分支进程展开中的变迁间的行为依赖关系进行分析，并确定其行为依赖关系R_i；

S4，根据步骤S3确定的变迁间的所述行为依赖关系以及所述分支进程展开分别构建两个模型的行为关系三维图；

S5，比较分析两模型的所述行为关系三维图，计算用户行为一致性度，检测用户行为与预期行为的一致程度。

2.根据权利要求1所述的基于分支进程的模型一致性分析方法，其特征在于：所述行为依赖关系Ri分为四类：选择关系SR、顺序关系OR、并发关系CR、逆顺关系IOR。

3.根据权利要求1或2所述的基于分支进程的模型一致性分析方法，其特征在于：步骤S4还具体包括如下步骤：

S41，分别获取分支进程展开BPU₁、BPU₂的多重变迁集L₁＝{t₁₁，t₁₂，…，t_1n}、L₂＝{t₂₁，t₂₂，…，t_2m}；

S42，以L₁中的变迁作为坐标轴的x轴和y轴，以变迁间的行为依赖关系R_i作为坐标轴的z轴，输出行为关系三维图BRTDG₁，同样以L₂中的变迁作为坐标轴的x轴和y轴，以变迁间的行为依赖关系R_i作为坐标轴的z轴，输出行为关系三维图BRTDG₂。

4.根据权利要求3所述的基于分支进程的模型一致性分析方法，其特征在于：步骤S5还具体包括如下步骤：

S51，获取两关系三维图中的所有元素；

S52，通过分析比较获取两关系三维图中相一致的元素；

S53，采用如下公式计算用户模型与预期模型的一致性度：