|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.converting.WFNetToYAWL
public class WFNetToYAWL
Title: Labeled WF Net to YAWL model convertor
Description: Takes a labeled WF-net and converts it into a YAWL model.
Copyright: Copyright (c) 2004 Eric Verbeek
Company: TU/e
Constructor Summary | |
---|---|
WFNetToYAWL()
|
Method Summary | |
---|---|
boolean |
accepts(ProvidedObject object)
This function tells the interface which results are accepted by this Plugin |
static boolean |
connect(java.util.HashSet<PNNode> splitSphere,
java.util.HashSet<PNNode> joinSphere)
Determine whether there should be a YAWL edge from 'one YAWL object' to 'another YAWL object'. |
YAWLModel |
convert(PetriNet net)
Convert the given Petri net into a YAWL model. |
MiningResult |
convert(ProvidedObject object)
Execute this conversion algorithm on the given log file. |
java.lang.String |
getHtmlDescription()
Gets a description of this plugin in HTML. |
java.lang.String |
getName()
Gets the name of this plugin. |
java.lang.String |
getName(ModelGraphVertex element)
Construct a unqiue name for the given object. |
static java.util.HashSet<PNNode> |
getSphere(PetriNet net,
Transition labeledTransition,
boolean isJoin)
Construct the join/split sphere for the given transition in ht egiven Petri net. |
static java.lang.String |
getType(Transition sphereTransition,
java.util.HashSet<PNNode> sphere,
boolean isJoin)
Determine the join/split type of the task corresponding to the given transition. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public WFNetToYAWL()
Method Detail |
---|
public java.lang.String getName()
Plugin
getName
in interface Plugin
public java.lang.String getHtmlDescription()
Plugin
html
, head
and
body
tags should not be used.
This HTML page is displayed in the help system or as context sensitive help.
The HTML body can be stored in an external file in the /lib/documentation/ sub
folder and in this case it can be obtained by calling PluginDocumentationLoader.load(this)
getHtmlDescription
in interface Plugin
public MiningResult convert(ProvidedObject object)
ConvertingPlugin
convert
in interface ConvertingPlugin
object
- The original mining result
MininResult
objectpublic boolean accepts(ProvidedObject object)
ConvertingPlugin
accepts
in interface ConvertingPlugin
object
- The original mining result
public java.lang.String getName(ModelGraphVertex element)
element
- ModelGraphVertex The given object.
public YAWLModel convert(PetriNet net)
net
- PetriNet The given Petri net.
public static java.util.HashSet<PNNode> getSphere(PetriNet net, Transition labeledTransition, boolean isJoin)
net
- PetriNet The given Petri net.labeledTransition
- Transition The given transition.isJoin
- boolean Whether to construct the join sphere (true) or a split sphere (false).
public static java.lang.String getType(Transition sphereTransition, java.util.HashSet<PNNode> sphere, boolean isJoin)
sphereTransition
- Transition The given transition.sphere
- HashSet Its join/split sphere (depends on isJoin).isJoin
- boolean Whether the join split is requested (true) or the split type (false).
public static boolean connect(java.util.HashSet<PNNode> splitSphere, java.util.HashSet<PNNode> joinSphere)
splitSphere
- HashSet The split sphere of 'one YAWL object'.joinSphere
- HashSet The split sphere of 'another YAWL object'.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |