Generate pm4py log using ASP Generator

ASP log generator uses the decl model which converts the model into abudction logic programming and pass to the clingo. Clingo generates the output which is turned into the pm4py log or can be created a .xes file.

!python --version

Python 3.9.12

import os
import pathlib

from Declare4Py.ProcessMiningTasks.ASPLogGeneration.asp_generator import AspGenerator
from Declare4Py.ProcessModels.DeclareModel import DeclareModel

# Setting up required files

# possible files to test
decl_model_1 = "./decl_files/Response.decl"
decl_model_2 = "./decl_files/MikeModel.decl"
decl_model_3 = "./decl_files/reference10.decl"
decl_model_4 = "./decl_files/diagonisis.decl"

decl_file = os.path.join(pathlib.Path(decl_model_2).resolve())
output_file = os.path.join(pathlib.Path("./generated_exporter.xes").resolve())

# Create Declare model by reading declare model from a file.

model: DeclareModel = DeclareModel().parse_from_file(decl_file)

#general Setting

# Number of traces that should be generated
num_of_traces = 4

# Minimum and maximum number of events a trace can contain
(num_min_events, num_max_events) = (2, 14)

# Initializing ASP generator with default distributor which is uniform.

logging.basicConfig(level=logging.DEBUG)
asp = AspGenerator(
    model,
    num_of_traces,
    num_min_events,
    num_max_events,
)

DEBUG:ASP generator:Distribution for traces uniform
DEBUG:ASP generator:traces: 4, events can have a trace min(2) max(14)
INFO:ASP generator:Computing distribution
DEBUG:Distributor:Distribution() uniform min_mu: 2 max_sigma: 14 num_traces: 4 custom_prob: None
DEBUG:Distributor:Uniform() probabilities: [Fraction(1, 13), Fraction(1, 13), Fraction(1, 13), Fraction(1, 13), Fraction(1, 13), Fraction(1, 13), Fraction(1, 13), Fraction(1, 13), Fraction(1, 13), Fraction(1, 13), Fraction(1, 13), Fraction(1, 13), Fraction(1, 13)]
DEBUG:Distributor:Custom_dist() min_mu:2 max_sigma:14 num_traces:4
DEBUG:Distributor:Probabilities sum 1
DEBUG:Distributor:Distribution result: [ 8  6 12 11]
INFO:ASP generator:Distribution result Counter({8: 1, 6: 1, 12: 1, 11: 1})

# activity A
# bind A: attribute
# activity B
# activity C
# attribute: value1, value2, value3
# Response[A,B] | A.attribute is value1 | |


# A user may want the activation of the Response constraint (i.e., activity A with
# attribute attribute = value1) to happen at least 3 times within each generated trace.


asp.set_activation_conditions({
    'Response[Driving_Test, Resit] |A.Grade<=2 | |': [0, 3]  # activation should occur between at most 3 times
})

asp.set_activation_conditions({'Response[Driving_Test, Resit] |A.Grade<=2 | |': [3, 5]})  # activation should occur between 3 to 5 times

asp.set_activation_conditions_by_template_index({1: [2, 4]})  # activation should occur between 3 to 5 times and as key you can also define the template index instead str

<src.Declare4Py.ProcessMiningTasks.ASPLogGeneration.asp_generator.AspGenerator at 0x7f76346ab700>

# Generate the traces and parse the result produced by clingo
asp.run()  # Run accets 1 optional value whether to create file for the ASP generated from given declare model

DEBUG:ASP generator:Using custom traces length
INFO:ASP generator:Computing distribution
DEBUG:Distributor:Distribution() uniform min_mu: 2 max_sigma: 14 num_traces: 4 custom_prob: None
DEBUG:Distributor:Uniform() probabilities: [Fraction(1, 13), Fraction(1, 13), Fraction(1, 13), Fraction(1, 13), Fraction(1, 13), Fraction(1, 13), Fraction(1, 13), Fraction(1, 13), Fraction(1, 13), Fraction(1, 13), Fraction(1, 13), Fraction(1, 13), Fraction(1, 13)]
DEBUG:Distributor:Custom_dist() min_mu:2 max_sigma:14 num_traces:4
DEBUG:Distributor:Probabilities sum 1
DEBUG:Distributor:Distribution result: [ 9  4  5 14]
INFO:ASP generator:Distribution result Counter({9: 1, 4: 1, 5: 1, 14: 1})
INFO:ASP generator:Computing distribution
DEBUG:ASP generator:Generating traces
DEBUG:ASP generator:Translate declare model to ASP
DEBUG:ASP generator:Declare model translated to ASP. Total Facts 4
DEBUG:ASP generator:ASP encoding generated
DEBUG:ASP generator:Start generating traces: Counter({9: 1, 4: 1, 5: 1, 14: 1})
DEBUG:ASP generator: Total trace to generate and events: Traces:1, Events: 9, RandFrequency: 0.9
DEBUG:ASP generator: Generating trace:1/1 with events:9)
DEBUG:ASP generator: Initializing clingo trace(1/1) with length:9), Seed 2546638776
DEBUG:ASP generator: Clingo Result: UNSAT
/home/mani/Desktop/projects/python/Declare4Py/src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/asp_generator.py:330: UserWarning: WARNING: Cannot generate 1 positive trace/s exactly with 9 events with this Declare model.
  warnings.warn(
DEBUG:ASP generator: Total trace to generate and events: Traces:1, Events: 4, RandFrequency: 0.9
DEBUG:ASP generator: Generating trace:1/1 with events:4)
DEBUG:ASP generator: Initializing clingo trace(1/1) with length:4), Seed 1166910333
DEBUG:ASP generator: Clingo Result: UNSAT
/home/mani/Desktop/projects/python/Declare4Py/src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/asp_generator.py:330: UserWarning: WARNING: Cannot generate 1 positive trace/s exactly with 4 events with this Declare model.
  warnings.warn(
DEBUG:ASP generator: Total trace to generate and events: Traces:1, Events: 5, RandFrequency: 0.9
DEBUG:ASP generator: Generating trace:1/1 with events:5)
DEBUG:ASP generator: Initializing clingo trace(1/1) with length:5), Seed 3020005515
DEBUG:ASP generator: Clingo Result: UNSAT
/home/mani/Desktop/projects/python/Declare4Py/src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/asp_generator.py:330: UserWarning: WARNING: Cannot generate 1 positive trace/s exactly with 5 events with this Declare model.
  warnings.warn(
DEBUG:ASP generator: Total trace to generate and events: Traces:1, Events: 14, RandFrequency: 0.9
DEBUG:ASP generator: Generating trace:1/1 with events:14)
DEBUG:ASP generator: Initializing clingo trace(1/1) with length:14), Seed 381720
DEBUG:ASP generator: Clingo Result: UNSAT
/home/mani/Desktop/projects/python/Declare4Py/src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/asp_generator.py:330: UserWarning: WARNING: Cannot generate 1 positive trace/s exactly with 14 events with this Declare model.
  warnings.warn(
DEBUG:ASP generator:Traces generated. Positive: 0 Neg: 0. Parsing Trace results.
DEBUG:ASP generator:Trace results parsed
DEBUG:ASP generator:Generating Pm4py log
WARNING:ASP generator:PM4PY log generated: 0/4 only.
DEBUG:ASP generator:Pm4py generated but not saved yet

# Save file to xes
asp.to_xes(output_file)