org.processmining.converting.wfnet2bpel.pattern
Class BPELPatternMatcher

java.lang.Object
  extended by org.processmining.framework.models.petrinet.pattern.PatternMatcher
      extended by org.processmining.converting.wfnet2bpel.pattern.BPELPatternMatcher

public class BPELPatternMatcher
extends PatternMatcher


Constructor Summary
BPELPatternMatcher()
           
 
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
 

Constructor Detail

BPELPatternMatcher

public BPELPatternMatcher()
Method Detail

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-net
choices - - 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-net
choices - - 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-net
component - - The component
annotation - - An annotation describing the component
annotations - - A map from transition names to annotations
choices - - A map from place names to their choice types