org.processmining.planningbasedalignment.plugins.planningbasedalignment.pddl

Class AbstractPddlEncoder

java.lang.Object

org.processmining.planningbasedalignment.plugins.planningbasedalignment.pddl.AbstractPddlEncoder

Direct Known Subclasses:

PartialOrderAwarePddlEncoder, StandardPddlEncoder

public abstract class AbstractPddlEncoder
extends java.lang.Object

Abstract class that can be extended to provide different ways of encoding an alignment-based conformance checking problem in PDDL.

Author:

Giacomo Lanciano

Field Summary

Fields

Modifier and Type	Field and Description
protected static java.lang.String	DUMMY
protected static java.lang.String	INVISIBLE_TRANSITION_PREFIX
static java.lang.String	LOG_MOVE_PREFIX
static java.lang.String	MODEL_MOVE_PREFIX
protected java.lang.StringBuffer	movesOnModelBuffer The encoding of the moves on model that is independent from the traces in the event log.
protected PlanningBasedAlignmentParameters	parameters
protected java.util.Map<java.lang.String,org.deckfour.xes.classification.XEventClass>	pddlIdToEventClassMapping The mapping between PDDL ids and related event classes.
protected java.util.Map<java.lang.String,java.lang.Integer>	pddlIdToOccurrencesMapping The mapping between PDDL ids and their occurrences.
protected java.util.Map<java.lang.String,org.processmining.models.graphbased.directed.petrinet.PetrinetNode>	pddlIdToPetrinetNodeMapping The mapping between PDDL ids and related Petri net nodes.
protected org.processmining.models.graphbased.directed.petrinet.Petrinet	petrinet
protected java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,java.lang.String>	petrinetNodeToPddlIdMapping The mapping between Petri net nodes and related PDDL ids.
static java.lang.String	SEPARATOR
static java.lang.String	SYNCH_MOVE_PREFIX

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractPddlEncoder(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, PlanningBasedAlignmentParameters parameters)

Method Summary

Modifier and Type	Method and Description
protected abstract java.lang.String	createPropositionalDomain(org.deckfour.xes.model.XTrace trace) Create PDDL Domain for the given log trace.
protected abstract java.lang.String	createPropositionalProblem(org.deckfour.xes.model.XTrace trace) Create PDDL Domain for the given log trace.
protected java.lang.String	encode(org.processmining.models.graphbased.directed.petrinet.elements.Place place) Return a valid PDDL id for the given place.
protected java.lang.String	encode(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition) Return a valid PDDL id for the given transition.
protected java.lang.String	encode(org.deckfour.xes.model.XEvent event) Return a valid PDDL id for the given event, that is the same we would get by encoding the class this event belongs to (acording to the event log classifier).
protected java.lang.String	encode(org.deckfour.xes.classification.XEventClass eventLabel) Return a valid PDDL id for the given event class.
java.lang.String[]	getPddlEncoding(org.deckfour.xes.model.XTrace trace) Return the encoding of the alignment problem for the given trace in PDDL.
java.util.Map<java.lang.String,org.deckfour.xes.classification.XEventClass>	getPddlIdToEventClassMapping()
java.util.Map<java.lang.String,org.processmining.models.graphbased.directed.petrinet.PetrinetNode>	getPddlIdToPetrinetNodeMapping()

Methods inherited from class java.lang.Object

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

Field Detail

SYNCH_MOVE_PREFIX

public static final java.lang.String SYNCH_MOVE_PREFIX

See Also:

Constant Field Values

MODEL_MOVE_PREFIX

public static final java.lang.String MODEL_MOVE_PREFIX

See Also:

Constant Field Values

LOG_MOVE_PREFIX

public static final java.lang.String LOG_MOVE_PREFIX

See Also:

Constant Field Values

SEPARATOR

public static final java.lang.String SEPARATOR

See Also:

Constant Field Values

INVISIBLE_TRANSITION_PREFIX

protected static final java.lang.String INVISIBLE_TRANSITION_PREFIX

See Also:

Constant Field Values

DUMMY

protected static final java.lang.String DUMMY

See Also:

Constant Field Values

petrinet

protected org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet

parameters

protected PlanningBasedAlignmentParameters parameters

pddlIdToOccurrencesMapping

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

The mapping between PDDL ids and their occurrences.

petrinetNodeToPddlIdMapping

protected java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,java.lang.String> petrinetNodeToPddlIdMapping

The mapping between Petri net nodes and related PDDL ids.

pddlIdToPetrinetNodeMapping

protected java.util.Map<java.lang.String,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> pddlIdToPetrinetNodeMapping

The mapping between PDDL ids and related Petri net nodes.

pddlIdToEventClassMapping

protected java.util.Map<java.lang.String,org.deckfour.xes.classification.XEventClass> pddlIdToEventClassMapping

The mapping between PDDL ids and related event classes.

movesOnModelBuffer

protected java.lang.StringBuffer movesOnModelBuffer

The encoding of the moves on model that is independent from the traces in the event log.

Constructor Detail

AbstractPddlEncoder

protected AbstractPddlEncoder(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
                              PlanningBasedAlignmentParameters parameters)

Method Detail

getPddlEncoding

public java.lang.String[] getPddlEncoding(org.deckfour.xes.model.XTrace trace)

Return the encoding of the alignment problem for the given trace in PDDL.

Parameters:

trace - The event log trace whose alignment has to be encoded.

Returns:

An array of Strings containing respectively the planning Domain and the planning Problem.

createPropositionalDomain

protected abstract java.lang.String createPropositionalDomain(org.deckfour.xes.model.XTrace trace)

Create PDDL Domain for the given log trace.

Parameters:

trace - The event log trace whose alignment has to be encoded.

Returns:

A String containing the PDDL Domain.

createPropositionalProblem

protected abstract java.lang.String createPropositionalProblem(org.deckfour.xes.model.XTrace trace)

Create PDDL Domain for the given log trace.

Parameters:

trace - The event log trace whose alignment has to be encoded.

Returns:

A String containing the PDDL Problem.

encode

protected java.lang.String encode(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)

Return a valid PDDL id for the given transition.

Parameters:

transition -

Returns:

encode

protected java.lang.String encode(org.processmining.models.graphbased.directed.petrinet.elements.Place place)

Return a valid PDDL id for the given place.

Parameters:

place -

Returns:

encode

protected java.lang.String encode(org.deckfour.xes.classification.XEventClass eventLabel)

Return a valid PDDL id for the given event class.

Parameters:

eventLabel -

Returns:

encode

protected java.lang.String encode(org.deckfour.xes.model.XEvent event)

Return a valid PDDL id for the given event, that is the same we would get by encoding the class this event belongs to (acording to the event log classifier).

Parameters:

event -

Returns:

getPddlIdToPetrinetNodeMapping

public java.util.Map<java.lang.String,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> getPddlIdToPetrinetNodeMapping()

Returns:

the pddlIdToPetrinetNodeMapping

getPddlIdToEventClassMapping

public java.util.Map<java.lang.String,org.deckfour.xes.classification.XEventClass> getPddlIdToEventClassMapping()

Returns:

the pddlIdToEventClassMapping