|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.framework.models.petrinet.algorithms.logReplay.LogReplayAnalysisMethod
public class LogReplayAnalysisMethod
Replays the given log in the given Petri net model in a non-blocking way.
It replays the given log in the given Petri net model in a non-blocking way
while taking care of invisible tasks that might transparently enable visible tasks,
and duplicate tasks, which lead to a conflict that needs to be resolved.
Taking measurements that are needed to calculate any metrics based on the
log replay method is only done in the Measurer
object.
That is, if an additional measurement step is to be introduced, call a newly
defined protected
"takeAdditionalmeasurement()" method
(that does nothing per default but can be overridden in your specific
subclass of the measurer during the appropriate phase of log replay.
This way, side effects on other log-replay using applications can be avoided.
All the diagnostic information is stored in an object of the class
LogReplayAnalysisResult
. Deriving subclasses
should create their special-purpose subclass from it in
initLogReplayAnalysisResult
.
Field Summary | |
---|---|
protected LogReader |
myLogReader
|
protected Measurer |
myMeasurer
|
protected PetriNet |
myPetriNet
|
protected LogReplayAnalysisResult |
myResult
|
protected Progress |
progress
|
protected int |
progressCounter
|
Constructor Summary | |
---|---|
LogReplayAnalysisMethod(PetriNet inputPetriNet,
LogReader inputLog,
Measurer measurer)
Creates the log replay analysis method object. |
Method Summary | |
---|---|
AnalysisResult |
analyse(AnalysisConfiguration analysisOptions)
Invokes the log replay analysis. |
AnalysisMethodEnum |
getIdentifier()
Gets the belonging identifier. |
void |
setMaxDepth(int maxDepth)
Restricts the depth of search for a sequence of invisible tasks that might enable the task currently to be replayed. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected PetriNet myPetriNet
protected LogReader myLogReader
protected LogReplayAnalysisResult myResult
protected Measurer myMeasurer
protected Progress progress
protected int progressCounter
Constructor Detail |
---|
public LogReplayAnalysisMethod(PetriNet inputPetriNet, LogReader inputLog, Measurer measurer)
inputPetriNet
- the PetriNet passed to the conformance check plugininputLog
- the LogReader passed to the conformance check pluginMethod Detail |
---|
public void setMaxDepth(int maxDepth)
maxDepth
- indicates the maximum length for an enabling sequence of
invisible tasks that can be found during log replay. If it is 0, no
invisible task will be considered for whether it might enable the currently
replayed task. If it is 1, enabling sequences of length 1 can be found (if
they exist) etc. Note that the full state space will be constructed, if the provided
maxDepth < 0public AnalysisMethodEnum getIdentifier()
AnalysisMethodEnum
class by another nominal
value denominating this kind of analysis method.
getIdentifier
in interface AnalysisMethod
LOG_REPLAY
public AnalysisResult analyse(AnalysisConfiguration analysisOptions)
LogReplayResult
object.
This means that parts of the diagnostic data collection are carried out within
the diagnostic structures itself, e.g., incrementing a counter for firing a transition.
analyse
in interface AnalysisMethod
analysisOptions
- the configuration object determining which parts
of the analysis should be carried out (can be null
, then all options are interpreted as enabled)
LogReplayAnalysisResult
object containing all diagnostic results if the log replay
could be finished successfully, null
otherwise
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |