基于行为Petri网的电子商务一致性分析新方法技术

一种基于行为Petri网交互分析电子商务一致性的新方法，主要包括转化业务流程模型、确定其伙伴流程模型并交互以及计算流程模型间的行为兼容度。首先，运用行为Petri网的语义，将业务流程模型转化为行为Petri网；然后，从伙伴流程的角度描述业务流程的数据流和控制流模型，并且将所得的伙伴流程模型进行交互得到交互流程模型；最后，基于行为Petri网的行为轮廓和模型间的行为映射，计算变迁的行为值，并给出给出模型的行为距离向量，计算出相应流程模型之间的行为兼容度。本发明专利技术提出了分析业务流程模型一致性的新方法，有效地解决了电子商务中可信性问题，避免了现有解决方法的不精确性。

【技术实现步骤摘要】

本专利技术属于电子商务可信性分析
，涉及一种分析电子商务中业务流程一致性的新方法。它特别适用于由于数据变化而导致流程模型的不一致的情况，从而解决数据一致性对业务流程模型一致性的影响。
技术介绍
现代社会已经进入了信息化时代，计算机技术也越来越成熟，但是，日益庞大的计算机系统却越来越脆弱，它并不总是可以信任的，很多时候流程模型运行的结果会偏离人们所期望的，例如在电子交易中信息流和资金流平衡问题。这些故障和错误都会直接或间接的对用户造成伤害，那么分析电子商务中流程模型的一致性问题是现在研究的热点。如今，许多学者对解决业务流程模型的一致性的问题做出了许多研究。通过定义行为等价概念和迹等价标准，严格地分析了业务流程模型间的一致性。随后为了改善这种严格的标准所带来的局限性，给出了行为轮廓的概念，分析业务流程模型间的行为一致性。为了进一步完善一致性的分析，在行为轮廓的基础上提出了间接行为关系，提高了对业务流程模型一致性分析的准确性。以上研究主要是从业务流程模型的控制流方面，分析业务流程模型的一致性。但是这些研究是不完善的，数据流和控制流是影响着业务流程模型的建模和执行的主要因素。因此业务流程模型的一致性不仅仅依赖于对控制流的一致性，还会依赖于数据流的一致性。在实际生活中，流程模型中的数据信息变化会产生一些人们不易察觉的影响，从而导致业务流程不一致的问题。虽然许多研究开始重视业务流程模型的数据流变化方面，但是，几乎没有同时考虑控制流和数据流对业务流程模型的影响，并且数据流局限于数据形式，很少刻画出数据流的模型。
技术实现思路
本专利技术提供一种基于行为Petri网的业务流程一致性分析方法，在模型运行结果达不到目标的情况下，不直接的分析业务流程模型本身，而是考虑伴随业务流程执行的流程模型，即需要建立控制流和数据流模型。随后，将所得的模型进行交互，分别计算控制流模型和数据流模型与交互后的模型之间的行为兼容度，间接地全面性分析业务流程模型的一致性。对于转化电子商务的业务流程模型，本专利技术根据行为Petri网的语义，将业务流程模型转化为行为结构清晰的行为Petri网模型。为了将数据流进行模型化并区分控制流和数据流，根据所得到的行为Petri网模型，观察伴随其执行而产生的流程模型，即定义为伙伴流程。这样从伙伴流程的角度，建立其控制流模型和数据流模型。然后，对两个流程模型进行交互得到含有数据流的控制流模型，即称为交互模型。最后，根据模型之间对应的行为变迁，即为模型之间的行为映射，在行为轮廓的基础上给出映射变迁的行为值并计算模型的行为距离向量，分别计算控制流和数据流与其交互后的流程模型之间的行为兼容度，得到控制流与数据流对业务流程模型的影响程度，从而分析业务流程模型的一致性。本专利技术的优点是在行为Petri网的基础上，从伙伴流程的角度，结合控制流和数据流两方面对业务流程模型的一致性进行全面分析，克服了对于因数据流变化而带来的业务流程不一致的问题，也避免了以往单一研究的片面性和对数据刻画的局限性。同时，根据流程模型间的行为映射，采用了基于行为轮廓的计算行为兼容度的方法，能够精确的反映控制流与数据流对业务流程模型的影响程度。【附图说明】图1为本专利技术的分析电子商务中业务流程模型一致性结构图；图2为本专利技术的转化业务流程模型流程图；图3为本专利技术的确定伙伴流程模型和交互流程图；图4为本专利技术的计算流程模型间的行为兼容度流程图。具有实施方式本专利技术提出基于行为Petri网计算控制流模型和数据流模型与交互流程模型之间的行为兼容度，从而全面分析电子商务中业务流程模型一致性的方法。下面结合附图对本专利技术做进一步的说明:在电子商务中，主要从三个部分分析业务流程模型的一致性，如图1所示。首先，根据预设定的目标和结果观察电子商务中的业务流程模型，提取需要的业务流程模型，并在行为Petri网语义的基础上对电子商务中业务流程模型进行转化，见图2。然后，从伙伴流程角度建立控制流模型和数据流模型，并根据流程模型交互的定义，得到了交互模型即含有数据流的控制流模型，见图3。最后，由图4可见，在行为Petri网的行为轮廓基础上，得到变迁的行为值，并结合流程模型间的行为映射，给出流程模型的行为距离向量，并由此计算流程模型间的行为兼容度来分析业务流程模型的一致性。具体算法为:1.假设行为映射的集合为M= It1^2，…，tm}，流程模型中的变迁集合为P =Ip1, P2,…，P1J，则可得到每个行为变迁\在流程模型中的表现出的行为值为本文档来自技高网...

【技术保护点】
一种基于行为Petri网交互分析电子商务一致性的新方法，涉及了转化业务流程模型、确定其伙伴流程模型并交互以及计算流程模型间的行为兼容度，其特征在于：转化业务流程模型为行为Petri网，能够实现对业务流程模型的行为分析；基于伙伴流程模型和流程模型交互，分别建立控制流、数据流以及交互模型即含有数据流的控制流模型；计算流程模型间的行为兼容度，是从行为兼容的角度刻画控制流和数据流对一致性的影响程度，精确地分析业务流程模型一致性。

【技术特征摘要】
1.一种基于行为Petri网交互分析电子商务一致性的新方法，涉及了转化业务流程模型、确定其伙伴流程模型并交互以及计算流程模型间的行为兼容度，其特征在于:转化业务流程模型为行为Petri网，能够实现对业务流程模型的行为分析；基于伙伴流程模型和流程模型交互，分别建立控制流、数据流以及交互模型即含有数据流的控制流模型；计算流程模型间的行为兼容度，是从行为兼容的角度刻画控制流和数据流对一致性的影响程度，精确地分析业务流程模型一致性。2.根据权利要求1所述的转化业务流程模型，其特征在于:在行为Petri网的语义上，转...

【专利技术属性】
技术研发人员：方贤文，刘璐，吴俊枝，刘祥伟，殷志祥，
申请(专利权)人：安徽理工大学，
类型：发明
国别省市：