org.processmining.converting.wfnet2bpel.pattern
Class BPELPatternMatcher
java.lang.Object
org.processmining.framework.models.petrinet.pattern.PatternMatcher
org.processmining.converting.wfnet2bpel.pattern.BPELPatternMatcher
public class BPELPatternMatcher
- extends PatternMatcher
Method Summary |
static BPELLibraryComponent |
getBPELLibraryComponent(PetriNet wfnet,
java.lang.String libraryComponent,
java.lang.String libraryPath,
java.util.Set<PetriNet> components,
java.util.Map<java.lang.String,BPELActivity> annotations)
|
static FlowComponent |
getMaximalFlowComponent(PetriNet wfnet,
java.util.Map<java.lang.String,BPELActivity> annotations,
java.util.Map<java.lang.String,Choice> choices,
java.util.Set<PetriNet> components)
Finds a maximal FLOW-component in a Petri net |
static PickComponent |
getPick(PetriNet wfnet,
java.util.Map<java.lang.String,Choice> choices)
Finds a PICK-component in a WF-net |
static SwitchComponent |
getSwitch(PetriNet wfnet,
java.util.Map<java.lang.String,Choice> choices)
Finds a SWITCH-component in a WF-net |
static void |
reduce(PetriNet wfnet,
PetriNet component,
BPELActivity annotation,
java.util.Map<java.lang.String,BPELActivity> annotations,
java.util.Map<java.lang.String,Choice> choices)
Reduces the input WF-net by the input component |
static BPELActivity |
substituteActivities(BPELActivity activity,
java.util.ArrayList<Transition> transitions,
java.util.Map<java.lang.String,BPELActivity> annotations,
java.util.Map<att.grappa.Node,att.grappa.Node> isomorphism)
|
Methods inherited from class org.processmining.framework.models.petrinet.pattern.PatternMatcher |
getComponentFromLibrary, getComponents, getExplicitChoiceComponents, getImplicitChoiceComponents, getMarkedGraphComponents, getMaximalSequence, getNode, getStateMachineComponents, getWellStructuredGraphComponents, getWhile, reduce |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
BPELPatternMatcher
public BPELPatternMatcher()
getMaximalFlowComponent
public static FlowComponent getMaximalFlowComponent(PetriNet wfnet,
java.util.Map<java.lang.String,BPELActivity> annotations,
java.util.Map<java.lang.String,Choice> choices,
java.util.Set<PetriNet> components)
- Finds a maximal FLOW-component in a Petri net
- Parameters:
wfnet
- choices
-
- Returns:
- A workflow net that is a marked graph, or null if no such exists
getPick
public static PickComponent getPick(PetriNet wfnet,
java.util.Map<java.lang.String,Choice> choices)
- Finds a PICK-component in a WF-net
- Parameters:
wfnet
- -
A WF-netchoices
- -
A map over all places in the WF-net to their choice type
- Returns:
- A WF-net that represent an implicit choice, or null if none is
found
getSwitch
public static SwitchComponent getSwitch(PetriNet wfnet,
java.util.Map<java.lang.String,Choice> choices)
- Finds a SWITCH-component in a WF-net
- Parameters:
wfnet
- -
A WF-netchoices
- -
A map describing the type of choice each place has
- Returns:
- A workflow net that represent an explicit choice
getBPELLibraryComponent
public static BPELLibraryComponent getBPELLibraryComponent(PetriNet wfnet,
java.lang.String libraryComponent,
java.lang.String libraryPath,
java.util.Set<PetriNet> components,
java.util.Map<java.lang.String,BPELActivity> annotations)
throws java.io.FileNotFoundException,
java.lang.Exception
- Throws:
java.io.FileNotFoundException
java.lang.Exception
substituteActivities
public static BPELActivity substituteActivities(BPELActivity activity,
java.util.ArrayList<Transition> transitions,
java.util.Map<java.lang.String,BPELActivity> annotations,
java.util.Map<att.grappa.Node,att.grappa.Node> isomorphism)
reduce
public static void reduce(PetriNet wfnet,
PetriNet component,
BPELActivity annotation,
java.util.Map<java.lang.String,BPELActivity> annotations,
java.util.Map<java.lang.String,Choice> choices)
- Reduces the input WF-net by the input component
- Parameters:
wfnet
- -
The WF-netcomponent
- -
The componentannotation
- -
An annotation describing the componentannotations
- -
A map from transition names to annotationschoices
- -
A map from place names to their choice types