Discovering target-branched declare constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8659 LNCS, Issue , 2014, Pages 34-50

  Di Ciccio, Claudio ^a   Maggi, Fabrizio Maria ^b   Mendling, Jan ^a  

^a VIENNA UNIVERSITY OF ECONOMICS AND BUSINESS   (Austria)

^b UNIVERSITY OF TARTU   (Estonia)

Author keywords

Declarative Processes; Discovery; Process Mining

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

DISCOVERY; FORMAL PROPERTIES; GENERATING MODELS; PROCEDURAL MODELS; PROCESS MINING; PROCESS MODELLING; PROTOTYPICAL IMPLEMENTATION; RESEARCH CHALLENGES;

ENTERPRISE RESOURCE MANAGEMENT;

EID: 84906776604     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-10172-9_3     Document Type: Conference Paper

References (29)

1. Agrawal, R., Srikant, R.: Fast Algorithms for Mining Association Rules in Large Databases. In: VLDB, pp. 487-499. Morgan Kaufmann (1994)
2. 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)
3. 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)
4. Di Ciccio, C., Marrella, A., Russo, A.: Knowledge-Intensive Processes: An Overview of Contemporary Approaches. In: KiBP, pp. 33-47 (2012)
5. 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)
6. Di Ciccio, C., Mecella, M.: Mining Artful Processes from Knowledge Workers' Emails. IEEE Internet Computing 17(5), 10-20 (2013)
7. Di Ciccio, C., Mecella, M.: A Two-Step Fast Algorithm for the Automated Discovery of Declarative Workflows. In: CIDM, pp. 135-142 (2013)
8. Dumas, M., La Rosa, M., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management. Springer (2013)
9. Fahland, D., Lübke, D., Mendling, J., Reijers, H., Weber, B., Weidlich, M., Zugal, S.: Declarative versus Imperative Process Modeling Languages: The Issue of Understandability. In: Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Soffer, P., Ukor, R. (eds.) Enterprise, Business-Process and Information Systems Modeling. LNBIP, vol. 29, pp. 353-366. Springer, Heidelberg (2009)
10. Lamma, E., Mello, P., Riguzzi, F., Storari, S.: Applying Inductive Logic Programming to Process Mining. In: Blockeel, H., Ramon, J., Shavlik, J., Tadepalli, P. (eds.) ILP 2007. LNCS (LNAI), vol. 4894, pp. 132-146. Springer, Heidelberg (2008)
11. Maggi, F.M., Westergaard, M., Montali, M., van der Aalst, W.M.P.: Runtime Verification of LTL-Based Declarative Process Models. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 131-146. Springer, Heidelberg (2012)
12. Maggi, F.M.: Declarative Process Mining with the Declare Component of ProM. In: BPM (Demos). CEUR, vol. 1021 (2013)
13. Maggi, F.M., Bose, R.P.J.C., van der Aalst, W.M.P.: A Knowledge-Based Integrated Approach for Discovering and Repairing Declare Maps. In: Salinesi, C., Norrie, M.C., Pastor, ó. (eds.) CAiSE 2013. LNCS, vol. 7908, pp. 433-448. Springer, Heidelberg (2013)
14. Maggi, F.M., Dumas, M., García-Bañuelos, L., Montali, M.: Discovering Data- Aware Declarative Process Models from Event Logs. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 81-96. Springer, Heidelberg (2013)
15. Maggi, F.M., Bose, R.P.J.C., van der Aalst, W.M.P.: Efficient Discovery of Understandable Declarative Process Models from Event Logs. In: Ralyté, J., Franch, X., Brinkkemper, S., Wrycza, S. (eds.) CAiSE 2012. LNCS, vol. 7328, pp. 270-285. Springer, Heidelberg (2012)
16. Maggi, F.M., Montali, M., Westergaard, M., van der Aalst, W.M.P.: Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 132-147. Springer, Heidelberg (2011)
17. Maggi, F.M., Mooij, A.J., van der Aalst,W.M.P.: User-Guided Discovery of Declarative Process Models. In: CIDM, pp. 192-199. IEEE (2011)
18. Mendling, J., Strembeck, M., Recker, J.: Factors of Process Model Comprehension - Findings from a Series of Experiments. Decision Support Systems 53(1), 195-206 (2012)
19. Montali, M., Chesani, F., Maggi, F.M., Mello, P.: Towards Data-Aware Constraints in Declare. In: SAC, pp. 1391-1396 (2013)
20. Montali, M., Maggi, F.M., Chesani, F., Mello, P., van der Aalst, W.M.P.: Monitoring Business Constraints with the Event Calculus. ACM TIST 5(1), 17 (2013)
21. Montali, M., Pesic, M., van der Aalst, W.M.P.: Federico Chesani, Paola Mello, and Sergio Storari. Declarative Specification and Verification of Service Choreographies. ACM Transactions on the Web 4(1) (2010)
22. 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)
23. Schunselaar, D.M.M., Maggi, F.M., Sidorova, N.: Patterns for a Log-Based Strengthening of Declarative Compliance Models. In: Derrick, J., Gnesi, S., Latella, D., Treharne, H. (eds.) IFM 2012. LNCS, vol. 7321, pp. 327-342. Springer, Heidelberg (2012)
24. Smirnov, S.,Weidlich, M., Mendling, J.: Business Process Model Abstraction Based on Synthesis from Well-Structured Behavioral Profiles. Int. J. Cooperative Inf. Syst. 21(1), 55-83 (2012)
25. van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow Mining: Discovering Process Models from Event Logs. IEEE TKDE 16(9), 1128-1142 (2004)
26. van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative Workflows: Balancing between Flexibility and Support. CSRD 23(2), 99-113 (2009)
27. van Dongen, B.F.: BPI Challenge 2012 (2012)
28. Weidlich, M., Polyvyanyy, A., Desai, N., Mendling, J., Weske, M.: Process Compliance Analysis Based on Behavioural Profiles. Inf. Syst. 36(7), 1009-1025 (2011)
29. Westergaard, M., Maggi, F.M.: Looking into the Future: Using Timed Automata to Provide 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)