A knowledge-based integrated approach for discovering and repairing declare maps

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

Volumn 7908 LNCS, Issue , 2013, Pages 433-448

  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

Declare; Linear Temporal Logic; Model Repair; Process Discovery

Indexed keywords

DECLARATIVE PROCESS MODELS; DECLARE; INTEGRATED APPROACH; LINEAR TEMPORAL LOGIC; MODEL REPAIR; POTENTIAL CONSTRAINTS; PROCESS DISCOVERY; VARIABLE ENVIRONMENT;

DATA MINING; KNOWLEDGE BASED SYSTEMS; SYSTEMS ENGINEERING; TEMPORAL LOGIC;

REPAIR;

EID: 84879849024     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-38709-8_28     Document Type: Conference Paper

References (15)

1. van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer (2011)
2. van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative Workflows: Balancing Between Flexibility and Support. Computer Science - R&D, 99-113 (2009)
3. Agrawal, R., Srikant, R.: Fast Algorithms for Mining Association Rules. In: VLDB 1994, pp. 487-499 (1994)
4. Case, M.L.: Online Algorithms to Mantain a Transitive Reduction, Department of EECS, University of California, Berkeley, CS 294-8 (2006)
5. 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)
6. 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)
7. Goedertier, S., Martens, D., Vanthienen, J., Baesens, B.: Robust process discovery with artificial negative events. Journal of Machine Learning Research 10, 1305-1340 (2009)
8. Kupferman, O., Vardi, M.Y.: Vacuity Detection in Temporal Model Checking. International Journal on Software Tools for Technology Transfer, 224-233 (2003)
9. Lichtenstein, O., Pnueli, A., Zuck, L.: The Glory of the Past. In: Parikh, R. (ed.) Logic of Programs. LNCS, vol. 193, pp. 196-218. Springer, Heidelberg (1985)
10. 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)
11. Maggi, F.M., Mooij, A.J., van der Aalst,W.M.P.: User-Guided Discovery of Declarative Process Models. In: IEEE Symposium on Computational Intelligence and Data Mining, vol. 2725, pp. 192-199. IEEE Computer Society (2011)
12. 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)
13. Pnueli, A.: The Temporal Logic of Programs. In: Annual IEEE Symposium on Foundations of Computer Science, pp. 46-57 (1977)
14. Westergaard, M., Maggi, F.M.: Declare: A tool suite for declarative workflow modeling and enactment. In: Proceedings of the Demo Track of the Ninth Conference on Business Process Management 2011, Clermont-Ferrand, France, August 31. CEUR Workshop Proceedings, vol. 820. CEUR-WS.org (2011)
15. 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)