This project is focused on creating a set of tools that allows create a correct BPMN model based on unordered task specifications collected from different process participants.
- MiniZinc project for workflow trace identification, including:
- MiniZinc constraint-based model for gateway structure identification (executed by the Java application)
- source code of the Java-based process composition application
- BPMN models used for method evaluation
- results of the performed comparative analysis