To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.
How to perform Temporal Compliance Verification in Prom 6.9
I want to try out verification of timing constraints in a process based on the event logs.
I have start and end time for every activity.
I have gone through the paper
"Diagnostic Information for Compliance Checking of Temporal Compliance Requirements". I would like to know how can I use the temporal compliance plugin " Compliance " specified in the paper. I think a updated version of this package is available now.
Can I know the new plugins for temporal compliance verification and the steps to use it.
The details of format in which the input events should be specified in the csv files will help a lot.
Can anyone help me with my queries.