org.processmining.analysis.conformance
Class StateSpaceExplorationResult

java.lang.Object
  extended by org.processmining.framework.models.petrinet.algorithms.logReplay.AnalysisResult
      extended by org.processmining.analysis.conformance.StateSpaceExplorationResult

public class StateSpaceExplorationResult
extends AnalysisResult


Field Summary
 DiagnosticPetriNet exploredPetriNet
          The original Petri net passed to the analysis method.
 PetriNet inputPetriNet
           
 
Fields inherited from class org.processmining.framework.models.petrinet.algorithms.logReplay.AnalysisResult
myAnalysisOptions
 
Constructor Summary
StateSpaceExplorationResult(AnalysisConfiguration analysisOptions, PetriNet net, StateSpaceExplorationMethod method)
           
 
Method Summary
 boolean calculateImprovedBehavioralAppropriateness()
          Indicates whether the "Structural Appropriateness" metric has been selected by the user.
 boolean calculateImprovedStructuralAppropriateness()
          Indicates whether the "Advanced Structural Appropriateness" metric has been selected by the user.
 DiagnosticLogEventRelation getActivityRelations()
          Returns the set of activity relations that have been derived from the state space of the process model.
 java.lang.String getCurrentVisualizationState()
          Get the current display state.
 float getDegreeOfModelFlexibility()
          Retrieves the behavioral appropriateness measure based on log-based and model-based activity relations.
 float getImprovedBehavioralAppropriatenessMeasure()
          Retrieves the behavioral appropriateness measure based on log-based and model-based activity relations.
 float getImprovedStructuralAppropriatenessMeasure()
          Retrieves the structural appropriateness measure based on the graph size.
 att.grappa.GrappaPanel getVisualization(DisplayState currentVisualization)
          Creates a visualization of the conformance check results.
 void incSBLog()
          Increments the number of sometimes relations (backwards) in the log and in the model, i.e., represents already the intersection of SFm and SFl (needed for calculating advanced behavioral appropriateness).
 void incSBModel()
          Increments the number of sometimes relations (backwards) in the model (needed for calculating advanced behavioral appropriateness).
 void incSFLog()
          Increments the number of sometimes relations (forwards) in the log and in the model, i.e., represents already the intersection of SFm and SFl (needed for calculating advanced behavioral appropriateness).
 void incSFModel()
          Increments the number of sometimes relations (forwards) in the model (needed for calculating advanced behavioral appropriateness).
 void resetSometimesRelationCounter()
          Resets the sometimes relation element counter to 0, so that it can be filled with new values (based on the new log selection).
 void updateNumberOfAlternativeDuplicates(int value)
          Adds up the "number of alternative duplicate tasks" measurement by the given value.
 void updateNumberOfRedundantInvisibles(int value)
          Adds up the "number of redundant invisible tasks" measurement by the given value.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

inputPetriNet

public PetriNet inputPetriNet

exploredPetriNet

public DiagnosticPetriNet exploredPetriNet
The original Petri net passed to the analysis method.

Constructor Detail

StateSpaceExplorationResult

public StateSpaceExplorationResult(AnalysisConfiguration analysisOptions,
                                   PetriNet net,
                                   StateSpaceExplorationMethod method)
Parameters:
analysisOptions - AnalysisConfiguration
net - PetriNet
method - StructuralAnalysisMethod
Method Detail

calculateImprovedBehavioralAppropriateness

public boolean calculateImprovedBehavioralAppropriateness()
Indicates whether the "Structural Appropriateness" metric has been selected by the user.

Returns:
true if this option has been chosen, false otherwise

calculateImprovedStructuralAppropriateness

public boolean calculateImprovedStructuralAppropriateness()
Indicates whether the "Advanced Structural Appropriateness" metric has been selected by the user.

Returns:
true if this option has been chosen, false otherwise

getImprovedStructuralAppropriatenessMeasure

public float getImprovedStructuralAppropriatenessMeasure()
Retrieves the structural appropriateness measure based on the graph size.

Returns:
float The value calculated (0 <= value <= 1).

getImprovedBehavioralAppropriatenessMeasure

public float getImprovedBehavioralAppropriatenessMeasure()
Retrieves the behavioral appropriateness measure based on log-based and model-based activity relations.

Returns:
the metric value (0 <= value <= 1)

getDegreeOfModelFlexibility

public float getDegreeOfModelFlexibility()
Retrieves the behavioral appropriateness measure based on log-based and model-based activity relations.

Returns:
the metric value (0 <= value <= 1)

getActivityRelations

public DiagnosticLogEventRelation getActivityRelations()
Returns the set of activity relations that have been derived from the state space of the process model. They still need to be matched with the relations derived for the log events from the log, and their difference is to be recorded in the diagnostic petri net.

Returns:
the table containing the name of the log events and the diagnostic log event itself

updateNumberOfRedundantInvisibles

public void updateNumberOfRedundantInvisibles(int value)
Adds up the "number of redundant invisible tasks" measurement by the given value.


updateNumberOfAlternativeDuplicates

public void updateNumberOfAlternativeDuplicates(int value)
Adds up the "number of alternative duplicate tasks" measurement by the given value.


incSFModel

public void incSFModel()
Increments the number of sometimes relations (forwards) in the model (needed for calculating advanced behavioral appropriateness).


incSFLog

public void incSFLog()
Increments the number of sometimes relations (forwards) in the log and in the model, i.e., represents already the intersection of SFm and SFl (needed for calculating advanced behavioral appropriateness).


incSBModel

public void incSBModel()
Increments the number of sometimes relations (backwards) in the model (needed for calculating advanced behavioral appropriateness).


incSBLog

public void incSBLog()
Increments the number of sometimes relations (backwards) in the log and in the model, i.e., represents already the intersection of SFm and SFl (needed for calculating advanced behavioral appropriateness).


resetSometimesRelationCounter

public void resetSometimesRelationCounter()
Resets the sometimes relation element counter to 0, so that it can be filled with new values (based on the new log selection).


getCurrentVisualizationState

public java.lang.String getCurrentVisualizationState()
Get the current display state.

Returns:
The current display state.

getVisualization

public att.grappa.GrappaPanel getVisualization(DisplayState currentVisualization)
Creates a visualization of the conformance check results. Note that a change of the display state by the user will have no effect before calling this methods. This is intended to prevent unnecessary cloning of the diagnostic petri net, which actually delivers the custom visualization of the conformance analysis results.

Parameters:
selectedInstances - The process instances that have been selected for updating the visualization.
currentVisualization - The current display state.
Returns:
The visualization wrapped in a GrappaPanel.