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

摘要

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

主权项

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