Discovering metric temporal business constraints from event logs

Lecture Notes in Business Information Processing

Volumn 194, Issue , 2014, Pages 261-275

  Maggi, Fabrizio Maria ^a  

^a UNIVERSITY OF TARTU   (Estonia)

Author keywords

Event Correlations; Metric Temporal Logic; Process Discovery; Timed Declare

Indexed keywords

PROCESS ENGINEERING; SEMANTICS;

BUILDING PROCESS MODELS; DECLARATIVE LANGUAGES; EVENT CORRELATION; METRIC TEMPORAL LOGIC; PROCESS CHARACTERISTICS; PROCESS DISCOVERY; PROCESS MODELING LANGUAGE; TIMED DECLARE;

MODELING LANGUAGES;

EID: 84919622373     PISSN: 18651348     EISSN: 18651356     Source Type: Book Series    
DOI: 10.1007/978-3-319-11370-8_19     Document Type: Conference Paper

References (16)

1. 3TU Data Center: BPI Challenge 2011 Event Log (2011), doi:10.4121/uuid:d9769f3d-0ab0-4fb8-803b-0d1120ffcf54
2. van der Aalst, W., Pesic, M., Schonenberg, H.: Declarative Workflows: Balancing Between Flexibility and Support. Computer Science - R&D, 99-113 (2009)
3. Barros, A., Decker, G., Dumas, M., Weber, F.: Correlation Patterns in Service-Oriented Architectures. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 245-259. Springer, Heidelberg (2007)
4. Bose, R.P.J.C., Maggi, F.M., van der Aalst, W.M.P.: Enhancing declare maps based on event correlations. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 97-112. Springer, Heidelberg (2013)
5. Burattin, A., Maggi, F.M., van der Aalst, W.M.P., Sperduti, A.: Techniques for a Posteriori Analysis of Declarative Processes. In: EDOC, pp. 41-50 (2012)
6. Chesani, F., Lamma, E., Mello, P., Montali, M., Riguzzi, F., Storari, S.: Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II. LNCS, vol. 5460, pp. 278-295. Springer, Heidelberg (2009)
7. Di Ciccio, C., Mecella, M.: Mining constraints for artful processes. In: Abramowicz, W., Kriksciuniene, D., Sakalauskas, V. (eds.) BIS 2012. LNBIP, vol. 117, pp. 11-23. Springer, Heidelberg (2012)
8. van Dongen, B.: Bpi challenge 2012 (2012)
9. Kupferman, O., Vardi, M.Y.: Vacuity Detection in Temporal Model Checking. International Journal on Software Tools for Technology Transfer, 224-233 (2003)
10. Maggi, F.M., Bose, R.P.J.C., van der Aalst, W.M.P.: Efficient Discovery of Understandable Declarative Models from Event Logs. In: Ralyte, J., Franch, X., Brinkkem-per, S., Wrycza, S. (eds.) CAiSE 2012. LNCS, vol. 7328, pp. 270-285. Springer, Heidelberg (2012)
11. Maggi, F.M., Mooij, A.J., van der Aalst, W.M.P.: User-Guided Discovery of Declarative Process Models. In: CIDM, pp. 192-199 (2011)
12. Montali, M.: Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach. Ph.D. thesis, University of Bologna (2009)
13. Pichler, P., Weber, B., Zugal, S., Pinggera, J., Mendling, J., Reijers, H.A.: Imperative Versus Declarative Process Modeling Languages: An Empirical Investigation. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part I. LNBIP, vol. 99, pp. 383-394. Springer, Heidelberg (2012)
14. Reijers, H.A., Slaats, T., Stahl, C.: Declarative modeling-an academic dream or the future for bpm? In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 307-322. Springer, Heidelberg (2013)
15. Thati, P., Rosu, G.: Monitoring algorithms for metric temporal logic specifications. Electron. Notes Theor. Comput. Sci. 113, 145-162 (2005)
16. Westergaard, M., Maggi, F.M.: Lookingintothefuture: Usingtimedautomatatopro-vide a priori advice about timed declarative process models. In: Meersman, R., et al. (eds.) OTM 2012, Part I. LNCS, vol. 7565, pp. 250-267. Springer, Heidelberg (2012)