Bootstrap generalization implementation and experiment

jbpt-pm/gen/bootstrap/.classpath

@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+	<classpathentry kind="src" path="src"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER">
+		<attributes>
+			<attribute name="module" value="true"/>
+		</attributes>
+	</classpathentry>
+	<classpathentry kind="lib" path="lib/jbpt-core-0.3.2.jar"/>
+	<classpathentry kind="lib" path="lib/jbpt-petri-0.3.2.jar"/>
+	<classpathentry kind="output" path="bin"/>
+</classpath>

jbpt-pm/gen/bootstrap/.project

@@ -0,0 +1,17 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>BootstrapGeneralization</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+		<buildCommand>
+			<name>org.eclipse.jdt.core.javabuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+	</buildSpec>
+	<natures>
+		<nature>org.eclipse.jdt.core.javanature</nature>
+	</natures>
+</projectDescription>

jbpt-pm/gen/bootstrap/.settings/org.eclipse.jdt.core.prefs

@@ -0,0 +1,12 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
+org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
+org.eclipse.jdt.core.compiler.compliance=1.8
+org.eclipse.jdt.core.compiler.debug.lineNumber=generate
+org.eclipse.jdt.core.compiler.debug.localVariable=generate
+org.eclipse.jdt.core.compiler.debug.sourceFile=generate
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.release=disabled
+org.eclipse.jdt.core.compiler.source=1.8

jbpt-pm/gen/bootstrap/README.txt

@@ -0,0 +1,26 @@
+This Java project implements the bootstrap generalization method presented in:
+
+Artem Polyvyanyy, Alistair Moffat, Luciano Garcia-Banuelos: Bootstrapping
+Generalization of Process Models Discovered from Event Data. CAiSE 2022: 36-54.
+
+This project then uses the implementation to conduct an extensive experiment to
+assess the performance of the method.
+
+To replicate the experiment, follow these steps:
+
+1. Unzip logs.zip, models.zip, and systems.zip in the folder these archives are stored.
+2. Specify the number of threads to be used to execute the experiment by
+   changing the numOfTreads variable value in
+   BootstrapGeneralizationBigExperimentRandomInputs.java
+3. Run BootstrapGeneralizationBigExperimentRandomInputs.java
+
+Inputs for the experiment are taken from "./inputs_r.csv".
+
+Results of the experiment are written in "./results.csv".
+
+Errors encountered during the experiment are written in "./errors.csv".
+
+The "tmp" folder stores temporary event logs generated during the experiment.
+
+Alternatively, you can execute the experiment by running 
+"./gen-experiment.bat"; this experiment uses four threads.

jbpt-pm/gen/bootstrap/gen-experiment.bat

@@ -0,0 +1,3 @@
+java -jar gen-experiment.jar
+
+pause

jbpt-pm/gen/bootstrap/gen-experiment.xml

@@ -0,0 +1,20 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<project default="create_run_jar" name="Create Runnable Jar for Project BootstrapGeneralization">
+    <!--this file was created by Eclipse Runnable JAR Export Wizard-->
+    <!--ANT 1.7 is required                                        -->
+    <!--define folder properties-->
+    <property name="dir.buildfile" value="."/>
+    <property name="dir.workspace" value="C:/Users/APOLYVYANYY/eclipse-workspace"/>
+    <property name="dir.jarfile" value="${dir.buildfile}"/>
+    <target name="create_run_jar">
+        <jar destfile="${dir.jarfile}/gen-experiment.jar" filesetmanifest="mergewithoutmain">
+            <manifest>
+                <attribute name="Main-Class" value="org.jbpt.pm.gen.bootstrap.BootstrapGeneralizationBigExperimentRandomInputs"/>
+                <attribute name="Class-Path" value="."/>
+            </manifest>
+            <fileset dir="${dir.jarfile}/bin"/>
+            <zipfileset excludes="META-INF/*.SF" src="${dir.jarfile}/lib/jbpt-core-0.3.2.jar"/>
+            <zipfileset excludes="META-INF/*.SF" src="${dir.jarfile}/lib/jbpt-petri-0.3.2.jar"/>
+        </jar>
+    </target>
+</project>