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

摘要

本发明提供一种基于分支进程的模型一致性分析方法及系统，其系统包括模型构建模块、分支进程展开模块、依赖关系确定模块、三维图构建模块以及一致性分析模块。分析方法为：根据用户行为运行轨迹，构建用户交易PN机模型；分别建立用户交易PN机模型以及预期模型的分支进程展开BPU₁、BPU₂；从行为运行角度，对分支进程展开中的变迁间的行为依赖关系进行分析，确定其行为依赖关系R_i；根据确定的行为依赖关系分别构建两个模型的行为关系三维图；比较分析两行为关系三维图，计算用户行为一致性度，检测用户行为与预期行为的一致程度。采用本分析方法及系统能够对用户交易过程中的行为一致进行判定，以此来判定用户的合法性。

主权项

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