Abstract
This demo introduces Declare MoGeS, an automated approach for generating and specializing Declare process models that can be employed as input for log generation. The specialization of Declare models is particularly interesting to produce event logs that encompass a subset of the behavior of other logs. Declare MoGeS seamlessly integrates with existing log generators, streamlining the log generation process.
Original language | English |
---|---|
Title of host publication | CEUR Workshop Proceedings |
Subtitle of host publication | ICPM Doctoral Consortium and Demo Track 2023 |
Editors | Jan Martijn E.M. van der Werf, Cristina Cabanillas, Francesco Leotta, Laura Genga |
Publisher | CEUR-WS.org |
Number of pages | 5 |
Volume | 3648 |
Publication status | Published - 2023 |
Event | Doctoral Consortium and Demo Track 2023 at the International Conference on Process Mining, ICPM-DCDT 2023 - Rome, Italy Duration: 27 Oct 2023 → 27 Oct 2023 https://icpmconference.org/2023/doctoral-consortium/ |
Publication series
Series | CEUR Workshop Proceedings |
---|---|
ISSN | 1613-0073 |
Conference
Conference | Doctoral Consortium and Demo Track 2023 at the International Conference on Process Mining, ICPM-DCDT 2023 |
---|---|
Country/Territory | Italy |
City | Rome |
Period | 27/10/23 → 27/10/23 |
Internet address |
Keywords
- Declare
- Linear Temporal Logic
- Model Generation
- Model Specialization