Declare process editor?

After advices I got in my last question, I investigated declarative expression of processes.
Mining the activity log I had lead to poor result. However, I do have the "ideal" process that logs should follow.
I wrote a "declarative" process with statements found in this paper:
The Effect of Noise on Mined Declarative Constraints by  Claudio Di Ciccio et al.
Is there a graphical declare language editor?
Once I have those statements (in a text file) how can I translate them in a machine usable input for declarative miner conformance checks?
Many thanks for your input.


Sign In or Register to comment.