A Tool for Generating Event Logs from Multi-Perspective Declare Models

The availability of event logs with specific characteristics is nowadays one of the challenges of the process mining field in order to be able to validate and evaluate the proposed techniques. Although some effort has been done towards the generation of synthetic logs from imperative models, the generation of event logs starting from declarative models is still a very young research stream. Few works have focused on the generation of event logs taking into account the control flow perspective or focusing on a particular data attribute as the resources carrying out the activities. However, none of them, so far, has dealt with the generation of event logs from declarative models providing full support for data attributes. MP-Declare Log Generator is a tool for the generation of event logs starting from Multi-Perspective Declare models, a language for expressing declarative constraints on both control flow and data. The implementation of the tool is based on the Alloy model checker and is...

The availability of event logs with specific characteristics is nowadays one of the challenges of the process mining field in order to be able to validate and evaluate the proposed techniques. Although some effort has been done towards the generation of synthetic logs from imperative models, the generation of event logs starting from declarative models is still a very young research stream. Few works have focused on the generation of event logs taking into account the control flow perspective or focusing on a particular data attribute as the resources carrying out the activities. However, none of them, so far, has dealt with the generation of event logs from declarative models providing full support for data attributes. MP-Declare Log Generator is a tool for the generation of event logs starting from Multi-Perspective Declare models, a language for expressing declarative constraints on both control flow and data. The implementation of the tool is based on the Alloy model checker and is provided as a standalone desktop application.