Efficient discovery of understandable declarative process models from event logs

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

Volumn 7328 LNCS, Issue , 2012, Pages 270-285

  Maggi, Fabrizio M ^a   Bose, R P Jagadeesh Chandra ^a   Van Der Aalst, Wil M P ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

business process management; declarative process models; process mining

Indexed keywords

APRIORI ALGORITHMS; BUSINESS PROCESS MANAGEMENT; POTENTIAL CONSTRAINTS; PROCESS MINING; PROCESS MODEL; SEARCH SPACES; STRUCTURED PROCESS; TEMPORAL CONSTRAINTS;

DATA MINING; ENTERPRISE RESOURCE MANAGEMENT; INFORMATION SYSTEMS; SYSTEMS ENGINEERING;

MODEL CHECKING;

EID: 84867795158     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-31095-9_18     Document Type: Conference Paper

References (23)

1. van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. Knowledge and Data Engineering, 1128-1142 (2004)
2. van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer (2011)
3. van der Aalst, W.M.P., de Beer, H.T., van Dongen, B.F.: Process Mining and Verification of Properties: An Approach Based on Temporal Logic. In: Meersman, R., Tari, Z. (eds.) CoopIS/DOA/ODBASE 2005. LNCS, vol. 3760, pp. 130-147. Springer, Heidelberg (2005)
4. van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative Workflows: Balancing Between Flexibility and Support. Computer Science-R&D, 99-113 (2009)
5. van der Aalst, W.M.P., Reijers, H., Weijters, A., van Dongen, B., de Medeiros, A.A., Song, M., Verbeek, H.: Business Process Mining: An Industrial Application. Information Systems, 713-732 (2007)
6. Agrawal, R., Gunopulos, D., Leymann, F.: Mining Process Models from Workflow Logs. In: Schek, H.-J., Saltor, F., Ramos, I., Alonso, G. (eds.) EDBT 1998. LNCS, vol. 1377, pp. 469-483. Springer, Heidelberg (1998)
7. Agrawal, R., Srikant, R.: Fast Algorithms for Mining Association Rules. In: VLDB 1994, pp. 487-499 (1994)
8. Beer, I., Eisner, C.: Efficient detection of vacuity in temporal model checking. In: Formal Methods in System Design, pp. 200-201 (2001)
9. Brin, S., Motwani, R., Silverstein, C.: Beyond Market Baskets: Generalizing Association Rules to Correlations. In: ACM SIGMOD 1997, pp. 265-276 (1997)
10. Cook, J.E., Wolf, A.L.: Discovering models of software processes from event-based data. ACM Trans. on Software Engineering and Methodology, 215-249 (1998)
11. Damaggio, E., Deutsch, A., Hull, R., Vianu, V.: Automatic Verification of Data-Centric Business Processes. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 3-16. Springer, Heidelberg (2011)
12. Datta, A.: Automating the Discovery of As-Is Business Process Models: Probabilistic and Algorithmic Approaches. Info. Systems Research, 275-301 (1998)
13. Declare (2008), http://declare.sf.net
14. Günther, C.W., van der Aalst, W.M.P.: Fuzzy Mining-Adaptive Process Simplification Based on Multi-perspective Metrics. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 328-343. Springer, Heidelberg (2007)
15. Kupferman, O., Vardi, M.Y.: Vacuity Detection in Temporal Model Checking. International Journal on Software Tools for Technology Transfer, 224-233 (2003)
16. Lamma, E., Mello, P., Montali, M., Riguzzi, F., Storari, S.: Inducing Declarative Logic-Based Models from Labeled Traces. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 344-359. Springer, Heidelberg (2007)
17. Maggi, F.M., Mooij, A.J., van der Aalst, W.M.P.: User-guided discovery of declarative process models. In: CIDM (2011)
18. de Medeiros, A.A.,Weijters, A., van de Aalst, W.M.P.: Genetic Process Mining: An Experimental Evaluation. Data Mining and Knowledge Discovery, 245-304 (2007)
19. Pesic, M.: Constraint-Based Workflow Management Systems: Shifting Controls to Users. Ph.D. thesis, Beta Research School for Operations Management and Logistics, Eindhoven (2008)
20. Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: Full Support for Loosely-Structured Processes. In: EDOC 2007, pp. 287-298 (2007)
21. Schunselaar, D.M.M., Maggi, F.M., Sidorova, N.: Patterns for a Log-Based Strengthening of Declarative Compliance Models. In: iFM 2012 (to appear, 2012)
22. Wu, X., Zhang, C., Zhang, S.: Efficient Mining of Both Positive and Negative Association Rules. ACM Transactions on Information Systems, 381-405 (2004)
23. Zugal, S., Pinggera, J., Weber, B.: The Impact of Testcases on the Maintainability of Declarative Process Models. In: Halpin, T., Nurcan, S., Krogstie, J., Soffer, P., Proper, E., Schmidt, R., Bider, I. (eds.) BPMDS 2011 and EMMSAD 2011. LNBIP, vol. 81, pp. 163-177. Springer, Heidelberg (2011)