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

说明书

技术领域

本发明涉及一种一致性分析方法及系统，特别是涉及一种基于分支进程的模型一致性分析方法及系统。

背景技术

随着互联网的飞速发展以及计算机科学技术的不断进步，网上支付平台的应用越来越广泛，越来越多的人通过网络交易和支付方式开展业务活动，网络交易的发展前景十分广阔。

在网络交易过程中，为了实时对交易行为进行监控和分析，针对每个捕捉到的用户交易行为的踪迹，我们构建基于PN机的动态交易行为模型，以此来分析交易行为模型与预期的交易流程行为的一致性。计算其行为一致性度，我们认为行为一致性度较小的行为为非正常行为，为此需要解决基于一致性度分析的交易流程行为实时监控技术。

现有技术中就两个模型之间的行为一致性有过一些研究，一类是只研究一致性质，即研究一致、非一致，不涉及度量的概念；一类从度量角度研究一致性，如仅仅从结构角度研究网模型间相似度。行为轮廓虽然结合了网的结构和动态行为关系，但是仅仅从模型的大致轮廓出发研究一致性度，对于模型的一致性检测不够精确，且对于含有环结构的模型，并未涉及。而且仅仅通过分析两个网的变迁之间的行为关系，又不能从整体角度进行网的一致性分析。

为此，本专利研究基于分支进程展开的模型一致性分析方法及系统。从而对用户交易过程中的行为一致进行判定，以此来判定用户的合法性。

发明内容

鉴于以上所述现有技术的缺点，本发明的目的在于提供一种基于分支进程的模型一致性分析方法及系统，用于解决现有技术中环结构模型及重名活动对的行为一致性测度问题。

为实现上述目的及其他相关目的，本发明提供一种基于分支进程的模型一致性分析方法，其特征在于，包括如下步骤：S1，根据用户行为运行轨迹，构建用户交易PN机模型；S2，分别建立用户交易PN机模型的分支进程展开BPU₁、以及预期模型的分支进程展开BPU₂；S3，从行为运行角度，对步骤S2中的分支进程展开中的变迁间的行为依赖关系进行分析，并确定其行为依赖关系R_i；S4，根据步骤S3确定的变迁间的所述行为依赖关系以及所述分支进程展开分别构建两个模型的行为关系三维图；S5，比较分析两模型的所述行为关系三维图，计算用户行为一致性度，检测用户行为与预期行为的一致程度。。

优选地，所述行为依赖关系R_i分为四类：选择关系SR、顺序关系OR、并发关系CR、逆顺关系IOR。

优选地，步骤S4还具体包括如下步骤：步骤S4还具体包括如下步骤：S41，分别获取分支进程展开BPU₁、BPU₂的多重变迁集L₁＝{t₁₁，t₁₂，…，t_1n}、L₂＝{t₂₁，t₂₂，…，t_2m}；S42，以L₁中的变迁作为坐标轴的x轴和y轴，以变迁间的行为依赖关系Ri作为坐标轴的z轴，输出行为关系三维图BRTDG₁，同样以L₂中的变迁作为坐标轴的x轴和y轴，以变迁间的行为依赖关系Ri作为坐标轴的z轴，输出行为关系三维图BRTDG₂。

优选地，步骤S5还具体包括如下步骤：步骤S5还具体包括如下步骤：S51，获取两关系三维图中的所有元素；S52，通过分析比较获取两关系三维图中相一致的元素；S53，采用如下公式计算用户模型与预期模型的一致性度：