org.processmining.generalizedconformance.experiment

Class BPM2016

java.lang.Object

org.processmining.generalizedconformance.experiment.BPM2016

public class BPM2016
extends java.lang.Object

Experiment for the BPM2016 submission "In Log and Model We Trust?" compares proposed generalized conformance checking approach with: http://dx.doi.org/10.1016/j.is.2013.12.007 (Dirk Fahland, Wil M.P. van der Aalst: Model repair - aligning process models to reality)

Author:

Andreas R-Solti

Method Summary

Modifier and Type	Method and Description
static void	addToResult(java.lang.StringBuffer result, java.util.Map<QualityCriterion,java.lang.Object> qualityRepaired)
static java.lang.String	evaluateQualityCriteria(org.deckfour.xes.model.XLog inputLog, java.lang.String modelName, org.deckfour.xes.model.XLog resultLog, org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings petrinet, org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings inputPetrinet, org.processmining.processtree.ProcessTree bestTree, org.processmining.processtree.ProcessTree inputTree, java.lang.Double trustInModel, java.lang.Double trustInLog)
static java.lang.String	evaluateQualityCriteria(org.deckfour.xes.model.XLog inputLog, java.lang.String modelName, org.deckfour.xes.model.XLog resultLog, org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings petrinet, org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings inputPetrinet, org.processmining.processtree.ProcessTree bestTree, org.processmining.processtree.ProcessTree inputTree, java.lang.Double trustInModel, java.lang.Double trustInLog, javax.swing.JComponent debugScreen)
static java.lang.String	getHeader()
static org.deckfour.xes.model.XLog	loadLog(java.io.File file) Opens a Log from a given file.
static void	main(java.lang.String[] args)
protected static void	runMe(java.lang.String fileName)

Methods inherited from class java.lang.Object

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

Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.lang.Exception

Throws:

java.lang.Exception

runMe

protected static void runMe(java.lang.String fileName)
                     throws java.lang.Exception

Throws:

java.lang.Exception

evaluateQualityCriteria

public static java.lang.String evaluateQualityCriteria(org.deckfour.xes.model.XLog inputLog,
                                                       java.lang.String modelName,
                                                       org.deckfour.xes.model.XLog resultLog,
                                                       org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings petrinet,
                                                       org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings inputPetrinet,
                                                       org.processmining.processtree.ProcessTree bestTree,
                                                       org.processmining.processtree.ProcessTree inputTree,
                                                       java.lang.Double trustInModel,
                                                       java.lang.Double trustInLog)

evaluateQualityCriteria

public static java.lang.String evaluateQualityCriteria(org.deckfour.xes.model.XLog inputLog,
                                                       java.lang.String modelName,
                                                       org.deckfour.xes.model.XLog resultLog,
                                                       org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings petrinet,
                                                       org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings inputPetrinet,
                                                       org.processmining.processtree.ProcessTree bestTree,
                                                       org.processmining.processtree.ProcessTree inputTree,
                                                       java.lang.Double trustInModel,
                                                       java.lang.Double trustInLog,
                                                       javax.swing.JComponent debugScreen)

Parameters:

inputLog - XLog the L in the paper

modelName -

resultLog -

petrinet -

inputPetrinet -

bestTree -

inputTree - ProcessTree the M in the paper

trustInModel -

trustInLog -

Returns:

addToResult

public static void addToResult(java.lang.StringBuffer result,
                               java.util.Map<QualityCriterion,java.lang.Object> qualityRepaired)

getHeader

public static java.lang.String getHeader()

loadLog

public static org.deckfour.xes.model.XLog loadLog(java.io.File file)
                                           throws java.lang.Exception

Opens a Log from a given file.

Parameters:

file - File containing the log.

Returns:

the loaded XLog

Throws:

java.lang.Exception