CN103679484A - Novel method for analyzing E-commerce consistency based on behavior Petri network - Google Patents
Novel method for analyzing E-commerce consistency based on behavior Petri network Download PDFInfo
- Publication number
- CN103679484A CN103679484A CN201410010980.3A CN201410010980A CN103679484A CN 103679484 A CN103679484 A CN 103679484A CN 201410010980 A CN201410010980 A CN 201410010980A CN 103679484 A CN103679484 A CN 103679484A
- Authority
- CN
- China
- Prior art keywords
- model
- behavior
- business process
- process model
- compatibility
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Images
Landscapes
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
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
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
1, t
2..., t
m, the transition set in procedural model is P={p
1, p
2..., 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
2. according to the behavior vector that calculates gained, provide the behavior distance vector of procedural model
Wherein, x
min=min{x
1, x
2..., x
m, and x
max=max{x
1, x
2..., 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
1=(d
11, d
12..., d
1m), D
2=(d
21, d
22..., d
2m) and D
3=(d
31, d
32..., d
3m), and the behavior compatibility of calculating respectively thus between control flow model and data flow model and interaction models is:
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.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201410010980.3A CN103679484A (en) | 2014-01-09 | 2014-01-09 | Novel method for analyzing E-commerce consistency based on behavior Petri network |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201410010980.3A CN103679484A (en) | 2014-01-09 | 2014-01-09 | Novel method for analyzing E-commerce consistency based on behavior Petri network |
Publications (1)
Publication Number | Publication Date |
---|---|
CN103679484A true CN103679484A (en) | 2014-03-26 |
Family
ID=50316954
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201410010980.3A Pending CN103679484A (en) | 2014-01-09 | 2014-01-09 | Novel method for analyzing E-commerce consistency based on behavior Petri network |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN103679484A (en) |
Cited By (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104134112A (en) * | 2014-07-14 | 2014-11-05 | 安徽理工大学 | Business process model consistency measurement method under semantic constraints |
CN104318125A (en) * | 2014-11-14 | 2015-01-28 | 安徽理工大学 | Business process behavior bias analysis method based on dynamic expression formula |
CN105159244A (en) * | 2015-07-29 | 2015-12-16 | 安徽理工大学 | Event coordination control method based on Petri network |
CN104133808B (en) * | 2014-07-10 | 2017-06-13 | 同济大学 | User behavior uniformity degree measuring method based on complicated correspondence system |
CN107220548A (en) * | 2017-05-03 | 2017-09-29 | 同济大学 | A kind of system detecting method and system based on data slicer uniformity |
CN111242593A (en) * | 2020-01-09 | 2020-06-05 | 东华大学 | Method for detecting consistency of overlapping corresponding behaviors of trading system based on partner matrix |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20070265862A1 (en) * | 2006-04-13 | 2007-11-15 | Jens Freund | Software model business process variant types |
CN103150626A (en) * | 2013-03-01 | 2013-06-12 | 南京理工大学 | Program dependence graph-based BPEL (Business Process Execution Language) process consistency measurement method |
-
2014
- 2014-01-09 CN CN201410010980.3A patent/CN103679484A/en active Pending
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20070265862A1 (en) * | 2006-04-13 | 2007-11-15 | Jens Freund | Software model business process variant types |
CN103150626A (en) * | 2013-03-01 | 2013-06-12 | 南京理工大学 | Program dependence graph-based BPEL (Business Process Execution Language) process consistency measurement method |
Non-Patent Citations (5)
Title |
---|
GEORG GROSSMAN,MICHAEL SCHREFT,MARKUS STUMPTNER: "Design for service compatibility", 《SOFTWARE & SYSTEMS MODELING》 * |
MATTHIAS W.,JAN M.,MATHIAS W.: "Efficient Consistency Measurement Based on Behavioral Profiles of Process Models", 《IEEE TRANSACTIONS ON SOFTWARE ENGINEERING》 * |
XIANWEN FANG,LU LIU,XIANGWEI LIU: "Analyzing Method of Change Region in BPM Based on Module of Petri Net", 《INFORMATION TECHNOLOGY JOURNAL》 * |
ZHANGBING ZHOU, SAMI BHIRI, MANFRED HAUSWIRTH: "Control and Data Dependencies in Business Processes Based on Semantic Business Activities", 《THE 10TH INTERNATIONAL CONFERENCE ON INFORMATION INTEGRATION AND WEB-BASED APPLICATION & SERVICES》 * |
王咪咪,方贤文: "Petri网多重变迁集的行为轮廓一致性分析", 《计算机工程与设计》 * |
Cited By (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104133808B (en) * | 2014-07-10 | 2017-06-13 | 同济大学 | User behavior uniformity degree measuring method based on complicated correspondence system |
CN104134112A (en) * | 2014-07-14 | 2014-11-05 | 安徽理工大学 | Business process model consistency measurement method under semantic constraints |
CN104318125A (en) * | 2014-11-14 | 2015-01-28 | 安徽理工大学 | Business process behavior bias analysis method based on dynamic expression formula |
CN105159244A (en) * | 2015-07-29 | 2015-12-16 | 安徽理工大学 | Event coordination control method based on Petri network |
CN105159244B (en) * | 2015-07-29 | 2017-10-27 | 安徽理工大学 | A kind of event coordination control method based on Petri network |
CN107220548A (en) * | 2017-05-03 | 2017-09-29 | 同济大学 | A kind of system detecting method and system based on data slicer uniformity |
CN107220548B (en) * | 2017-05-03 | 2020-04-28 | 同济大学 | System detection method and system based on data slice consistency |
CN111242593A (en) * | 2020-01-09 | 2020-06-05 | 东华大学 | Method for detecting consistency of overlapping corresponding behaviors of trading system based on partner matrix |
CN111242593B (en) * | 2020-01-09 | 2022-05-31 | 东华大学 | Method for detecting consistency of overlapping corresponding behaviors of trading system based on partner matrix |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN103679484A (en) | Novel method for analyzing E-commerce consistency based on behavior Petri network | |
US11580280B2 (en) | Computational framework for modeling of physical process | |
WO2021000556A1 (en) | Method and system for predicting remaining useful life of industrial equipment, and electronic device | |
CN102982107B (en) | A kind of commending system optimization method merging user, project and context property information | |
CN105843073A (en) | Method for analyzing wing structure aero-elasticity stability based on aerodynamic force uncertain order reduction | |
CN103326903B (en) | Based on the Internet network latency prediction method of Hidden Markov | |
US11741373B2 (en) | Turbulence field update method and apparatus, and related device thereof | |
CN104123451A (en) | Dredging operation yield prediction model building method based on partial least squares regression | |
CN104463381A (en) | Building energy consumption predication method based on KPCA and WLSSVM | |
CN105354860A (en) | Box particle filtering based extension target CBMeMBer tracking method | |
CN106777980A (en) | A kind of Time Series Similarity Forecasting Methodology based on DTW | |
JPWO2018079225A1 (en) | Automatic prediction system, automatic prediction method, and automatic prediction program | |
CN103616021A (en) | Global localization method and device | |
CN105930325A (en) | Reverse analysis method and device for file report comparative difference | |
CN103310463B (en) | Based on the online method for tracking target of Probabilistic Principal Component Analysis and compressed sensing | |
Zhang et al. | Improvement of dynamic hand gesture recognition based on HMM algorithm | |
JP2022166215A (en) | Method for training text positioning model and method for text positioning | |
CN103440393B (en) | State space reduction method for continuous time Markov chain | |
CN105069574A (en) | New method for analyzing business flow behavior similarity | |
CN104134112A (en) | Business process model consistency measurement method under semantic constraints | |
CN104809107A (en) | Recommending method and system based on context conversion vector model | |
CN104636324B (en) | Topic source tracing method and system | |
JP2015072505A (en) | Software verification device | |
CN110175314A (en) | A kind of software and hardware mixing command and control system failure layered approach based on ISM method | |
CN105511612A (en) | Multi-channel fusion method based on voice/gestures |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
RJ01 | Rejection of invention patent application after publication |
Application publication date: 20140326 |
|
RJ01 | Rejection of invention patent application after publication |