org.processmining.plugins.petrinet.replayer.algorithms.behavapp

Class AbstractBehavAppAlg

java.lang.Object

org.processmining.plugins.petrinet.replayer.algorithms.AbstractReplayerBasicFunctionProvider

org.processmining.plugins.petrinet.replayer.algorithms.behavapp.AbstractBehavAppAlg

All Implemented Interfaces:

IBehavAppAlg, IPNReplayAlgorithm

Direct Known Subclasses:

BehavAppNaiveAlg, BehavAppPruneAlg, BehavAppStubbornAlg

public abstract class AbstractBehavAppAlg
extends AbstractReplayerBasicFunctionProvider
implements IPNReplayAlgorithm, IBehavAppAlg

Abstraction for replay algorithms to calculate behavioral appropriateness that require array of final markings (can be empty).

Author:

aadrians Oct 24, 2011

Field Summary

Fields

Modifier and Type	Field and Description
protected org.deckfour.xes.classification.XEventClassifier	classifier
protected org.processmining.models.semantics.petrinet.Marking[]	finalMarkings
protected org.processmining.models.semantics.petrinet.Marking	initMarking
protected java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer>	mapEvClass2Cost
protected java.lang.Integer	maxNumStates
protected java.lang.Double	sumAvgPrecisionValue
protected boolean	useLogWeight

Constructor Summary

Constructors

Constructor and Description
AbstractBehavAppAlg()

Method Summary

Methods

Modifier and Type	Method and Description
IPNReplayParamProvider	constructParamProvider(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, TransEvClassMapping mapping) construct GUI in which the parameter for this algorithm can be obtained
protected double	getDeviationRatio(LogAutomatonNode logAutomatonNode, java.util.Set<org.deckfour.xes.classification.XEventClass> continuationOfModel, boolean isLogScaled, java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> encActivityWeight) Deviation ratio
protected java.util.Set<org.deckfour.xes.classification.XEventClass>	getEnabledActAndUpdate(java.lang.Integer newMarkingIndex, java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking, EncPNWSetFinalMarkings encodedPN, java.util.Set<java.lang.Integer> encInvisTransitions, java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass, java.util.Map<java.lang.Integer,java.util.Set<org.deckfour.xes.classification.XEventClass>> mapMarking2EnabledEvClass, java.util.Map<java.lang.Integer,java.lang.Integer> mapMarking2EqMarkingClass)
protected java.lang.Integer	getNextAutomatonIndex(LogAutomatonNode node, org.deckfour.xes.classification.XEventClass evClass) Get one of the successors of the node automaton that refer to evClass
protected void	importParameters(BehavAppParam parameters) Import parameters from given array of objects
boolean	isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, TransEvClassMapping mapping, IPNReplayParameter parameter) Return true if all replay inputs are correct: no null; numStates is non negative; all costs are non negative.
boolean	isReqWOParameterSatisfied(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, TransEvClassMapping mapping) Return true if input of replay without parameters are correct
PNRepResult	replayLog(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, TransEvClassMapping mapping, IPNReplayParameter parameters) Main method to replay log

Methods inherited from class org.processmining.plugins.petrinet.replayer.algorithms.AbstractReplayerBasicFunctionProvider

fireTransition, getEnabledActivities, getEnabledTransitions, getListEventClass, getMappingEncTrans2EncEventClass, getMappingEncTrans2EvClass, getMappingEventClass2EncTrans, getTransViolationCosts, identifyEnabledTransitions, isEndOfModel

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm

getHTMLInfo, toString

Methods inherited from interface org.processmining.plugins.petrinet.replayer.algorithms.behavapp.IBehavAppAlg

replayLoop

Field Detail

maxNumStates

protected java.lang.Integer maxNumStates

useLogWeight

protected boolean useLogWeight

mapEvClass2Cost

protected java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost

classifier

protected org.deckfour.xes.classification.XEventClassifier classifier

initMarking

protected org.processmining.models.semantics.petrinet.Marking initMarking

finalMarkings

protected org.processmining.models.semantics.petrinet.Marking[] finalMarkings

sumAvgPrecisionValue

protected java.lang.Double sumAvgPrecisionValue

Constructor Detail

AbstractBehavAppAlg

public AbstractBehavAppAlg()

Method Detail

isAllReqSatisfied

public boolean isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context,
                        org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                        org.deckfour.xes.model.XLog log,
                        TransEvClassMapping mapping,
                        IPNReplayParameter parameter)

Return true if all replay inputs are correct: no null; numStates is non negative; all costs are non negative. xEventClassWeightMap can be an empty mapping, but if it is not empty all event classes should be covered including the dummy ones

Specified by:

isAllReqSatisfied in interface IPNReplayAlgorithm

Returns:

isReqWOParameterSatisfied

public boolean isReqWOParameterSatisfied(org.processmining.framework.plugin.PluginContext context,
                                org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                org.deckfour.xes.model.XLog log,
                                TransEvClassMapping mapping)

Return true if input of replay without parameters are correct

Specified by:

isReqWOParameterSatisfied in interface IPNReplayAlgorithm

Returns:

importParameters

protected void importParameters(BehavAppParam parameters)

Import parameters from given array of objects

Parameters:

parameters -

replayLog

public PNRepResult replayLog(org.processmining.framework.plugin.PluginContext context,
                    org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                    org.deckfour.xes.model.XLog log,
                    TransEvClassMapping mapping,
                    IPNReplayParameter parameters)

Main method to replay log

Specified by:

replayLog in interface IPNReplayAlgorithm

Returns:

constructParamProvider

public IPNReplayParamProvider constructParamProvider(org.processmining.framework.plugin.PluginContext context,
                                            org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                            org.deckfour.xes.model.XLog log,
                                            TransEvClassMapping mapping)

Description copied from interface: IPNReplayAlgorithm

construct GUI in which the parameter for this algorithm can be obtained

Specified by:

constructParamProvider in interface IPNReplayAlgorithm

Returns:

getNextAutomatonIndex

protected java.lang.Integer getNextAutomatonIndex(LogAutomatonNode node,
                                      org.deckfour.xes.classification.XEventClass evClass)

Get one of the successors of the node automaton that refer to evClass

Parameters:

node -

evClass -

Returns:

getDeviationRatio

protected double getDeviationRatio(LogAutomatonNode logAutomatonNode,
                       java.util.Set<org.deckfour.xes.classification.XEventClass> continuationOfModel,
                       boolean isLogScaled,
                       java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> encActivityWeight)

Deviation ratio

Parameters:

logAutomatonNode -

continuationOfModel -

isLogScaled -

encActivityWeight -

Returns:

getEnabledActAndUpdate

protected java.util.Set<org.deckfour.xes.classification.XEventClass> getEnabledActAndUpdate(java.lang.Integer newMarkingIndex,
                                                                                java.util.Map<java.lang.Integer,java.util.Map<java.lang.Integer,java.lang.Integer>> mapInt2Marking,
                                                                                EncPNWSetFinalMarkings encodedPN,
                                                                                java.util.Set<java.lang.Integer> encInvisTransitions,
                                                                                java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> mapEncTrans2EvClass,
                                                                                java.util.Map<java.lang.Integer,java.util.Set<org.deckfour.xes.classification.XEventClass>> mapMarking2EnabledEvClass,
                                                                                java.util.Map<java.lang.Integer,java.lang.Integer> mapMarking2EqMarkingClass)