Janus is a tool-set for the discovery, evaluation, and anlysis of declarative process specifications.
It is based on Linear Temporal Logic over finite traces with past operators (LTLpf) and specifically on the concept of reactive constraints: formulae with an explicit distinction between the activator and consequent factors of the formula itself.
Janus software base is forked from MINERful, mostly for the input handling and the command line interface.
- declarative process discovery:
- Input: rules template set and an event log;
- Output: declarative process model.
- declarative specification measurements:
- Input: declarative process model and an event log
- Output: set of measurements for the rules containend in the model with respect to the event log.
- variant analysis based on declarative specifications
- Input: 2 event logs.
- Output: set of rules with a statistically significant difference between the logs.
For the features inherited from MINERful (e.g., declarative models simulator) refer to its offical page.
For further details consult the wiki page
Janus features have been introduced or employed in the following scientific publications:
- Discovery algorithm, reactive constraints introduction
Alessio Cecconi, Claudio Di Ciccio, Giuseppe De Giacomo, Jan Mendling:
Interestingness of Traces in Declarative Process Mining: The Janus LTLpf Approach. BPM 2018
- DOI: https://doi.org/10.1007/978-3-319-98648-7_8
- Declarative Measurement System for rules and specifications
Alessio Cecconi, Giuseppe De Giacomo, Claudio Di Ciccio, Fabrizio Maria Maggi, Jan Mendling: A Temporal Logic-Based Measurement Framework for Process Mining. ICPM 2020 - DOI: https://doi.org/10.1109/ICPM49681.2020.00026
Alessio Cecconi, Giuseppe De Giacomo, Claudio Di Ciccio, Fabrizio Maria Maggi, Jan Mendling: Measuring the interestingness of temporal logic behavioral specifications in process mining. Information Systems. vol.107 (2022) - DOI: https://doi.org/10.1016/j.is.2021.101920
Alessio Cecconi, Claudio Di Ciccio, Arik Senderovich: Measurement of Rule-based LTLf Declarative Process Specifications. ICPM 2022 - DOI: https://doi.org/10.1109/ICPM57379.2022.9980690
- Variant Analysis via declarative rules
Alessio Cecconi, Adriano Augusto, Claudio Di Ciccio: Detection of Statistically Significant Differences Between Process Variants Through Declarative Rules. BPM (Forum) 2021 - DOI: https://doi.org/10.1007/978-3-030-85440-9_5
Please read the LICENSE file.