Techniques for a posteriori analysis of declarative processes

Proceedings of the 2012 IEEE 16th International Enterprise Distributed Object Computing Conference, EDOC 2012

Volumn , Issue , 2012, Pages 41-50

  Burattin, Andrea ^a   Maggi, Fabrizio M ^b   Van Der Aalst, Wil M P ^b   Sperduti, Alessandro ^a  

^a UNIVERSITY OF PADOVA   (Italy)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

conformance checking; Declare; process mining; temporal logic

Indexed keywords

CONFORMANCE CHECKING; DECLARATIVE MODELS; DECLARE; ELECTRONIC DEVICE; HIGH QUALITY; POSTERIORI ANALYSIS; PROCESS MINING; PROCESS MODEL;

DATA MINING; SENSOR NETWORKS; TEMPORAL LOGIC; WEB SERVICES;

INDUSTRY;

EID: 84870666515     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOC.2012.15     Document Type: Conference Paper

References (18)

1. S. Zugal, J. Pinggera, and B. Weber, "The impact of test-cases on the maintainability of declarative process models," in BMMDS/EMMSAD, 2011, pp. 163-177.
2. P. Pichler, B. Weber, S. Zugal, J. Pinggera, J. Mendling, and H. A. Reijers, "Imperative versus declarative process modeling languages: An empirical investigation," in BPM Workshops, 2011, pp. 383-394.
3. W. van der Aalst, M. Pesic, and H. Schonenberg, "Declarative Workflows: Balancing Between Flexibility and Support," Computer Science - R&D, pp. 99-113, 2009.
4. A. Pnueli, "The temporal logic of programs," FOCS, pp. 46-57, 1977.
5. F. M. Maggi, J. Bose, and W. M. P. van der Aalst, "Efficient Discovery of Understandable Declarative Models from Event Logs," in CAiSE 2012, 2012, to appear.
6. F. M. Maggi, A. J. Mooij, and W. M. P. van der Aalst, "User-guided discovery of declarative process models," in CIDM 2011, vol. 2725, 2011, pp. 192-199.
7. F. Chesani, E. Lamma, P. Mello, M. Montali, F. Riguzzi, and S. Storari, "Exploiting Inductive Logic Programming Techniques for Declarative Process Mining," ToPNoC, vol. 5460, pp. 278-295, 2009.
8. E. Damaggio, A. Deutsch, R. Hull, and V. Vianu, "Automatic verification of data-centric business processes," in BPM, 2011, pp. 3-16.
9. A. Bauer, M. Leucker, and C. Schallhart, "Runtime verification for LTL and TLTL," ACM Trans. Softw. Eng. Methodol., vol. 20, no. 4, pp. 14:1-14:64, 2011.
10. D. Knuplesch, L. T. Ly, S. Rinderle-Ma, H. Pfeifer, and P. Dadam, "On enabling data-aware compliance checking of business process models," in ER 2010, pp. 332-346.
11. 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, vol. 6896, 2011, pp. 132-147.
12. 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, vol. 7186, pp. 131-146.
13. M. Pesic, H. Schonenberg, and W. van der Aalst, "DECLARE: Full Support for Loosely-Structured Processes," in EDOC 2007, pp. 287-298.
14. I. Beer and C. Eisner, "Efficient detection of vacuity in temporal model checking," in Formal Methods in System Design, 2001, pp. 200-1.
15. O. Kupferman and M. Y. Vardi, "Vacuity Detection in Temporal Model Checking," International Journal on Software Tools for Technology Transfer, pp. 224-233, 2003.
16. D. Alrajeh, J. Kramer, A. Russo, and S. Uchitel, "Learning from vacuously satisfiable scenario-based specifications," in FASE, 2012, pp. 377-393.
17. M. Westergaard and F. M. Maggi, "Declare: A tool suite for declarative workflow modeling and enactment," in BPM (Demos), 2011.
18. D. Giannakopoulou and K. Havelund, "Automata-based verification of temporal properties on running programs," in ASE 2001, 2001.