CN104317885B - A kind of minimum generation Workflow net method for determining evolution domain - Google Patents
A kind of minimum generation Workflow net method for determining evolution domain Download PDFInfo
- Publication number
- CN104317885B CN104317885B CN201410567556.9A CN201410567556A CN104317885B CN 104317885 B CN104317885 B CN 104317885B CN 201410567556 A CN201410567556 A CN 201410567556A CN 104317885 B CN104317885 B CN 104317885B
- Authority
- CN
- China
- Prior art keywords
- transition
- place
- node
- virtual
- net
- 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.)
- Active
Links
- 238000000034 method Methods 0.000 title claims abstract description 42
- 230000007704 transition Effects 0.000 claims abstract description 136
- 230000001419 dependent effect Effects 0.000 claims abstract description 34
- 230000000977 initiatory effect Effects 0.000 claims abstract description 18
- 230000008859 change Effects 0.000 claims description 13
- 230000000694 effects Effects 0.000 claims description 12
- 230000001960 triggered effect Effects 0.000 claims description 8
- 239000000203 mixture Substances 0.000 claims description 6
- 238000005516 engineering process Methods 0.000 description 3
- 230000010429 evolutionary process Effects 0.000 description 2
- 230000010354 integration Effects 0.000 description 2
- 238000011017 operating method Methods 0.000 description 2
- 230000008569 process Effects 0.000 description 2
- 238000012545 processing Methods 0.000 description 2
- 230000009467 reduction Effects 0.000 description 2
- 239000011800 void material Substances 0.000 description 2
- BQCADISMDOOEFD-UHFFFAOYSA-N Silver Chemical compound [Ag] BQCADISMDOOEFD-UHFFFAOYSA-N 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 230000004069 differentiation Effects 0.000 description 1
- 230000005012 migration Effects 0.000 description 1
- 238000013508 migration Methods 0.000 description 1
- 229910052709 silver Inorganic materials 0.000 description 1
- 239000004332 silver Substances 0.000 description 1
- 239000002699 waste material Substances 0.000 description 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q30/00—Commerce
- G06Q30/06—Buying, selling or leasing transactions
Landscapes
- Business, Economics & Management (AREA)
- Accounting & Taxation (AREA)
- Finance (AREA)
- Development Economics (AREA)
- Economics (AREA)
- Marketing (AREA)
- Strategic Management (AREA)
- Physics & Mathematics (AREA)
- General Business, Economics & Management (AREA)
- General Physics & Mathematics (AREA)
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
The invention discloses a kind of minimum generation Workflow net method for determining evolution domain, including:S101, will initialize system abstract is Workflow net, it is determined that the specified transition in the Workflow net corresponding with trouble node;S102, initial work drift net is set, and specified transition are divided into set;Whether all transition in S103, traversal Workflow net, judge all transition to specifying transition to be completely dependent on initiation one by one, when a transition in all transition are to specifying transition to be completely dependent on initiation, then a transition is divided into set;S104, when set meets the condition of Workflow net, collection is combined into minimum output services drift net;Otherwise, dummy node is added in Workflow net to cause set to be minimum output services drift net.The present invention can be realized reduces evolution cost under the conditions of with identical evolutionary model, shortens the function of evolution time.
Description
Technical field
The present invention relates to information technology online evolution field, in particular it relates to a kind of minimum generation work for determining evolution domain
Make drift net method.
Background technology
Can continual service be provided just turning into the important index that people weigh software systems, and online evolution is just
Into a present popular domain.
Prior art have studied the dynamic evolution problem of Workflow net, and Aalst et al. proposes the workflow mould before and after developing
Type must is fulfilled for inheritance, although this method can avoid introducing dynamic evolution mistake, before and after Workflow net develops not
Dynamic evolution cannot be carried out when meeting inheritance with the method, therefore without generality.
Aalst et al. also proposed a kind of Workflow logs method for not limiting workflow type, and this method is by comparing
Change before and after Work flow model, find out all regions changed in Work flow model, only when workflow instance not
When execution in region of variation, just allow the migration of workflow instance.The method reduces the scope of Workflow logs, when
Workflow instance can not be by dynamic evolution when execution in evolution region.
Change next, Casatiet al. propose the global method of a system to manage reaching for dynamic duty drift net
Kind Workflow logs problem.In addition Sadiq et al. propose a standard for judging the correct attribute of workflow.WIDE side
Method attempts to find out all historical informations performed of workflow on the basis of workflow and workflow is changed so as to reach
It is kind.
Analysis of workflow dynamic changes based on Petri net,Information
And Software Technology, 51 (2009):284-292, this article defines a special dynamic change, simultaneous
Capacitive changes, and reduces differentiation scope, but whole Workflow net is drawn before and after change scope contrast here, not
Operated from workflow, that is, do not have the reduction operation scope of essence.
The content of the invention
It is an object of the invention to provide a kind of method for the minimum generation Workflow net for determining Software Evolution domain, this method from
Workflow is set out operated in itself, it is possible to achieve reduce evolution cost under the conditions of with identical evolutionary model, is shortened and is developed
The function of time.
To achieve these goals, should the invention provides a kind of minimum generation Workflow net method for determining evolution domain
Method includes:
S101, will initialize system abstract is Workflow net, it is determined that the finger in the Workflow net corresponding with trouble node
Fixed transition;
S102, it is set to initialize the Workflow net, and the specified transition are divided into the set;
All transition in S103, traversal Workflow net, judge whether all transition have to the specified transition one by one
There is initiation to be completely dependent on, when a transition in all transition are completely dependent on to the specified transition with initiation, then will
One transition are divided into the set;
S104, when the set meets the condition of Workflow net, the collection is combined into minimum output services drift net;
When the set is unsatisfactory for the condition of Workflow net, dummy node is added in the Workflow net to cause
State collection and be combined into minimum output services drift net.
Preferably, in step S104, the method for addition dummy node includes:
Virtual place and virtual arc are added, and the virtual place points to nothing in the Workflow net by the virtual arc
The transition node of follow-up place causes the collection to be combined into minimum output services drift net.
Preferably, in step S104, the method for addition dummy node also includes:
S201, judges in the Workflow net with the presence or absence of the place node without follow-up transition and/or without follow-up place
Change node,
S202, when there is the place node without follow-up transition and the transition node without follow-up place is not present, is first added
First virtually changes and virtually changes the first corresponding virtual arc with described first so that the place section without follow-up transition
Point points to the first virtually transition by the first virtual arc;The first virtual place and the second virtual arc are added again, make first void
Intend transition and the first virtual place is pointed to by second virtual arc;Or
When there is the transition node without follow-up place and the place node without follow-up transition is not present, addition second is virtual
It is described that place and threeth virtual arc corresponding with the described second virtual place pass through the transition node without follow-up place
3rd virtual arc points to the second virtual place;Or
When there is the place node without follow-up transition and there is the transition node without follow-up place, second is first added virtual
Transition and virtually change the 4th corresponding virtual arc with described second to pass through the place node without follow-up transition described
4th virtual arc points to the described second virtual transition;The 3rd virtual place is added again and corresponding with the 3rd virtual place
5th virtual arc makes the transition node without follow-up place point to the 3rd virtual place by the 5th virtual arc.
Preferably, step S103 judges whether any one transition in all transition have to the specified transition
The step of initiation is completely dependent on includes:
S301, records the individual forerunner's sequences that can trigger of k of any one transition, wherein k is natural number;
S302, judges whether the specified transition belong to all forerunner's sequences triggered;
S303, when it is described it is specified transition belong to it is all described in can trigger forerunner's sequence when, then judge the transition to institute
State and specify transition to be completely dependent on initiation.
Preferably, in step S103,
The initiation is completely dependent on including:Directly trigger and be completely dependent on or indirectly trigger to be completely dependent on.
Preferably, in step S104, the condition that set meets Workflow net includes:
When all input transition in any one place in the Workflow net belong to the set and the work
When all input nodes in any one arc and all output nodes in drift net belong to the set, the collection is combined into minimum
Output services drift net.
By the above method, the present invention is directed to the online evolution problem of current large scope software system, if to whole system
System carries out operating its evolutionary process to be related to the Utilizing question of resource and time, and the present invention proposes a kind of determination software
The method of the minimum generation Workflow net in evolution domain, find out processing in need be partially placed into evolution domain, it is not necessary to handle
Part divide away, can thus control to reach the effect for realizing whole system evolution functions with minimum evolution region, should
The method of kind can reduce evolution cost under the conditions of with identical evolutionary model, shorten the time of evolution.
Other features and advantages of the present invention will be described in detail in subsequent embodiment part.
Brief description of the drawings
Accompanying drawing is, for providing a further understanding of the present invention, and to constitute a part for specification, with following tool
Body embodiment is used to explain the present invention together, but is not construed as limiting the invention.In the accompanying drawings:
Fig. 1 is a kind of minimum generation Workflow net method in the determination evolution domain for illustrating the embodiment of the present invention
Flow chart;And
Fig. 2 is a kind of minimum generation Workflow net method in the determination evolution domain for illustrating the embodiment of the present invention
The shopping process figure of net purchase system.
Embodiment
The embodiment of the present invention is described in detail below in conjunction with accompanying drawing.It should be appreciated that this place is retouched
The embodiment stated is merely to illustrate and explain the present invention, and is not intended to limit the invention.
In a kind of minimum generation Workflow net method in determination evolution domain of the present invention, this method includes:
S101, will initialize system abstract is Workflow net, it is determined that the finger in the Workflow net corresponding with trouble node
Fixed transition;
S102, it is set to initialize the Workflow net, and the specified transition are divided into the set;
All transition in S103, traversal Workflow net, judge whether all transition have to the specified transition one by one
There is initiation to be completely dependent on, when a transition in all transition are completely dependent on to the specified transition with initiation, then will
One transition are divided into the set;
S104, when the set meets the condition of Workflow net, the collection is combined into minimum output services drift net;
When the set is unsatisfactory for the condition of Workflow net, dummy node is added in the Workflow net to cause
State collection and be combined into minimum output services drift net.
By the above method, the present invention is directed to the online evolution problem of current large scope software system, if to whole system
System carries out operating its evolutionary process to be related to the Utilizing question of resource and time, and the present invention proposes a kind of determination software
The method of the minimum generation Workflow net in evolution domain, find out processing in need be partially placed into evolution domain, it is not necessary to handle
Part divide away, can thus control to reach the effect for realizing whole system evolution functions with minimum evolution region, should
The method of kind can reduce evolution cost under the conditions of with identical evolutionary model, shorten the time of evolution.
This kind of method, by it is unwanted change to divide away, it is necessary to transition be divided into the set, so as to realize
Drift net is exported to minimum, the cost of evolution is reduced, shortens the time of evolution.
Below in conjunction with the accompanying drawings 1 and 2 couples of present invention of accompanying drawing be further detailed, the present invention a kind of specific embodiment party
In formula, the principle of minimum generation Workflow net work is illustrated by a net purchase case.
In a kind of embodiment of the present invention, in step S104, the method for addition dummy node includes:
Virtual place and virtual arc are added, and the virtual place points to nothing in the Workflow net by the virtual arc
The transition node of follow-up place causes the collection to be combined into minimum output services drift net.
In step S104, the method for addition dummy node also includes:
S201, judges in the Workflow net with the presence or absence of the place node without follow-up transition and/or without follow-up place
Change node,
S202, when there is the place node without follow-up transition and the transition node without follow-up place is not present, is first added
First virtually changes and virtually changes the first corresponding virtual arc with described first so that the place section without follow-up transition
Point points to the first virtually transition by the first virtual arc;The first virtual place and the second virtual arc are added again, make first void
Intend transition and the first virtual place is pointed to by second virtual arc;Or
When there is the transition node without follow-up place and the place node without follow-up transition is not present, addition second is virtual
It is described that place and threeth virtual arc corresponding with the described second virtual place pass through the transition node without follow-up place
3rd virtual arc points to the second virtual place;Or
When there is the place node without follow-up transition and there is the transition node without follow-up place, second is first added virtual
Transition and virtually change the 4th corresponding virtual arc with described second to pass through the place node without follow-up transition described
4th virtual arc points to the described second virtual transition;The 3rd virtual place is added again and corresponding with the 3rd virtual place
5th virtual arc makes the transition node without follow-up place point to the 3rd virtual place by the 5th virtual arc.
It must be Workflow net to limit minimum Workflow net in the present invention, may be discontented with during generally generating
Sufficient Workflow net condition, so being that a Workflow net is constituted, it is necessary to add dummy node in order to be able to meet minimum Workflow net
Workflow net, addition dummy node is exactly all conditions in order to allow generation Workflow net to meet Workflow net.
In a kind of embodiment of the present invention, step S103 judges any one transition in all transition
The step of whether being completely dependent on to the specified transition with initiation includes:
S301, records the individual forerunner's sequences that can trigger of k of any one transition, wherein k is natural number;
S302, judges whether the specified transition belong to all forerunner's sequences triggered;
S303, when it is described it is specified transition belong to it is all described in can trigger forerunner's sequence when, then judge the transition to institute
State and specify transition to be completely dependent on initiation.
Pass through above-mentioned embodiment, it is possible to achieve judge that any one transition has triggered to whether the specified transition have
It is complete to rely on.
In a kind of embodiment of the present invention, in step S103,
The initiation is completely dependent on including:Directly trigger and be completely dependent on or indirectly trigger to be completely dependent on.
In a kind of embodiment of the present invention, in step S104, the condition that set meets Workflow net includes:
When all input transition in any one place in the Workflow net belong to the set and the work
When all input nodes in any one arc and all output nodes in drift net belong to the set, the collection is combined into minimum
Output services drift net.
Pass through above-mentioned embodiment, the reduction evolution cost of maximizing, by judging any one input transition and appointing
Whether one input node of meaning or output node may determine that whether the set is minimum output services drift net in set.
In a kind of embodiment of the present invention, most preferably implementation includes following steps:
Step 1, initialization system by its it is abstract be W (Workflow net), determine the corresponding Workflow net of given problem node
In t (specify transition);
Step 2, the S (initial sets) of minimum generation Workflow net is initialized, and t is divided into set S;
Step 3, all transition in traversal Workflow net, according to 2 (being defined as follows shown in text) of definition, define 3 (specifically
It is defined as follows shown in text) judge whether the transition of any one in all transition are completely dependent on to t with initiation;When it has to t
It is completely dependent on, goes to step 4, otherwise go to step 5.
Step 4, the transition are divided into set S.
Step 5, the transition are skipped to continue to travel through, step 3 is gone to.
Step 6, judge whether Workflow net travels through to terminate, if traversal terminates, go to step 7, otherwise go to step 3.
Step 7, judge whether set S meets minimum generation Workflow net according to 4 (being defined as follows shown in text) of definition,
If satisfaction goes to step 8, otherwise, step 9 is gone to.
Step 8, minimum output services drift net is exported.
Step 9, add dummy node according to 4 (being defined as follows shown in text) of definition and go to step 7.
The definition wherein used in said process refers to following definition:
1 is defined, forerunner's sequence can be triggered:In Workflow net, all transition node compositions triggered before Ti nodes
Minmal sequence be referred to as Ti trigger forerunner's sequence, so-called minmal sequence is not exactly when any node triggers in sequence, Ti
It can not all trigger.
Theorem 1, in Workflow net, to any one node Ti, if its node can trigger forerunner's sequence to have k, respectively
For N1, N2......Nk, k is positive integer, if transition node Tj ∈ N1 and Tj ∈ N2.... and Tj ∈ Nk, Ti is direct to Tj
Or be completely dependent on indirectly.
2 are defined, directly triggers being completely dependent on:For any in the executed active sequences δ of a certain Services Composition example
Two activity δ [i] and δ [j], if δ [j] only has foundation on the basis of δ [i] generations, claim δ [j] to place one's entire reliance upon δ
[i].Have and only activity δ [i] occurs, movable δ [j] can just occur.It is denoted as:δ[i]→δ[j].
3 are defined, triggers being completely dependent on indirectly:For 3 work in the executed active sequences δ of a certain Services Composition example
Dynamic δ [i], δ [j], δ [k], wherein i<j<K, if activity δ [i] depends directly or indirectly on movable δ [j], movable δ [j] directly or
Movable δ [k] is indirectly depended on, then activity δ [i] indirectly depends on movable δ [k].It is denoted as:δ[k]→→δ[i].
Integrated definition 2 and definition 3 understand to trigger indirectly and are completely dependent on transitivity, and directly trigger and be completely dependent on not having
There is transitivity.
4 are defined, if (P, T, F are t) that minimum generation Workflow net then meets three below property to S-WFN:
1, S-WFN ∈ WFN, minimum Workflow net is a Workflow net;
2, S-WFN be according to a certain specific transition node T generations;
3, former Workflow net WFN is belonged to any transition Ti, if Ti is completely dependent on to T with initiation, Ti belongs to S-
WFN, otherwise Ti be not belonging to S-WFN, to any place P in former Workflow net, if input transition all P belong to S-WFN,
Then P belongs to S-WFN, and otherwise P is not belonging to S-WFN.For any arc F in former Workflow net, if F input node and output node
S-WFN is belonged to, then F belongs to S-WFN, otherwise F is not belonging to S-WFN.
In summary, it must be a Workflow net that this net is defined in property 1, but may during generally generating
Workflow net condition is unsatisfactory for, so in order to be able to meet property 1, it is necessary to which adding dummy node constitutes Workflow net.
Addition dummy node is all conditions in order to allow generation Workflow net to meet Workflow net in the present invention, first
A virtual place Pn and virtual arc Fn is added, Pn is pointed to T by Fn, then judges now whether meet minimum Workflow net
Condition, whether net now seeks to the minimum generation Workflow net looked for if meeting, if it is not satisfied, judging after being whether there is in netting
After transition node or without follow-up place node, be divided into following three kinds of situations and be added:When the storehouse only without follow-up transition
Institute's node, then add a Tv (virtual transition) and corresponding Fvi (virtual arc) causes these place nodes to be pointed to by Fvi
Tv, then a Pv (virtual place node) and Fv (virtual arc) is added, Tv is pointed to Pv by Fv;When only without follow-up place
Transition node, then add a Pv (virtual place) and corresponding Fvi (virtual arc) so that these transition pass through Fvi sensings
Pv;When the place node for whetheing there is follow-up transition also whether there is the transition node of follow-up place, then a Tv is added first (virtual to become
Move) and corresponding Tvi (virtual arc) so that the place node without follow-up transition points to Tv by Tvi, and a Pv is then added again
(virtual place) and corresponding Tvj (virtual arc) so that the transition node for whetheing there is follow-up place points to Pv by Tvj.
In addition, by description above, the present invention is used for this net purchase system by 2 below in conjunction with the accompanying drawings, in the net
In purchasing system, including:Log in, select commodity, then directly buy or add shopping cart, the commodity for adding shopping cart are carried out
Clearing, then select the means of payment, are payment selection delivery of cargo modes under payment under on-line payment or line, line, pick up by oneself or send
Goods is visited, and selects site, and integration guarantee confirms address, confirmed an order that on-line payment selection, Alipay is paid or Net silver branch
Pay, obtain the preference that integration postscript employs family, finally confirm to receive, then receive.Concrete operations mode is related to referring to Fig. 2
Whether many operating procedures, but not all relevant property of operating procedure, normally have no effect on other operations normal
Carry out;Remaining node normal work.In the present example it is assumed that node Alipay, which is paid, occurs in that failure, i.e. Alipay branch is paid
Showed problem, if the purpose of system online evolution can also be reached by this moment whole system shut down repairing, but resource and when
Between waste larger.Pass through above-mentioned model and algorithm, it is only necessary to find and pay the node for having data correlation with Alipay,
So being found out and the related node of Alipay payment by finding minimum generation Workflow net.According to above-mentioned minimum generation work
The definition of drift net, it can be found that logging in Alipay meets condition, i.e. Alipay Zhi Fuyu logs in the workflow that Alipay is constituted
Net seeks to the minimum generation Workflow net looked for, the normal work of Workflow net other parts in addition to minimum generation Workflow net
Make;Others node, which there is a problem, in system equally will influence model with the method for looking for minimum to generate Workflow net
Enclosing arrives minimum.This method system can be broken down brought loss be reduced to it is minimum.
The preferred embodiment of the present invention is described in detail above in association with accompanying drawing, still, the present invention is not limited to above-mentioned reality
The detail in mode is applied, in the range of the technology design of the present invention, a variety of letters can be carried out to technical scheme
Monotropic type, these simple variants belong to protection scope of the present invention.
It is further to note that each particular technique feature described in above-mentioned embodiment, in not lance
In the case of shield, can be combined by any suitable means, in order to avoid unnecessary repetition, the present invention to it is various can
The combination of energy no longer separately illustrates.
In addition, various embodiments of the present invention can be combined randomly, as long as it is without prejudice to originally
The thought of invention, it should equally be considered as content disclosed in this invention.
Claims (4)
1. a kind of minimum generation Workflow net method for determining evolution domain, it is characterised in that this method includes:
S101, will initialize system abstract is Workflow net, it is determined that the specified change in the Workflow net corresponding with trouble node
Move;
S102, it is set to initialize the Workflow net, and the specified transition are divided into the set;
All transition in S103, traversal Workflow net, judge whether all transition have to the specified transition and draw one by one
Hair is completely dependent on, when a transition in all transition are completely dependent on to the specified transition with initiation, then by described in
One transition is divided into the set;
S104, when the set meets the condition of Workflow net, the collection is combined into minimum output services drift net;
When the set is unsatisfactory for the condition of Workflow net, dummy node is added in the Workflow net to cause the collection
It is combined into minimum output services drift net;
In step S103,
The initiation is completely dependent on including:Directly trigger and be completely dependent on or indirectly trigger to be completely dependent on;
In Workflow net, to any one node Ti, if its node can trigger forerunner's sequence to have k individual, respectively N1,
N2......Nk, k are positive integer, if transition node Tj ∈ N1 and Tj ∈ N2.... and Tj ∈ Nk, Ti is direct or indirect to Tj
It is completely dependent on;
Directly trigger and be completely dependent on:For any two activity δ in the executed active sequences δ of a certain Services Composition example
[i] and δ [j], if δ [j] only has foundation on the basis of δ [i] generations, claims δ [j] to place one's entire reliance upon δ [i];Have
And only activity δ [i] occurs, movable δ [j] can just occur;It is denoted as:δ[i]→δ[j];
Trigger indirectly and be completely dependent on:For 3 activity δ [i] in the executed active sequences δ of a certain Services Composition example, δ
[j], δ [k], wherein i<j<K, if activity δ [i] depends directly or indirectly on movable δ [j], movable δ [j] directly or indirectly relies on
In movable δ [k], then activity δ [i] indirectly depends on movable δ [k];It is denoted as:δ[k]→→δ[i];
In step S104, the condition that set meets Workflow net includes:
When all input transition in any one place in the Workflow net belong to the set and the Workflow net
In any one arc in all input nodes and all output nodes when belonging to the set, the collection is combined into minimum output
Workflow net.
2. the minimum generation Workflow net method according to claim 1 for determining evolution domain, it is characterised in that in step
In S104, the method for addition dummy node includes:
Virtual place and virtual arc are added, and the virtual place is pointed in the Workflow net without follow-up by the virtual arc
The transition node of place causes the collection to be combined into minimum output services drift net.
3. the minimum generation Workflow net method according to claim 1 for determining evolution domain, it is characterised in that in step
In S104, the method for addition dummy node also includes:
S201, judges to whether there is the place node without follow-up transition and/or the transition without follow-up place in the Workflow net
Node,
S202, when there is the place node without follow-up transition and the transition node without follow-up place is not present, first adds first
It is virtual to change and virtually change the first corresponding virtual arc with described first so that the place node without follow-up transition is logical
Cross the first virtual arc and point to the first virtually transition;The first virtual place and the second virtual arc are added again, make the described first virtual change
Move and the first virtual place is pointed to by second virtual arc;Or
When there is the transition node without follow-up place and the place node without follow-up transition is not present, the second virtual place is added
The 3rd corresponding virtual arc makes the transition node without follow-up place by the described 3rd with the described second virtual place
Virtual arc points to the second virtual place;Or
When there is the place node without follow-up transition and there is the transition node without follow-up place, the second virtually transition are first added
Make the place node without follow-up transition by the described 4th with the 4th corresponding virtual arc is virtually changed with described second
Virtual arc points to the described second virtual transition;The 3rd virtual place and the corresponding with the 3rd virtual place the 5th are added again
Virtual arc makes the transition node without follow-up place point to the 3rd virtual place by the 5th virtual arc.
4. the minimum generation Workflow net method according to claim 1 for determining evolution domain, it is characterised in that step S103
Judge that the step of whether any one transition in all transition are completely dependent on to the specified transition with initiation includes:
S301, records the individual forerunner's sequences that can trigger of k of any one transition, wherein k is natural number;
S302, judges whether the specified transition belong to all forerunner's sequences triggered;
S303, when it is described it is specified transition belong to it is all described in can trigger forerunner's sequence when, then judge the transition to it is described refer to
Fixed transition are completely dependent on initiation;
Forerunner's sequence can be triggered:In Workflow net, the minmal sequence of all transition node compositions triggered before Ti nodes
Referred to as Ti's triggers forerunner's sequence, and so-called minmal sequence is not exactly when any node triggers in sequence, and Ti can not trigger.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201410567556.9A CN104317885B (en) | 2014-10-22 | 2014-10-22 | A kind of minimum generation Workflow net method for determining evolution domain |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201410567556.9A CN104317885B (en) | 2014-10-22 | 2014-10-22 | A kind of minimum generation Workflow net method for determining evolution domain |
Publications (2)
Publication Number | Publication Date |
---|---|
CN104317885A CN104317885A (en) | 2015-01-28 |
CN104317885B true CN104317885B (en) | 2017-09-19 |
Family
ID=52373117
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201410567556.9A Active CN104317885B (en) | 2014-10-22 | 2014-10-22 | A kind of minimum generation Workflow net method for determining evolution domain |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN104317885B (en) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109102138B (en) * | 2018-04-13 | 2021-06-15 | 同济大学 | Abnormal segment extraction method for workflow network inspection, readable storage medium and terminal |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101216911A (en) * | 2008-01-04 | 2008-07-09 | 清华大学 | Dynamic workflow model subdivision method supporting distributed execution |
CN101441681A (en) * | 2008-12-24 | 2009-05-27 | 东南大学 | Property analysis method and system of general-purpose Petri net based on quasi-perfect finite reachable tree |
CN101751626A (en) * | 2010-01-04 | 2010-06-23 | 北京航空航天大学 | Method for on-line transferring operation instance in combined service evolution |
CN103973483A (en) * | 2014-04-28 | 2014-08-06 | 南京邮电大学 | Web service combination analysis method based on net theory |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8429653B2 (en) * | 2007-05-31 | 2013-04-23 | Sap Ag | Process model control flow with multiple synchronizations |
-
2014
- 2014-10-22 CN CN201410567556.9A patent/CN104317885B/en active Active
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101216911A (en) * | 2008-01-04 | 2008-07-09 | 清华大学 | Dynamic workflow model subdivision method supporting distributed execution |
CN101441681A (en) * | 2008-12-24 | 2009-05-27 | 东南大学 | Property analysis method and system of general-purpose Petri net based on quasi-perfect finite reachable tree |
CN101751626A (en) * | 2010-01-04 | 2010-06-23 | 北京航空航天大学 | Method for on-line transferring operation instance in combined service evolution |
CN103973483A (en) * | 2014-04-28 | 2014-08-06 | 南京邮电大学 | Web service combination analysis method based on net theory |
Non-Patent Citations (2)
Title |
---|
Web服务组合动态演化的实例可迁移性;宋巍等;《计算机学报》;20090915;第32卷(第9期);第1817-1829页 * |
基于Petri网模型的工作流实例迁移算法;李强等;《计算机工程与设计》;20071108;第28卷(第21期);第5086-5087页 * |
Also Published As
Publication number | Publication date |
---|---|
CN104317885A (en) | 2015-01-28 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
KR102140414B1 (en) | Blockchain consensus method and device | |
CN107180371A (en) | The method and system of commodity is bought using reward voucher | |
CN105117930A (en) | Recommending method and apparatus based on e-commerce platform | |
CN105450583A (en) | Information authentication method and device | |
US20180069769A1 (en) | Service implementation method and apparatus | |
CN104517223A (en) | Commodity information recommending method and device | |
CN104616138A (en) | Resource transferring method, system and device | |
KR20180004749A (en) | Service scenario matching method and system | |
CN108694574B (en) | Resource transfer channel processing method, device and equipment | |
EP3425523A1 (en) | Application program classification method and apparatus | |
CN105404458A (en) | Webpage content updating method and apparatus | |
CN107909321A (en) | Order generation method, order generating means, medium and computing device | |
CN104156232A (en) | Equipment and method for nonlinear page skip under linear page structure | |
US20170109141A1 (en) | Mobile application builder and use | |
Lozada et al. | Green-based innovation: Sustainable development in product management | |
CN105262794A (en) | Content delivery method and device | |
CN104317885B (en) | A kind of minimum generation Workflow net method for determining evolution domain | |
Kim et al. | Analysis of the impact of technology changes on the economic and environmental influence of product life-cycle design | |
CN105955743A (en) | Resource data transfer request generating method, device and system | |
CN107895112A (en) | List priority assignation, list generation method and device, medium, electronic equipment | |
CN106940714A (en) | A kind of data processing method, device and electronic equipment | |
CN102004660A (en) | Realizing method and device of business flows | |
CN106682888B (en) | Service information processing method and processing device | |
US20140068339A1 (en) | Systems and Methods for State Based Test Case Generation for Software Validation | |
JP6403527B2 (en) | Design diversion support device, design diversion support method and program |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |