Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Recurso digital |
| Language: | English |
| Published: |
Zenodo
2025
|
| Subjects: | |
| Online Access: | https://doi.org/10.5281/zenodo.15470077 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866902301069803520 |
|---|---|
| author | Casas-Ramos, Jacobo Winkler, Sarah Gianola, Alessandro Montali, Marco Mucientes, Manuel Lama, Manuel |
| author_facet | Casas-Ramos, Jacobo Winkler, Sarah Gianola, Alessandro Montali, Marco Mucientes, Manuel Lama, Manuel |
| contents | <p>This contains the supplementary materials for the paper "Efficient Conformance Checking of Rich Data-Aware Declare Specifications", accepted for publication at BPM 2025. The research focuses on overcoming the limitations of existing conformance checking methods for declarative process models, which are either restricted to control-flow specifications or support only basic data types and comparisons. By leveraging a combination of A* search and SMT (Satisfiability Modulo Theories) solving, the authors develop a novel algorithm that efficiently computes optimal alignments in the presence of general data types and complex data conditions.</p> <p dir="auto">This includes:</p> <ul> <li><strong>Source Code (dada-sources.tar.gz)</strong>: The implementation of the proposed algorithm for efficient conformance checking.</li> <li><strong>Executable (dada.jar)</strong>: An executable version of the tool, allowing users to apply the approach to their own datasets.</li> <li><strong>Dataset (bergami2021-dataset.tar.gz)</strong>: The experimental dataset used to evaluate the performance of the approach. Retrieved from Bergami, G., Maggi, F.M., Marrella, A., Montali, M.: Aligning data-aware declarative process models and event logs. In: Proc. 19th BPM. LNCS, vol. 12875, pp. 235–251 (2021).</li> <li><strong>Raw Results (dada-raw-results-comparison.csv.gz and dada-raw-results-correlation.csv.gz)</strong>: The raw results from the experiments provide insights into the efficiency and effectiveness of the method.</li> </ul> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_15470077 |
| institution | Zenodo |
| language | eng |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Supplementary Materials for "Efficient Conformance Checking of Rich Data-Aware Declare Specifications" - Including Source Code, Executable, Dataset and Raw Results Casas-Ramos, Jacobo Winkler, Sarah Gianola, Alessandro Montali, Marco Mucientes, Manuel Lama, Manuel Multi-perspective conformance checking Efficient optimal alignments Data-aware Declare Satisfiability modulo theories (SMT) <p>This contains the supplementary materials for the paper "Efficient Conformance Checking of Rich Data-Aware Declare Specifications", accepted for publication at BPM 2025. The research focuses on overcoming the limitations of existing conformance checking methods for declarative process models, which are either restricted to control-flow specifications or support only basic data types and comparisons. By leveraging a combination of A* search and SMT (Satisfiability Modulo Theories) solving, the authors develop a novel algorithm that efficiently computes optimal alignments in the presence of general data types and complex data conditions.</p> <p dir="auto">This includes:</p> <ul> <li><strong>Source Code (dada-sources.tar.gz)</strong>: The implementation of the proposed algorithm for efficient conformance checking.</li> <li><strong>Executable (dada.jar)</strong>: An executable version of the tool, allowing users to apply the approach to their own datasets.</li> <li><strong>Dataset (bergami2021-dataset.tar.gz)</strong>: The experimental dataset used to evaluate the performance of the approach. Retrieved from Bergami, G., Maggi, F.M., Marrella, A., Montali, M.: Aligning data-aware declarative process models and event logs. In: Proc. 19th BPM. LNCS, vol. 12875, pp. 235–251 (2021).</li> <li><strong>Raw Results (dada-raw-results-comparison.csv.gz and dada-raw-results-correlation.csv.gz)</strong>: The raw results from the experiments provide insights into the efficiency and effectiveness of the method.</li> </ul> |
| title | Supplementary Materials for "Efficient Conformance Checking of Rich Data-Aware Declare Specifications" - Including Source Code, Executable, Dataset and Raw Results |
| topic | Multi-perspective conformance checking Efficient optimal alignments Data-aware Declare Satisfiability modulo theories (SMT) |
| url | https://doi.org/10.5281/zenodo.15470077 |