org.processmining.planningbasedalignment.plugins.planningbasedalignment.algorithms

Class AlignmentPddlEncoding

java.lang.Object

org.processmining.planningbasedalignment.plugins.planningbasedalignment.algorithms.AlignmentPddlEncoding

Direct Known Subclasses:

AlignmentPddlEncodingPlugin, PlanningBasedAlignment

public class AlignmentPddlEncoding
extends java.lang.Object

The implementation of the algorithm for generating the PDDL encoding of an alignment problem instance.

Author:

Giacomo Lanciano

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	DEFAULT_TIME_UNIT
protected static int	EMPTY_TRACE_POS
protected static java.lang.String	MAPPING_FILE_NAME
protected java.io.File	parentDir The input directory for the planner.
protected static java.lang.String	PDDL_DOMAIN_FILE_PREFIX
protected static java.lang.String	PDDL_EXT
protected static java.lang.String	PDDL_FILES_DIR_PREFIX
protected static int	PDDL_FILES_PER_TRACE
protected static java.lang.String	PDDL_PROBLEM_FILE_PREFIX
protected AbstractPddlEncoder	pddlEncoder The object used to generate the PDDL encodings.
protected java.lang.Thread	pddlEncodingProgressChecker The separated thread that check PDDL encoding progress.
protected java.io.File	pddlFilesDir The input directory for the planner.
protected java.util.Map<java.lang.Integer,java.lang.String>	positionToCaseIdMapping The mapping between the position of a trace in a log (starting from 1) and the relate case id.
protected org.apache.commons.math3.stat.descriptive.SummaryStatistics	preprocessingTimeSummary The summary containing the relevant statistics about traces pre-processing time.
protected static int	PROGRESS_CHECKER_DELAY
protected long	startTime The timestamp of the execution start.
protected java.util.List<java.lang.Integer>	tracesToAlign The positions in the log of the traces to align.

Constructor Summary

Constructors

Constructor and Description
AlignmentPddlEncoding()

Method Summary

Modifier and Type	Method and Description
protected void	buildPlannerInput(java.io.File parentDir, org.processmining.framework.plugin.PluginContext context, org.deckfour.xes.model.XLog log, org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, PlanningBasedAlignmentParameters parameters) Produces the PDDL input files (representing the instances of the alignment problem) to be fed to the planner.
protected void	killSubprocesses() Shut down all active computations.

Methods inherited from class java.lang.Object

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

Field Detail

PDDL_EXT

protected static final java.lang.String PDDL_EXT

See Also:

Constant Field Values

PDDL_FILES_DIR_PREFIX

protected static final java.lang.String PDDL_FILES_DIR_PREFIX

See Also:

Constant Field Values

PDDL_DOMAIN_FILE_PREFIX

protected static final java.lang.String PDDL_DOMAIN_FILE_PREFIX

See Also:

Constant Field Values

PDDL_PROBLEM_FILE_PREFIX

protected static final java.lang.String PDDL_PROBLEM_FILE_PREFIX

See Also:

Constant Field Values

MAPPING_FILE_NAME

protected static final java.lang.String MAPPING_FILE_NAME

See Also:

Constant Field Values

EMPTY_TRACE_POS

protected static final int EMPTY_TRACE_POS

See Also:

Constant Field Values

PDDL_FILES_PER_TRACE

protected static final int PDDL_FILES_PER_TRACE

See Also:

Constant Field Values

PROGRESS_CHECKER_DELAY

protected static final int PROGRESS_CHECKER_DELAY

See Also:

Constant Field Values

DEFAULT_TIME_UNIT

public static final java.lang.String DEFAULT_TIME_UNIT

See Also:

Constant Field Values

pddlEncoder

protected AbstractPddlEncoder pddlEncoder

The object used to generate the PDDL encodings.

parentDir

protected java.io.File parentDir

The input directory for the planner.

pddlFilesDir

protected java.io.File pddlFilesDir

The input directory for the planner.

startTime

protected long startTime

The timestamp of the execution start.

pddlEncodingProgressChecker

protected java.lang.Thread pddlEncodingProgressChecker

The separated thread that check PDDL encoding progress.

positionToCaseIdMapping

protected java.util.Map<java.lang.Integer,java.lang.String> positionToCaseIdMapping

The mapping between the position of a trace in a log (starting from 1) and the relate case id. Notice that key 0 is reserved for the empty trace.

tracesToAlign

protected java.util.List<java.lang.Integer> tracesToAlign

The positions in the log of the traces to align.

preprocessingTimeSummary

protected org.apache.commons.math3.stat.descriptive.SummaryStatistics preprocessingTimeSummary

The summary containing the relevant statistics about traces pre-processing time.

Constructor Detail

AlignmentPddlEncoding

public AlignmentPddlEncoding()

Method Detail

buildPlannerInput

protected void buildPlannerInput(java.io.File parentDir,
                                 org.processmining.framework.plugin.PluginContext context,
                                 org.deckfour.xes.model.XLog log,
                                 org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
                                 PlanningBasedAlignmentParameters parameters)
                          throws java.io.IOException

Produces the PDDL input files (representing the instances of the alignment problem) to be fed to the planner.

Parameters:

log - The event log to replay.

petrinet - The Petri net on which the log has to be replayed.

parameters - The parameters to be used by the encoding algorithm.

Throws:

java.io.IOException

killSubprocesses

protected void killSubprocesses()

Shut down all active computations.