CN103679484A - Novel method for analyzing E-commerce consistency based on behavior Petri network - Google Patents

Abstract

The invention relates to a novel method for analyzing E-commerce consistency based on behavior Petri network interaction. The method mainly comprises the steps of transforming a business process model, determining a partner process model of the business process model and interacting and computing the behavior compatibility between the process models, namely firstly transforming the business process model into a behavior Petri network by applying the semantics of the behavior Petri network; then, describing the data flow and control flow models of a business process from the perspective of a partner process, and interacting the obtained partner process model, so as to obtain interactive process models; finally, computing a change behavior value based on a behavior outline of the behavior Petri network and the behavior mapping between among the models, giving out behavior distance vectors of the models, and computing the behavior compatibility among corresponding process models. The novel method provided by the invention can be used for analyzing the consistency of the business process model, the problem of credibility in E-commerce is solved effectively, and the inexactness in the existing solution methods is avoided.

Description

Ecommerce consistency analysis new method based on behavioral Petri nets

Technical field

The invention belongs to ecommerce credibility Analysis technical field, relate to the conforming new method of operation flow in a kind of analytical electron commercial affairs.It is specially adapted to cause due to data variation the inconsistent situation of procedural model, thereby solves data consistency to the conforming impact of business process model.

Background technology

Modern society has entered the information age, computer technology is also more and more ripe, but, day by day huge computer system is but more and more fragile, it always can not be trusted, the result of many times procedural model operation can depart from desired, for example information flow and cash flow equilibrium problem in electronic transaction.These faults and wrong all can be direct or indirect user is damaged, in analytical electron commercial affairs, the consistency problem of procedural model is the focus of research now so.

Nowadays, many scholars have made much research to solving the conforming problem of business process model.By define behavior equivalent concepts and mark equivalent standard, strictly analyzed the consistance between business process model.The limitation of bringing in order to improve this strict standard subsequently, has provided the concept of behavior profile, analyzes the behavior congruence between business process model.In order further to improve conforming analysis, detour behavior relation has been proposed on the basis of behavior profile, improved the accuracy to business process model consistency analysis.More than research is mainly the control stream aspect from business process model, analyzes the consistance of business process model.But these researchs are incomplete, data stream and control stream are the principal elements that affects modeling and the execution of business process model.Therefore the consistance of business process model not only depends on controlling the consistance of stream, also can depend on the consistance of data stream.In real life, the data message variation in procedural model can produce the impact that some people are difficult for discovering, thereby causes the inconsistent problem of operation flow.Although much research starts to pay attention to the Change of Data Stream aspect of business process model,, the almost stream of consideration control simultaneously and the impact of data stream on business process model, and data stream is confined to data mode, seldom depicts the model of data stream.

Summary of the invention

The invention provides a kind of operation flow consistency analysis method based on behavioral Petri nets, in the situation that model running result does not reach target, roundabout analysis business process model itself, but the procedural model that consideration follows operation flow to carry out needs to set up to control and flows and data flow model.Subsequently, the model of gained is carried out alternately, calculate respectively control flow model and data flow model and mutual after model between behavior compatibility, the consistance of comprehensive analysis business process model indirectly.

For the business process model of conversion electrons commercial affairs, the present invention, according to the semanteme of behavioral Petri nets, is converted into business process model on the behavioral Petri nets model of behavior clear in structure.In order data stream to be carried out to modelling and to distinguish and control stream and data stream, according to resulting behavioral Petri nets model, observe the procedural model of following its execution and producing, be defined as partner's flow process.From the angle of partner's flow process, set up its control flow model and data flow model like this.Then, two procedural models are obtained to the control flow model that contains data stream alternately, be called interaction models.Finally, according to behavior transition corresponding between model, be the behavior mapping between model, on the basis of behavior profile, provide the mapping behavior value of transition the behavior distance vector of computation model, calculate to control respectively stream and data stream with it behavior compatibility between procedural model after alternately, controlled stream and the data stream influence degree to business process model, thereby the consistance of analysis business process model.

Advantage of the present invention is on the basis of behavioral Petri nets, angle from partner's flow process, multianalysis is carried out to the consistance of business process model in combined control stream and data stream two aspects, overcome the inconsistent problem of operation flow of bringing for factor data rheology, also avoided the one-sidedness of single research in the past and the limitation that data are portrayed.Meanwhile, according to the behavior mapping between procedural model, adopted the method for the calculating behavior compatibility based on behavior profile, can reflect accurately and control stream and the influence degree of data stream to business process model.

Accompanying drawing explanation

Fig. 1 is business process model consistance structural drawing in analytical electron commercial affairs of the present invention;

Fig. 2 is conversion business process model process flow diagram of the present invention;

Fig. 3 is definite partner's procedural model of the present invention and interaction diagrams;

Fig. 4 is the behavior compatibility process flow diagram between calculation process model of the present invention.

There is embodiment

The present invention proposes to calculate the behavior compatibility between control flow model and data flow model and interaction flow model based on behavioral Petri nets, thus the conforming method of business process model in multianalysis ecommerce.

Below in conjunction with accompanying drawing, the present invention is described further:

In ecommerce, the main consistance from three partial analysis business process models, as shown in Figure 1.First, according to the target presetting and result, observe the business process model in ecommerce, extract the business process model needing, and on the basis of behavioral Petri nets semanteme to ecommerce in business process model transform, see Fig. 2.

Then, from partner's flow process angle, set up control flow model and data flow model, and according to the mutual definition of procedural model, obtained the control flow model that interaction models contains data stream, see Fig. 3.

Finally, as seen from Figure 4, on the behavior profile basis of behavioral Petri nets, obtain the behavior value of transition, and in conjunction with the behavior mapping between procedural model, provide the behavior distance vector of procedural model, and the behavior compatibility between calculation process model is analyzed the consistance of business process model thus.Specific algorithm is:

1. the set of hypothesis behavior mapping is M={t ₁, t ₂..., t _m, the transition set in procedural model is P={p ₁, p ₂..., p _n, can obtain each behavior transition t _ithe behavior value showing in procedural model is

and the behavior that provides this procedural model is vectorial $X=\{\underset{i=1}{\overset{n}{\mathrm{\Σ}}}V(t_1,p_i),\underset{i=1}{\overset{n}{\mathrm{\Σ}}}V(t_2,p_i),...,\underset{i=1}{\overset{n}{\mathrm{\Σ}}}V(t_m,p_i)\}=\{x_1,x_2,...,x_j,...,x_m\}.$

2. according to the behavior vector that calculates gained, provide the behavior distance vector of procedural model $D=(\frac{x_1-x_{\min }}{x_{\max }-x_{\min }},\frac{x_2-x_{\min }}{x_{\max }-x_{\min }},...,\frac{x_m-x_{\min }}{x_{\max }-x_{\min }})=(d_1,d_2,...,d_m),$ Wherein, x _min=min{x ₁, x ₂..., x _m, and x _max=max{x ₁, x ₂..., x _m.

3. according to above-mentioned formula, the behavior distance vector that calculates control flow model, data flow model and interaction models is respectively: D ₁=(d ₁₁, d ₁₂..., d _1m), D ₂=(d ₂₁, d ₂₂..., d _2m) and D ₃=(d ₃₁, d ₃₂..., d _3m), and the behavior compatibility of calculating respectively thus between control flow model and data flow model and interaction models is:

$B{C}_1=\frac{\underset{i-1}{\overset{m}{\mathrm{\Σ}}}{d}_{1i}\×d_{3i}}{\sqrt{\left(\underset{i=1}{\overset{m}{\mathrm{\Σ}}}{d}_{1i}^2\right)\×\left(\underset{i=1}{\overset{m}{\mathrm{\Σ}}}{d}_{3i}^2\right)}}$ With $B{C}_2=\frac{\underset{i-1}{\overset{m}{\mathrm{\Σ}}}{d}_{2i}\×d_{3i}}{\sqrt{\left(\underset{i=1}{\overset{m}{\mathrm{\Σ}}}{d}_{2i}^2\right)}\×\left(\underset{i=1}{\overset{m}{\mathrm{\Σ}}}{d}_{3i}^2\right)}.$

4. according to resulting two behavior compatibility, analyze the consistance of business process model, if two values can reach very high, the consistance degree of business process model is very high, otherwise is inconsistency.

Claims (4)

1. one kind based on the conforming new method of behavioral Petri nets interaction analysis ecommerce, relate to conversion business process model, determined the behavior compatibility between its partner's procedural model mutual and calculation process model, it is characterized in that: conversion business process model is behavioral Petri nets, can realize the behavioural analysis to business process model; Mutual based on partner's procedural model and procedural model, set up respectively and control the control flow model that stream, data stream and interaction models contain data stream; Behavior compatibility between calculation process model, is that the angle of subordinate act compatibility is portrayed and controlled stream and data stream to conforming influence degree, accurately analyzes business process model consistance.

2. conversion business process model according to claim 1, is characterized in that: at behavioral Petri nets semantically, the business process model in conversion electrons commercial affairs, can make the behavior of business process model more clear.

3. definite its partner's procedural model according to claim 1 is also mutual, it is characterized in that: from the angle of partner's procedural model, set up and control stream and data stream, and gained model is carried out alternately, thereby obtain the control flow model that contains data stream, can intuitively embody business process model and data stream and control the relation between stream.

4. the behavior compatibility between calculation process model according to claim 1, it is characterized in that: on the basis of the behavior mapping between behavior profile and model, calculate the behavior value of transition, provide the behavior distance vector of model, and calculate respectively control flow model and data flow model and mutual after model between behavior compatibility, analyze thus the consistance of business process model.

Images