Package org.processmining.modelrepair.plugins

Class Uma_RepairModel_Loops_Plugin

java.lang.Object

org.processmining.modelrepair.plugins.Uma_RepairModel_Loops_Plugin

public class Uma_RepairModel_Loops_Plugin
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Uma_RepairModel_Loops_Plugin.RepairStats

Field Summary

Fields

Modifier and Type	Field	Description
Uma_RepairModel_Loops_Plugin.RepairStats	_stats

Constructor Summary

Constructors

Constructor	Description
Uma_RepairModel_Loops_Plugin()

Method Summary

Modifier and Type	Method	Description
java.lang.Object[]	alignLogToModel(org.processmining.contexts.uitopia.UIPluginContext context, org.deckfour.xes.model.XLog log, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.plugins.petrinet.replayresult.PNRepResult result)
protected static java.lang.Object[]	cancel(org.processmining.framework.plugin.PluginContext context, java.lang.String message)
protected static boolean	isValidLoopBody(org.processmining.framework.plugin.PluginContext context, ModelRepair_SubProcess.PetriNetWithMarkings body, org.deckfour.xes.model.XLog traces, org.deckfour.xes.classification.XEventClassifier classifier, double allowedFails)
java.lang.Object[]	repairModel(org.processmining.contexts.uitopia.UIPluginContext context, org.deckfour.xes.model.XLog log, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
java.lang.Object[]	run_repairModel(org.processmining.framework.plugin.PluginContext context, org.deckfour.xes.model.XLog log, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.semantics.petrinet.Marking initMarking, org.processmining.models.semantics.petrinet.Marking finalMarking, org.processmining.plugins.petrinet.replayresult.PNRepResult result, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping map, boolean alignAlignments, boolean updateFinalMarking)	Identify "loop traces" that cannot be replayed on the model, check if adding a loop-back transition allows to replay the "loop traces", and if so, add this transition to the model.
static org.deckfour.xes.model.XLog	toXLog(java.util.Collection<java.util.List<ModelRepair_SubProcess.MoveOnLog>> loopHypothesis, java.lang.String logName)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

_stats

public Uma_RepairModel_Loops_Plugin.RepairStats _stats

Constructor Detail

Uma_RepairModel_Loops_Plugin

public Uma_RepairModel_Loops_Plugin()

Method Detail

repairModel

public java.lang.Object[] repairModel(org.processmining.contexts.uitopia.UIPluginContext context,
                                      org.deckfour.xes.model.XLog log,
                                      org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)

alignLogToModel

public java.lang.Object[] alignLogToModel(org.processmining.contexts.uitopia.UIPluginContext context,
                                          org.deckfour.xes.model.XLog log,
                                          org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                          org.processmining.plugins.petrinet.replayresult.PNRepResult result)

run_repairModel

public java.lang.Object[] run_repairModel(org.processmining.framework.plugin.PluginContext context,
                                          org.deckfour.xes.model.XLog log,
                                          org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                          org.processmining.models.semantics.petrinet.Marking initMarking,
                                          org.processmining.models.semantics.petrinet.Marking finalMarking,
                                          org.processmining.plugins.petrinet.replayresult.PNRepResult result,
                                          org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping map,
                                          boolean alignAlignments,
                                          boolean updateFinalMarking)
                                   throws java.io.IOException,
                                          hub.top.uma.InvalidModelException

Identify "loop traces" that cannot be replayed on the model, check if adding a loop-back transition allows to replay the "loop traces", and if so, add this transition to the model.

Parameters:

context -

log -

net -

initMarking -

finalMarking -

result -

map -

alignAlignments -

updateFinalMarking -

Returns:

Throws:

java.io.IOException

hub.top.uma.InvalidModelException

isValidLoopBody

protected static boolean isValidLoopBody(org.processmining.framework.plugin.PluginContext context,
                                         ModelRepair_SubProcess.PetriNetWithMarkings body,
                                         org.deckfour.xes.model.XLog traces,
                                         org.deckfour.xes.classification.XEventClassifier classifier,
                                         double allowedFails)

toXLog

public static org.deckfour.xes.model.XLog toXLog(java.util.Collection<java.util.List<ModelRepair_SubProcess.MoveOnLog>> loopHypothesis,
                                                 java.lang.String logName)

Parameters:

simpleLog -

logName -

Returns:

XLog representation of the loop hypothesis

cancel

protected static java.lang.Object[] cancel(org.processmining.framework.plugin.PluginContext context,
                                           java.lang.String message)