CN109032931A - With time, resource, the Workflow system modeling method of input and output constraint - Google Patents

With time, resource, the Workflow system modeling method of input and output constraint Download PDF

Info

Publication number
CN109032931A
CN109032931A CN201810737177.8A CN201810737177A CN109032931A CN 109032931 A CN109032931 A CN 109032931A CN 201810737177 A CN201810737177 A CN 201810737177A CN 109032931 A CN109032931 A CN 109032931A
Authority
CN
China
Prior art keywords
resource
activity
input
workflow
time
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
Application number
CN201810737177.8A
Other languages
Chinese (zh)
Inventor
郑长友
洪宇
李辉
胡斌
黄松
史涯晴
张婷婷
惠战伟
蒋园园
张赛男
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Army Engineering University of PLA
Original Assignee
Army Engineering University of PLA
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Army Engineering University of PLA filed Critical Army Engineering University of PLA
Priority to CN201810737177.8A priority Critical patent/CN109032931A/en
Publication of CN109032931A publication Critical patent/CN109032931A/en
Pending legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G06F11/3684—Test management for test design, e.g. generating new test cases
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G06F11/3688—Test management for test execution, e.g. scheduling of test suites

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

The present invention provides a kind of band time, resource, the Workflow system modeling methods of input and output constraint.The band time, resource, the Workflow system modeling method of input and output constraint include the following steps: step 1, and system is newly defined as with input and output and resource, the workflow of time-constrain；Step 2, the RTI/O_WF_Net model after definition extension；Step 3, workflow is converted into I/O_WF_Net model according to algorithm；Step 4, increase time attribute for the active migration in model；Step 5, corresponding relationship models resources bank in one's power；Step 6, initialization tag is carried out to model.The beneficial effects of the present invention are: the band time, resource, the Workflow system modeling method of input and output constraint analyze the phenomenon that Workflow system resource contention that is likely to occur of test or conflict, establish the Timed Petri Net model of system under test (SUT), reach simplified Workflow system test method, the testing time is reduced, the purpose of testing efficiency is improved.

Description

With time, resource, the Workflow system modeling method of input and output constraint
Technical field
The invention belongs to field of computer technology, the work constrained more particularly to a kind of band time, resource, input and output Streaming system modeling method.
Background technique
Workflow system has the characteristics that concurrent, the visual design process, supports various Complicated Flows, uses workflow system System can improve the utilization of resources, track business procession, give full play to network and the effect of computer, and then improve enterprise Operation efficiency.Increase with to Workflow system test practice, it has been found that current test method is directed to such software Property is not strong, and testing efficiency is lower, and the discovery of failure is not prompt enough.To in the test of Workflow system, tester is mostly root According to experience manual compiling test case, and test method, based on manual test, this not only lowers Workflow system tests Adequacy, the reliability of system can not guarantee well.For to Workflow system implement it is more convenient it is reliable from Dynamicization test, need to carry out abstract modeling to it first.
In the actual motion of workflow, need such a kind of element: (or several) are movable executes needs for some The element is as a kind of trigger condition, and after this kind of activity is finished, and this kind of element will be released again, such one kind We term it resources for element.Its safety of structure, temporal consistency etc. have mostly been paid close attention to the research of workflow technology Content, and have ignored the influence of resource this element to workflow execution process and result.In fact, in Workflow system Even all there may be great influences for implementing result for entire implementation procedure of the resource to workflow.Each activity is right in workflow The sequence that respective resources occupy, the length of holding time will all be related to the total time of entire workflow execution, also will affect pair The time that Workflow system is tested.
Summary of the invention
It is an object of the invention in view of the drawbacks of the prior art or problem, provide a kind of band time, resource, input and output The Workflow system modeling method of constraint analyzes the phenomenon that resource contention being wherein likely to occur or conflict, finds needle To the optimal cycle tests of corresponding system under test (SUT), reach simplified test method, reduces the testing time, improve the mesh of testing efficiency 's.
Technical scheme is as follows: a kind of band time, resource, the Workflow system modeling method of input and output constraint Include the following steps: step 1, system is newly defined as with input and output and resource, the workflow of time-constrain；Step 2, the RTI/O_WF_Net model after definition extension；Step 3, workflow is converted into I/O_WF_Net model according to algorithm；Step 4, it is that the active migration in model increases time attribute；Step 5, corresponding relationship models resources bank in one's power；Step 6, to model into Row initialization tag.
Preferably, the workflow defining in step 1 with input and output and resource, time-constrain are as follows:
Nine tuple < Activity, Input, Output, Resource, Relation, fAI,fAO,fTT,fTR> indicates band Input and output and resource, the workflow of time-constrain, in which:
Activity={ activity1,activity2,…activityk(k >=1) indicate workflow active set；
Input={ input1,input2,…inputm(m >=1) indicate input element set；
Output={ output1,output2,…outputn(n >=1) indicate output element set；
Resource={ resource1,resource2,…resourcel(l >=1) indicate resource set；
Relation={ (f, Type) | f ∈ (Activity × Activity) } indicates the set of relationship in workflow, Middle Type ∈ { sequence, and-join, or-join, and-split, or-split } indicates former and later two work in workflow Dynamic relationship type；
fAI: Activity → ρ (Input) indicates a certain movable mapping for arriving input element in workflow, wherein ρ (Input) power set of input element is indicated；
fAO: Activity → ρ (Output) indicates that the mapping for exporting element is arrived in a certain activity in workflow, wherein ρ (Output) power set of output element is indicated；
fTT: Activity → Time is that a certain activity is to temporal mapping in workflow, if fTT(activity1)= time1, then it represents that movable activity1Execution need time be time1；
fTR: Activity → ρ (Resource) indicates a certain movable mapping for arriving resource in workflow, wherein ρ (Resource) power set of resource is indicated.
Preferably, the RTI/O_WF_Net model after extension is defined in step 2 is defined as:
∑=(P, T, F, M0, α, K) and it is the Petri net model with input and output and resource, time-constrain workflow RTI/O_WF_Net, and if only if meeting following condition:
(P,T,F,M0) it is a time delay Workflow net；
T indicates the active set in workflow；
P=Pin∪Pout∪PR,Wherein PinIndicate input class libraries institute, PoutIndicate output class libraries Institute, PRIndicate resource class libraries institute；
pin∈Pin, the execution of movable t needs to input pinAnd if only if
pout∈Pout, the execution of movable t, which generates, exports poutAnd if only if
pr∈PR, the execution of movable t needs resource prAnd if only ifAnd
α: T → R represents the activity in workflow to temporal mapping, when indicating required for the execution of respective activity Between, wherein R represents nonnegative real number；
K:PR→ N ∪ { ∞ } is PROn capacity function, i.e. N be Positive Integer Set.
Preferably, include: in the content that step 4 is the active migration increase time attribute in model
If activity activityiThe execution time be timei, i.e. fTT(activityi)=timei, then when modeling, α (t need to only be enabledi)=fTT(activityi)=timei。
Preferably, specifically comprise the following steps: in step 5
(1) resources bank is modeled
Resources bank indicates that identical resource is represented by same library, stain therein using dashed circle in a model Indicate the quantity for the resource that can be provided, i.e. pRiMultiplicity in resource collection Resource；
(2) it needs to model using the single-unit activity of resource
If activity tiExecution need using resource pRi, then when modeling, it is also necessary to resources bank institute p be addedRi.So thatAnd
If activity tiNeed multiple resource pR1,pR2..., then need to guarantee that each resource node is both contained in when modeling· ti, while being also contained inThis also means that tiIt need to guarantee that each resource is ready and unmovable by other when execution It occupies, each resource pR1,pR2... it can only be in movable tiExecution could uniformly be discharged after being fully completed；
(3) same resource is shared in multiple activities
If activity ti、tjIt is required when being executed using to resource pRi, then when modeling, first by resources bank institute pRiAdd Enter to model, makes simultaneouslyAnd
In two concurrent activities ti、tjIt is used in conjunction with resource pRiIn the case of, if K (PRi)=1, it is living in synchronization Dynamic tiAnd tjBetween can only there is one to occupy the resource, another activity must wait until pRiThe resource could be obtained after being released.
Preferably, step 6 specifically includes following content:
By increasing resources bank institute in RTI/O_WF_Net model, when carrying out initial markers to it, in addition to needing Outside start node being marked, also copes with each resources bank and be marked, RTI/O_WF_Net model ∑=(P, T, F,M0, α, K) initial markers meet following condition:
Technical solution provided by the invention has the following beneficial effects:
The band time, resource, the Workflow system modeling method of input and output constraint are possible to Workflow system test The phenomenon that resource contention of appearance or conflict, is analyzed, and establishes the Timed Petri Net model of system under test (SUT), reaches simplified work Make streaming system test method, reduces the testing time, improve the purpose of testing efficiency.
Detailed description of the invention
Fig. 1 is the Workflow system modeling method flow chart constrained with time, resource, input and output that the present invention is implemented；
Fig. 2 is the functional block diagram for the individual commodity recommendation system based on user behavior analysis that the present invention is implemented；
Fig. 3 is the activity shared resource modeling schematic diagram of two sequence relationships.
Specific embodiment
In order to make the objectives, technical solutions, and advantages of the present invention clearer, with reference to the accompanying drawings and embodiments, right The present invention is further elaborated.It should be appreciated that the specific embodiments described herein are merely illustrative of the present invention, It is not intended to limit the present invention.
The description of specific distinct unless the context otherwise, the present invention in element and component, the shape that quantity both can be single Formula exists, and form that can also be multiple exists, and the present invention is defined not to this.Although step in the present invention uses label It is arranged, but is not used to limit the precedence of step, unless expressly stated the order of step or certain step It executes based on needing other steps, otherwise the relative rank of step is adjustable.It is appreciated that being made herein Term "and/or" one of is related to and covers associated listed item or one or more of any and all possibility Combination.
Band time provided by the invention, resource, the Workflow system modeling method of input and output constraint include the following steps:
Step 1, system is newly defined as with input and output and resource, the workflow of time-constrain.
Specifically, in step 1, the workflow defining with input and output and resource, time-constrain are as follows:
Nine tuple < Activity, Input, Output, Resource, Relation, fAI,fAO,fTT,fTR> indicates band Input and output and resource, the workflow of time-constrain, in which:
1) Activity={ activity1,activity2,…activityk(k >=1) indicate workflow active set It closes；
2) Input={ input1,input2,…inputm(m >=1) indicate input element set；
3) Output={ output1,output2,…outputn(n >=1) indicate output element set；
4) Resource={ resource1,resource2,…resourcel(l >=1) indicate resource set；
5) Relation={ (f, Type) | f ∈ (Activity × Activity) } indicates the set of relationship in workflow, Wherein Type ∈ { sequence, and-join, or-join, and-split, or-split } indicates former and later two in workflow Movable relationship type；
6)fAI: Activity → ρ (Input) indicates a certain movable mapping for arriving input element in workflow, wherein ρ (Input) power set of input element is indicated；
7)fAO: Activity → ρ (Output) indicates that the mapping for exporting element is arrived in a certain activity in workflow, wherein ρ (Output) power set of output element is indicated；
8)fTT: Activity → Time is that a certain activity is to temporal mapping in workflow, if fTT(activity1) =time1, then it represents that movable activity1Execution need time be time1；
9)fTR: Activity → ρ (Resource) indicates a certain movable mapping for arriving resource in workflow, wherein ρ (Resource) power set of resource is indicated.
In above-mentioned definition:
1) set Resource defines the whole resources needed when work flow operation, assumes that whole resources can be herein It is ready to complete before the execution of workflow, i.e., without considering to prepare the time spent by resource, meanwhile, set Resource is one A multiple set 1, i.e., be wherein likely to occur identical resource, this also more tallies with the actual situation；
2) for arbitrary activity1∈ Activity, resource1∈ Resource, if fTR(activity1) =resource1, then illustrate movable activity1Execution need using resource resource1, and in activity1It holds Resource between the departure date1It will be locked, cannot be used by other activities；
3) for arbitrary activity1∈ Activity, activity2∈ Activity, resource1∈ Resource, if fTR(activity1)=resource1, fTR(activity2)=resource1, then illustrate activity activity1、activity2Execution require resource resource1.Since resource by movable occupies tool in workflow There is exclusiveness, therefore in movable activity1During execution, resource resource1It will be locked, movable activity2It is necessary Until activity1It is finished, and resource1It could be executed after being released.
Step 2, the RTI/O_WF_Net model after definition extension.
Specifically, the RTI/O_WF_Net model after extension is defined in step 2 is defined as:
∑=(P, T, F, M0, α, K) and it is the Petri net model with input and output and resource, time-constrain workflow RTI/O_WF_Net, and if only if meeting following condition:
1)(P,T,F,M0) it is a time delay Workflow net；
2) T indicates the active set in workflow；
3) P=Pin∪Pout∪PR,Wherein PinIndicate input class libraries institute, PoutIndicate output class Library institute, PRIndicate resource class libraries institute；
4)pin∈Pin, the execution of movable t needs to input pinAnd if only if
5)pout∈Pout, the execution of movable t, which generates, exports poutAnd if only if
6)pr∈PR, the execution of movable t needs resource prAnd if only ifAnd
7) α: T → R represents the activity in workflow to temporal mapping, indicates required for the execution of respective activity Time, wherein R represents nonnegative real number；
8)K:PR→ N ∪ { ∞ } is PROn capacity function, i.e. N be Positive Integer Set.
Step 3, workflow is converted into I/O_WF_Net model according to algorithm.
It specifically, in step 3, can be I/O_WF_ by the workflow modeling constrained with input and output according to following algorithm Net model:
Multiple set refers to the set for allowing to duplicate element.Assuming that S is a multiple set, then it is wherein all not identical The collection that element is constituted is collectively referred to as the basis set of S, is denoted as ranS, if element x occurs k times in set S, claims repetition of the x in S Degree is k, is denoted asThat is x[k]∈S；
Specifically algorithm is as follows:
Input set: Workflow=<Activity, Input, Output, Relation, fAI, fAO>
Output collection: ∑=(P, T, F, M0)
Algorithm totally five step:
Step 1: single-unit activity models
To each element in T, enable
Step 2: workflow relationship modeling
To arbitraryIf ti,tj∈ Relation then uses one of following situation place to it Reason:
(1) when relationship type is sequence, T=T ∪ t is enabledi；j,
(2) when relationship type is and-join, ifThen enable T=T ∪ ti；j, Otherwise, it enables
(3) when relationship type is or-join, T=T ∪ t is enabledij,
(4) when relationship type is and-split, ifThen enable T=T ∪ ti；j, Otherwise it enables
(5) when relationship type is or-split, T=T ∪ t is enabledi；j,
Step 3: start node models, to the initial climate and other natural phenomena of a seasonThen, P=P is enabled ∪ps, T=T ∪ ts, F=F ∪ { (ps,ts), to arbitrary ti∈Ts, enable
Step 4: terminal node models, to terminal nodeEnable P=P ∪ pe, T=T ∪ te, F=F ∪ { (te,pe), to arbitrary, ti∈TeIt enables
Step 5: enabling M0(ps)=1 exports ∑=(P, T, F, M0)
Step 4, increase time attribute for the active migration in model.
Specifically, include: in the content that step 4 is the active migration increase time attribute in model
If activity activityiThe execution time be timei, i.e. fTT(activityi)=timei, then when modeling, α (t need to only be enabledi)=fTT(activityi)=timei。
Step 5, corresponding relationship models resources bank in one's power.
Specifically, specifically comprise the following steps: in step 5
(1) resources bank is modeled
Resources bank indicates that identical resource is represented by same library, stain therein using dashed circle in a model Indicate the quantity for the resource that can be provided, i.e. pRiMultiplicity in resource collection Resource.
(2) it needs to model using the single-unit activity of resource
If activity tiExecution need using resource pRi, then when modeling, it is also necessary to resources bank institute p be addedRi.So thatAnd
As shown in Figure 1, if activity tiNeed multiple resource pR1,pR2..., then need to guarantee each resource node when modeling It is both contained in·ti, while being also contained inThis also means that tiNeed to guarantee when execution each resource it is ready and not by Other activities occupy, each resource pR1,pR2... it can only be in movable tiExecution could uniformly be discharged after being fully completed；
(3) same resource is shared in multiple activities
If activity ti、tjIt is required when being executed using to resource pRi, then when modeling, first by resources bank institute pRiAdd Enter to model, makes simultaneouslyAnd
As shown in Fig. 2, in two concurrent activities ti、tjIt is used in conjunction with resource pRiIn the case of, if K (PRi)=1, same One moment, movable tiAnd tjBetween can only there is one to occupy the resource, another activity must wait until pRiIt could be obtained after being released The resource.
In addition to concurrent activities, as shown in figure 3, constituting contextual two activities in workflow process may also share Same resource.
Step 6, initialization tag is carried out to model.
Specifically, following content is specifically included in step 6:
By increasing resources bank institute in RTI/O_WF_Net model, when carrying out initial markers to it, in addition to needing Outside start node being marked, also copes with each resources bank and be marked, RTI/O_WF_Net model ∑=(P, T, F,M0, α, K) initial markers meet following condition:
Moreover, the algorithm in step 6 is as follows:
Algorithm totally six step:
Input set: workflow=< Activity, Input, Output, Resource, Relation, fAI,fAO,fTT, fTR>
Output collection: ∑=(P, T, F, M0,α,K)
Algorithm walks altogether:
Step 1: resource node models: to the node P arbitrarily in resource setri, enable K (pri)=k then enables node collection P=P ∪ Pr
Step 2: single-unit activity models: to each element i in active set T, enabling α(ti)←fTT(ti), if fTR(ti)=pr, then F=is enabled F∪{(pr,ti),(ti,pr)}
Step 3: workflow relationship modeling
To arbitraryIf ti,tj∈ Relation then uses one of following situation place to it Reason:
(1) when relationship type is sequence, T=T ∪ t is enabledi；j,
(2) when relationship type is and-join, ifThen enable T=T ∪ ti；j, Otherwise, it enables
(3) when relationship type is or-join, T=T ∪ t is enabledij,
(4) when relationship type is and-split, ifThen enable T=T ∪ ti；j, Otherwise it enables
(5) when relationship type is or-split, T=T ∪ t is enabledi；j,
Step 4: start node models, to the initial climate and other natural phenomena of a seasonThen, P=P is enabled ∪ps, T=T ∪ ts, F=F ∪ { (ps,ts), to arbitrary ti∈Ts, enable
Step 5: terminal node models, to terminal nodeEnable P=P ∪ pe, T=T ∪ te, F=F ∪ { (te,pe), to arbitrary, ti∈TeIt enables
Step 6: enabling M0(ps)=1, M0(pri)=K (pri) output ∑=(P, T, F, M0,α,K)
In algorithm, first circulation be to resource node row model, time loss be O (| Pr|)；Second circulation be Single-unit activity is modeled, time loss is O (| T |)；Next the relationship in workflow is modeled, needed for Time consumption be O (| Relation |)=O (| T | × | T |)=O (| T |2)；Due to incipient activity in model and ending activity Number is centainly no more than | T |, thus to incipient activity and ending activity model the time required to it consumption no more than O (| T |)；Finally to entire model carry out initial markers be the time required to it O (1)+O (| Pr|).In conclusion entire algorithm when Between complexity be O (| T |2)+O(|Pr|), it can be completed in polynomial time.
It is obvious to a person skilled in the art that invention is not limited to the details of the above exemplary embodiments, Er Qie In the case where without departing substantially from spirit or essential attributes of the invention, the present invention can be realized in other specific forms.Therefore, nothing By from the point of view of which point, the present embodiments are to be considered as illustrative and not restrictive, and the scope of the present invention is by institute Attached claim rather than above description limit, it is intended that will fall within the meaning and scope of the equivalent elements of the claims All changes be included within the present invention.It should not treat any reference in the claims as limiting related right It is required that.
In addition, it should be understood that although this specification is described in terms of embodiments, but not each embodiment is only wrapped Containing an independent technical solution, this description of the specification is merely for the sake of clarity, and those skilled in the art should It considers the specification as a whole, the technical solutions in the various embodiments may also be suitably combined, forms those skilled in the art The other embodiments being understood that.

Claims (6)

1. a kind of band time, resource, the Workflow system modeling method of input and output constraint, it is characterised in that: including walking as follows It is rapid:
Step 1, system is newly defined as with input and output and resource, the workflow of time-constrain；
Step 2, the RTI/O_WF_Net model after definition extension；
Step 3, workflow is converted into I/O_WF_Net model according to algorithm；
Step 4, increase time attribute for the active migration in model；
Step 5, corresponding relationship models resources bank in one's power；
Step 6, initialization tag is carried out to model.
2. a kind of band time according to claim 1, resource, the Workflow system modeling method of input and output constraint, It is characterized in that, the workflow defining in step 1 with input and output and resource, time-constrain are as follows:
Nine tuple < Activity, Input, Output, Resource, Relation, fAI,fAO,fTT,fTR> indicates band input Output and resource, the workflow of time-constrain, in which:
1) Activity={ activity1,activity2,…activityk(k >=1) indicate workflow active set；
2) Input={ input1,input2,…inputm(m >=1) indicate input element set；
3) Output={ output1,output2,…outputn(n >=1) indicate output element set；
4) Resource={ resource1,resource2,…resourcel(l >=1) indicate resource set；
5) Relation={ (f, Type) | f ∈ (Activity × Activity) } indicates the set of relationship in workflow, wherein Type ∈ { sequence, and-join, or-join, and-split, or-split } indicates former and later two activities in workflow Relationship type；
6)fAI: Activity → ρ (Input) indicates a certain movable mapping for arriving input element in workflow, wherein ρ (Input) Indicate the power set of input element；
7)fAO: Activity → ρ (Output) indicates that the mapping for exporting element is arrived in a certain activity in workflow, wherein ρ (Output) power set of output element is indicated；
8)fTT: Activity → Time is that a certain activity is to temporal mapping in workflow, if fTT(activity1)= time1, then it represents that movable activity1Execution need time be time1；
9)fTR: Activity → ρ (Resource) indicates a certain movable mapping for arriving resource in workflow, wherein ρ (Resource) power set of resource is indicated.
3. a kind of band time according to claim 1, resource, the Workflow system modeling method of input and output constraint, It is characterized in that, the RTI/O_WF_Net model in step 2 after definition extension is defined as:
∑=(P, T, F, M0, α, K) and it is the Petri net model RTI/O_ with input and output and resource, time-constrain workflow WF_Net, and if only if meeting following condition:
1)(P,T,F,M0) it is a time delay Workflow net；
2) T indicates the active set in workflow；
3) P=Pin∪Pout∪PR,Wherein PinIndicate input class libraries institute, PoutIndicate output class libraries institute, PRIndicate resource class libraries institute；
4)pin∈Pin, the execution of movable t needs to input pinAnd if only if
5)pout∈Pout, the execution of movable t, which generates, exports poutAnd if only if
6)pr∈PR, the execution of movable t needs resource prAnd if only ifAnd
7) α: T → R represents the activity in workflow to temporal mapping, indicates the time required for the execution of respective activity, Wherein R represents nonnegative real number；
8)K:PR→ N ∪ { ∞ } is PROn capacity function, i.e. N be Positive Integer Set.
4. a kind of band time according to claim 1, resource, the Workflow system modeling method of input and output constraint, It is characterized in that, includes: in the content that step 4 is the active migration increase time attribute in model
If activity activityiThe execution time be timei, i.e. fTT(activityi)=timei, then only being needed when modeling Enable α (ti)=fTT(activityi)=timei。
5. a kind of band time according to claim 1, resource, the Workflow system modeling method of input and output constraint, It is characterized in that, specifically comprises the following steps: in step 5
(1) resources bank is modeled
Resources bank indicates that represented by same library, stain therein indicates identical resource using dashed circle in a model The quantity for the resource that can be provided, i.e. pRiMultiplicity in resource collection Resource；
(2) it needs to model using the single-unit activity of resource
If activity tiExecution need using resource pRi, then when modeling, it is also necessary to resources bank institute p be addedRi.So thatAnd
If activity tiNeed multiple resource pR1,pR2..., then need to guarantee that each resource node is both contained in when modeling·ti, together When be also contained inThis also means that tiIt need to guarantee that each resource is ready and is not occupied by other activities when execution, Each resource pR1,pR2... it can only be in movable tiExecution could uniformly be discharged after being fully completed；
(3) same resource is shared in multiple activities
If activity ti、tjIt is required when being executed using to resource pRi, then when modeling, first by resources bank institute pRiIt is added to Model makes simultaneouslyAnd
In two concurrent activities ti、tjIt is used in conjunction with resource pRiIn the case of, if K (PRi)=1, in synchronization, movable tiWith tjBetween can only there is one to occupy the resource, another activity must wait until pRiThe resource could be obtained after being released.
6. a kind of band time according to claim 1, resource, the Workflow system modeling method of input and output constraint, It is characterized in that, step 6 specifically includes following content:
By increasing resources bank institute in RTI/O_WF_Net model, when carrying out initial markers to it, in addition to needs pair Start node is also coped with each resources bank and is marked outside being marked, RTI/O_WF_Net model ∑=(P, T, F, M0, α, K) initial markers meet following condition:
CN201810737177.8A 2018-07-06 2018-07-06 With time, resource, the Workflow system modeling method of input and output constraint Pending CN109032931A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201810737177.8A CN109032931A (en) 2018-07-06 2018-07-06 With time, resource, the Workflow system modeling method of input and output constraint

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201810737177.8A CN109032931A (en) 2018-07-06 2018-07-06 With time, resource, the Workflow system modeling method of input and output constraint

Publications (1)

Publication Number Publication Date
CN109032931A true CN109032931A (en) 2018-12-18

Family

ID=64641677

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201810737177.8A Pending CN109032931A (en) 2018-07-06 2018-07-06 With time, resource, the Workflow system modeling method of input and output constraint

Country Status (1)

Country Link
CN (1) CN109032931A (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112785263A (en) * 2021-01-22 2021-05-11 山西青峰软件股份有限公司 Method and system for dynamically generating flow model by workflow engine

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN105760394A (en) * 2014-12-19 2016-07-13 江苏融成嘉益信息科技有限公司 Workflow modeling method based on XML (extensive markup language)
CN103713999B (en) * 2013-11-27 2016-07-27 中国人民解放军理工大学 Transformation relation test prioritization method based on quantitative measurement
CN106547696A (en) * 2016-10-28 2017-03-29 中国人民解放军理工大学 A kind of method for generating test case and device of Workflow-oriented system

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN103713999B (en) * 2013-11-27 2016-07-27 中国人民解放军理工大学 Transformation relation test prioritization method based on quantitative measurement
CN105760394A (en) * 2014-12-19 2016-07-13 江苏融成嘉益信息科技有限公司 Workflow modeling method based on XML (extensive markup language)
CN106547696A (en) * 2016-10-28 2017-03-29 中国人民解放军理工大学 A kind of method for generating test case and device of Workflow-oriented system

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
HUAIQING WANG: "Modeling and Analysis for WorkFlow Constrained by Resources and Nondetermined Time: An Approach Based on Petri Nets", 《IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS—PART A: SYSTEMS AND HUMANS》 *
郑长友: "基于Petri网的面向测试的工作流系统建模方法", 《电子科技大学学报》 *

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112785263A (en) * 2021-01-22 2021-05-11 山西青峰软件股份有限公司 Method and system for dynamically generating flow model by workflow engine

Similar Documents

Publication Publication Date Title
CN106484622B (en) Test method, apparatus and system
CN105068929B (en) Test script generation method and device, method of testing, test device and test system
CN104268079B (en) A kind of method and system of POS Application testings
CN109542791A (en) A kind of program large-scale concurrent evaluating method based on container technique
Xue et al. MPIWiz: Subgroup reproducible replay of MPI applications
CN104794057B (en) A kind of crossing event automated testing method and device
CN103235756A (en) Simulation testing method for partition application software of embedded system
CN106776280A (en) Configurable performance test device
US20030139917A1 (en) Late binding of resource allocation in a performance simulation infrastructure
CN106502898A (en) Method of testing and test driver and test platform
CN102307369A (en) Device and method for supporting parallel simulation and physical simulation of wireless sensor network
CN109558310A (en) Method for generating test case and device
CN110221975A (en) Create the method and device of interface use-case automatic test script
Marzolla Simulation-based performance modeling of UML software architectures.
CN107704384A (en) A kind of convergent method and system of speed-up chip functional verification
CN110362474A (en) A kind of distributed game test method, system, device and storage medium
CN110287332A (en) Method and device for selecting simulation model in cloud environment
Canfora et al. A case study of automating user experience-oriented performance testing on smartphones
CN105892304B (en) Curve data automatic interpretation method
Camara et al. DCE: Test the real code of your protocols and applications over simulated networks
CN113986746A (en) Performance test method and device and computer readable storage medium
CN105242958B (en) A kind of dummy experiment system exchanges method with HLA simulation system data
CN109446097A (en) A kind of regression test case selection method, device, terminal and storage medium
CN109032931A (en) With time, resource, the Workflow system modeling method of input and output constraint
CN111444635B (en) System dynamics simulation modeling method and system based on XML language

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
RJ01 Rejection of invention patent application after publication
RJ01 Rejection of invention patent application after publication

Application publication date: 20181218