|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Component | |
---|---|
org.processmining.converting.wfnet2bpel |
Uses of Component in org.processmining.converting.wfnet2bpel |
---|
Methods in org.processmining.converting.wfnet2bpel that return Component | |
---|---|
static Component |
PatternMatcher.getComponentFromLibrary(PetriNet wfnet,
Triple<java.lang.String,PetriNet,BPELActivity> libraryComponent,
java.util.TreeSet<PetriNet> components,
java.util.Map<java.lang.String,BPELActivity> annotations,
java.util.Map<java.lang.String,Choice> choices)
Finds a component from a the user defined LIBRARY-components |
static Component |
PatternMatcher.getMaximalFlow(PetriNet wfnet,
java.util.Map<java.lang.String,BPELActivity> annotations,
java.util.Map<java.lang.String,Choice> choices)
Finds a maximal FLOW-component in a Petri net |
static Component |
PatternMatcher.getMaximalSequence(PetriNet wfnet)
Finds a maximal sequence in a given WF-net |
static Component |
PatternMatcher.getPick(PetriNet wfnet,
java.util.Map<java.lang.String,Choice> choices)
Finds a PICK-component in a WF-net |
static Component |
PatternMatcher.getSwitch(PetriNet wfnet,
java.util.Map<java.lang.String,Choice> choices)
Finds a SWITCH-component in a WF-net |
static Component |
PatternMatcher.getWhile(PetriNet wfnet,
java.util.Map<java.lang.String,Choice> choices)
Finds a WHILE-component in a WF-net |
Methods in org.processmining.converting.wfnet2bpel with parameters of type Component | |
---|---|
static BPELActivity |
BPELTranslator.translate(Component match,
java.util.Map<java.lang.String,BPELActivity> annotations)
Translate a match into an activity. |
Method parameters in org.processmining.converting.wfnet2bpel with type arguments of type Component | |
---|---|
void |
ReductionResult.showReductions(java.util.Vector<Pair<PetriNet,Component>> reductions)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |