Declarative process mining with the declare component of ProM

CEUR Workshop Proceedings

Volumn 1021, Issue , 2013, Pages

  Maggi, Fabrizio Maria ^a  

^a UNIVERSITY OF TARTU   (Estonia)

Author keywords

[No Author keywords available]

Indexed keywords

CONFORMANCE CHECKING; DECLARATIVE PROCESS MODELS; EXECUTION PATHS; HEALTHCARE PROCESS; ONLINE MONITORING; PROCEDURAL MODELING; PROCESS DESCRIPTIONS; TURBULENT ENVIRONMENTS;

ENTERPRISE RESOURCE MANAGEMENT; MODEL CHECKING; PETRI NETS;

DATA MINING;

EID: 84897714794     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. 3TU Data Center. BPI Challenge 2011 Event Log, 2011. doi:10.4121/uuid: d9769f3d-0ab0-4fb8-803b-0d1120-cf54.
2. A. Burattin, F.M. Maggi, W.M.P. van der Aalst, and A. Sperduti. Techniques for a Posteriori Analysis of Declarative Processes. In EDOC 2012.
3. Massimiliano Leoni, Fabrizio Maria Maggi, and WilM.P. Aalst. Aligning event logs and declarative process models for conformance checking. In BPM 2012.
4. F. M. Maggi, M. Westergaard, M. Montali, and W. M. P. van der Aalst. Runtime verification of LTL-based declarative process models. In RV 2011.
5. Fabrizio M. Maggi, Arjan J. Mooij, and Wil M. P. van der Aalst. Analyzing Vessel Behavior using Process Mining, chapter Poseidon book.
6. F.M. Maggi, J.C. Bose, and W.M.P. van der Aalst. Eficient discovery of understandable declarative models from event logs. In CAiSE 2012.
7. F.M. Maggi, R.P.J.C. Bose, and W.M.P. van der Aalst. A knowledge-based integrated approach for discovering and repairing declare maps. In CAiSE 2013.
8. F.M. Maggi, M. Montali, M. Westergaard, and W.M.P. van der Aalst. Monitoring business constraints with linear temporal logic: An approach based on colored automata. In BPM 2011.
9. W.M.P. van der Aalst. Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer, 2011.
10. W.M.P. van der Aalst, M. Pesic, and H. Schonenberg. Declarative Workows: Balancing Between Flexibility and Support. Computer Science - R&D.
11. Michael Westergaard and Fabrizio Maria Maggi. Declare: A tool suite for declarative workow modeling and enactment. In BPM (Demos), 2011.