{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T13:35:12Z","timestamp":1760189712714,"version":"3.37.3"},"reference-count":73,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2019,11,2]],"date-time":"2019-11-02T00:00:00Z","timestamp":1572652800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,11,2]],"date-time":"2019-11-02T00:00:00Z","timestamp":1572652800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"University of Innsbruck and Medical University of Innsbruck"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2020,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Predictive analysis in business process monitoring aims at forecasting the future information of a running business process. The prediction is typically made based on the model extracted from historical process execution logs (event logs). In practice, different business domains might require different kinds of predictions. Hence, it is important to have a means for properly specifying the desired prediction tasks, and a mechanism to deal with these various prediction tasks. Although there have been many studies in this area, they mostly focus on a specific prediction task. This work introduces a language for specifying the desired prediction tasks, and this language allows us to express various kinds of prediction tasks. This work also presents a mechanism for automatically creating the corresponding prediction model based on the given specification. Differently from previous studies, instead of focusing on a particular prediction task, we present an approach to deal with various prediction tasks based on the given specification of the desired prediction tasks. We also provide an implementation of the approach which is used to conduct experiments using real-life event logs.<\/jats:p>","DOI":"10.1007\/s10270-019-00761-w","type":"journal-article","created":{"date-parts":[[2019,11,2]],"date-time":"2019-11-02T13:03:16Z","timestamp":1572699796000},"page":"1307-1343","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Specification-driven predictive business process monitoring"],"prefix":"10.1007","volume":"19","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6212-4365","authenticated-orcid":false,"given":"Ario","family":"Santoso","sequence":"first","affiliation":[]},{"given":"Michael","family":"Felderer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,11,2]]},"reference":[{"key":"761_CR1","doi-asserted-by":"crossref","unstructured":"Bagheri Hariri, B., Calvanese, D., De Giacomo, G., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. In: The 32nd ACM SIGACT SIGMOD SIGAI Symposium on Principles of Database Systems (PODS), pp 163\u2013174 (2013)","DOI":"10.1145\/2463664.2465221"},{"key":"761_CR2","doi-asserted-by":"crossref","unstructured":"Bagheri\u00a0Hariri, B., Calvanese, D., Montali, M., Santoso, A., Solomakhin, D.: Verification of semantically-enhanced artifact systems. In: Proceedings of the 11th International Joint Conference on Service Oriented Computing (ICSOC), LNCS, vol. 8274, pp. 600\u2013607. Springer (2013). https:\/\/doi.org\/10.1007\/978-3-642-45005-1_51","DOI":"10.1007\/978-3-642-45005-1_51"},{"key":"761_CR3","volume-title":"Handbook of Satisfiability","author":"CW Barrett","year":"2009","unstructured":"Barrett, C.W., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Biere, A., Heule, M., van Maaren, H. (eds.) Handbook of Satisfiability. IOS Press, Amsterdam (2009)"},{"key":"761_CR4","unstructured":"Basin, D., Klaedtke, F., M\u00fcller, S., Pfitzmann, B.: Runtime monitoring of metric first-order temporal properties. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Leibniz International Proceedings in Informatics (LIPIcs), vol. 2, pp 49\u201360 (2008)"},{"key":"761_CR5","doi-asserted-by":"crossref","unstructured":"Basin, D., Klaedtke, F., Marinovic, S., Z\u0103linescu, E.: Monitoring of temporal first-order properties with aggregations. In: Runtime Verification (RV) 2013, LNCS, vol. 8174, pp. 40\u201358. Springer (2013)","DOI":"10.1007\/978-3-642-40787-1_3"},{"issue":"3","key":"761_CR6","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/s10703-015-0222-7","volume":"46","author":"D Basin","year":"2015","unstructured":"Basin, D., Klaedtke, F., Marinovic, S., Z\u0103linescu, E.: Monitoring of temporal first-order properties with aggregations. Formal Methods Syst. Des. 46(3), 262\u2013285 (2015)","journal-title":"Formal Methods Syst. Des."},{"issue":"2","key":"761_CR7","doi-asserted-by":"publisher","first-page":"15:1","DOI":"10.1145\/2699444","volume":"62","author":"D Basin","year":"2015","unstructured":"Basin, D., Klaedtke, F., M\u00fcller, S., Z\u0103linescu, E.: Monitoring metric first-order temporal properties. J. ACM 62(2), 15:1\u201315:45 (2015)","journal-title":"J. ACM"},{"key":"761_CR8","doi-asserted-by":"crossref","unstructured":"Bianculli, D., Ghezzi, C., San\u00a0Pietro, P.: The tale of SOLOIST: a specification language for service compositions interactions. In: Formal Aspects of Component Software (FACS) 2012, LNCS, vol. 7684, pp. 55\u201372. Springer (2013)","DOI":"10.1007\/978-3-642-35861-6_4"},{"issue":"1","key":"761_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1010933404324","volume":"45","author":"L Breiman","year":"2001","unstructured":"Breiman, L.: Random forests. Mach. Learn. 45(1), 5\u201332 (2001)","journal-title":"Mach. Learn."},{"key":"761_CR10","volume-title":"Classification and Regression Trees The Wadsworth and Brooks-Cole Statistics-probability Series","author":"L Breiman","year":"1984","unstructured":"Breiman, L., Friedman, J., Stone, C., Olshen, R.: Classification and Regression Trees The Wadsworth and Brooks-Cole Statistics-probability Series. Taylor & Francis, Milton Park (1984)"},{"issue":"4","key":"761_CR11","doi-asserted-by":"publisher","first-page":"1009","DOI":"10.25300\/MISQ\/2016\/40.4.10","volume":"40","author":"D Breuker","year":"2016","unstructured":"Breuker, D., Matzner, M., Delfmann, P., Becker, J.: Comprehensible predictive models for business processes. MIS Q. 40(4), 1009\u20131034 (2016)","journal-title":"MIS Q."},{"key":"761_CR12","doi-asserted-by":"crossref","unstructured":"Calvanese, D., \u00cdsmail \u00cdlkan Ceylan, Montali, M., Santoso, A.: Verification of context-sensitive knowledge and action bases. In: Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA), LNCS, vol. 8761, pp. 514\u2013528, Springer (2014). https:\/\/doi.org\/10.1007\/978-3-319-11558-0_36","DOI":"10.1007\/978-3-319-11558-0_36"},{"key":"761_CR13","unstructured":"Calvanese, D., Montali, M., Santoso, A.: Verification of generalized inconsistency-aware knowledge and action bases. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), pp. 2847\u20132853. AAAI Press (2015)"},{"key":"761_CR14","first-page":"116","volume-title":"Supporting Risk-Informed Decisions During Business Process Execution","author":"R Conforti","year":"2013","unstructured":"Conforti, R., de Leoni, M., La Rosa, M., van der Aalst, W.M.P.: Supporting Risk-Informed Decisions During Business Process Execution, pp. 116\u2013132. Springer, Berlin (2013)"},{"key":"761_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.dss.2014.10.006","volume":"69","author":"R Conforti","year":"2015","unstructured":"Conforti, R., de Leoni, M., La Rosa, M., van der Aalst, W.M., ter Hofstede, A.H.: A recommendation system for predicting risks across multiple business process instances. Decis. Support Syst. 69, 1\u201319 (2015)","journal-title":"Decis. Support Syst."},{"key":"761_CR16","doi-asserted-by":"crossref","unstructured":"De\u00a0Masellis, R., Maggi, F.M., Montali, M.: Monitoring data-aware business constraints with finite state automata. In: Proceedings of the 2014 International Conference on Software and System Process, pp. 134\u2013143. ACM (2014)","DOI":"10.1145\/2600821.2600835"},{"key":"761_CR17","doi-asserted-by":"crossref","unstructured":"Di\u00a0Francescomarino, C., Dumas, M., Federici, M., Ghidini, C., Maggi, F.M., Rizzi, W.: Predictive business process monitoring framework with hyperparameter optimization. In: Proceedings of the 28th International Conference on Advanced Information Systems Engineering (CAiSE), LNCS, vol. 9694, pp. 361\u2013376. Springer (2016)","DOI":"10.1007\/978-3-319-39696-5_22"},{"issue":"99","key":"761_CR18","first-page":"1","volume":"PP","author":"C Di Francescomarino","year":"2016","unstructured":"Di Francescomarino, C., Dumas, M., Maggi, F.M., Teinemaa, I.: Clustering-based predictive process monitoring. IEEE Trans. Serv. Comput. PP(99), 1\u201318 (2016)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"761_CR19","doi-asserted-by":"crossref","unstructured":"Di\u00a0Francescomarino, C., Ghidini, C., Maggi, F.M., Petrucci, G., Yeshchenko, A.: An eye into the future: leveraging a-priori knowledge in predictive business process monitoring. In: Proceedings of the 15th International Conference on Business Process Management (BPM), LNCS (2017)","DOI":"10.1007\/978-3-319-65000-5_15"},{"key":"761_CR20","doi-asserted-by":"crossref","unstructured":"Di\u00a0Francescomarino, C., Ghidini, C., Maggi, F.M., Milani, F.: Predictive process monitoring methods: Which one suits me best? In: Proceedings of the 16th International Conference on Business Process Management (BPM), pp. 462\u2013479. Springer (2018)","DOI":"10.1007\/978-3-319-98648-7_27"},{"key":"761_CR21","doi-asserted-by":"crossref","unstructured":"Du, X., Liu, Y., Tiu, A.: Trace-length independent runtime monitoring of quantitative policies in LTL. In: Formal Methods (FM) 2015, LNCS, vol. 9109, pp 231\u2013247. Springer (2015)","DOI":"10.1007\/978-3-319-19249-9_15"},{"key":"761_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-56509-4","volume-title":"Fundamentals of Business Process Management","author":"M Dumas","year":"2018","unstructured":"Dumas, M., La Rosa, M., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management, 2nd edn. Springer, Berlin (2018)","edition":"2"},{"key":"761_CR23","doi-asserted-by":"crossref","unstructured":"Evermann, J., Rehse, J.R., Fettke, P.: A deep learning approach for predicting process behaviour at runtime. In: BPM Workshops 2016, pp. 327\u2013338. Springer (2017)","DOI":"10.1007\/978-3-319-58457-7_24"},{"key":"761_CR24","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.dss.2017.04.003","volume":"100","author":"J Evermann","year":"2017","unstructured":"Evermann, J., Rehse, J.R., Fettke, P.: Predicting process behaviour using deep learning. Decis. Support Syst. 100, 129\u2013140 (2017)","journal-title":"Decis. Support Syst."},{"key":"761_CR25","doi-asserted-by":"crossref","unstructured":"Folino, F., Guarascio, M., Pontieri, L.: Discovering context-aware models for predicting business process performances. In: On the Move to Meaningful Internet Systems: OTM Conference 2012, pp. 287\u2013304. Springer (2012)","DOI":"10.1007\/978-3-642-33606-5_18"},{"key":"761_CR26","first-page":"133","volume-title":"Domain-Specific Modeling Languages: Requirements Analysis and Design Guidelines","author":"U Frank","year":"2013","unstructured":"Frank, U.: Domain-Specific Modeling Languages: Requirements Analysis and Design Guidelines, pp. 133\u2013157. Springer, Berlin (2013)"},{"issue":"1","key":"761_CR27","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1006\/jcss.1997.1504","volume":"55","author":"Y Freund","year":"1997","unstructured":"Freund, Y., Schapire, R.E.: A decision-theoretic generalization of on-line learning and an application to boosting. J. Comput. Syst. Sci. 55(1), 119\u2013139 (1997)","journal-title":"J. Comput. Syst. Sci."},{"key":"761_CR28","volume-title":"The Elements of Statistical Learning","author":"J Friedman","year":"2001","unstructured":"Friedman, J., Hastie, T., Tibshirani, R.: The Elements of Statistical Learning. Springer, Berlin (2001)"},{"issue":"1","key":"761_CR29","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10994-006-6226-1","volume":"63","author":"P Geurts","year":"2006","unstructured":"Geurts, P., Ernst, D., Wehenkel, L.: Extremely randomized trees. Mach. Learn. 63(1), 3\u201342 (2006)","journal-title":"Mach. Learn."},{"key":"761_CR30","volume-title":"Deep Learning","author":"I Goodfellow","year":"2016","unstructured":"Goodfellow, I., Bengio, Y., Courville, A.: Deep Learning. MIT Press, Cambridge (2016)"},{"key":"761_CR31","volume-title":"Data Mining: Concepts and Techniques","author":"J Han","year":"2011","unstructured":"Han, J., Pei, J., Kamber, M.: Data Mining: Concepts and Techniques. Elsevier, Amsterdam (2011)"},{"key":"761_CR32","unstructured":"IEEE Comp Intelligence Society.: IEEE Standard for eXtensible Event Stream (XES) for achieving interoperability in event logs and event streams. IEEE Std 1849-2016 (2016)"},{"key":"761_CR33","doi-asserted-by":"crossref","unstructured":"Leontjeva, A., Conforti, R., Di\u00a0Francescomarino, C., Dumas, M., Maggi, F.M.: Complex symbolic sequence encodings for predictive monitoring of business processes. In: Proceedings of the 13th International Conference on Business Process Management (BPM), LNCS, Springer (2015)","DOI":"10.1007\/978-3-319-23063-4_21"},{"key":"761_CR34","doi-asserted-by":"crossref","unstructured":"Maggi, F.M., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L., Montali, M.: Discovering data-aware declarative process models from event logs. In: Proceedings of the 11th International Conference on Business Process Management (BPM), pp. 81\u201396. Springer (2013)","DOI":"10.1007\/978-3-642-40176-3_8"},{"key":"761_CR35","doi-asserted-by":"crossref","unstructured":"Maggi, F.M., Di\u00a0Francescomarino, C., Dumas, M., Ghidini, C.: Predictive monitoring of business processes. In: Proceedings of the 26th International Conference on Advanced Information Systems Engineering (CAiSE), LNCS, vol. 8484, pp. 457\u2013472. Springer (2014)","DOI":"10.1007\/978-3-319-07881-6_31"},{"key":"761_CR36","doi-asserted-by":"crossref","unstructured":"M\u00e1rquez-Chamorro, A.E., Resinas, M., Ruiz-Cort\u00e9s, A.: Predictive monitoring of business processes: a survey. IEEE Trans. Serv, Comput. (2017)","DOI":"10.1109\/TSC.2017.2772256"},{"key":"761_CR37","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.eswa.2017.05.069","volume":"87","author":"AE M\u00e1rquez-Chamorro","year":"2017","unstructured":"M\u00e1rquez-Chamorro, A.E., Resinas, M., Ruiz-Cort\u00e9s, A., Toro, M.: Run-time prediction of business process indicators using evolutionary decision rules. Expert Syst. Appl. 87, 1\u201314 (2017)","journal-title":"Expert Syst. Appl."},{"key":"761_CR38","doi-asserted-by":"crossref","unstructured":"Mehdiyev, N., Evermann, J., Fettke, P.: A multi-stage deep learning approach for business process event prediction. In: 2017 IEEE 19th Conference on Business Informatics (CBI), vol. 01, pp. 119\u2013128 (2017)","DOI":"10.1109\/CBI.2017.46"},{"issue":"4","key":"761_CR39","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/1118890.1118892","volume":"37","author":"M Mernik","year":"2005","unstructured":"Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Comput. Surv. 37(4), 316\u2013344 (2005)","journal-title":"ACM Comput. Surv."},{"key":"761_CR40","doi-asserted-by":"crossref","unstructured":"Metzger, A., F\u00f6cker, F.: Predictive business process monitoring considering reliability estimates. In: Proceedings of the 29th International Conference on Advanced Information Systems Engineering (CAiSE), pp 445\u2013460. Springer (2017)","DOI":"10.1007\/978-3-319-59536-8_28"},{"key":"761_CR41","doi-asserted-by":"crossref","unstructured":"Metzger, A., Franklin, R., Engel, Y.: Predictive monitoring of heterogeneous service-oriented business networks: the transport and logistics case. In: Annual SRII Global Conference (2012)","DOI":"10.1109\/SRII.2012.42"},{"issue":"2","key":"761_CR42","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1109\/TSMC.2014.2347265","volume":"45","author":"A Metzger","year":"2015","unstructured":"Metzger, A., Leitner, P., Ivanovi\u0107, D., Schmieders, E., Franklin, R., Carro, M., Dustdar, S., Pohl, K.: Comparing and combining predictive business process monitoring techniques. IEEE Trans. Syst. Man Cybern. Syst. 45(2), 276\u2013290 (2015)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"761_CR43","volume-title":"Foundations of Machine Learning","author":"M Mohri","year":"2012","unstructured":"Mohri, M., Rostamizadeh, A., Talwalkar, A.: Foundations of Machine Learning. MIT Press, Cambridge (2012)"},{"issue":"6","key":"761_CR44","doi-asserted-by":"publisher","first-page":"756","DOI":"10.1109\/TSE.2009.67","volume":"35","author":"D Moody","year":"2009","unstructured":"Moody, D.: The \u201cphysics\u201d of notations: toward a scientific basis for constructing visual notations in software engineering. IEEE Trans. Softw. Eng. 35(6), 756\u2013779 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"761_CR45","unstructured":"Object Management Group.: Decision Model and Notation (DMN) 1.0. http:\/\/www.omg.org\/spec\/DMN\/1.0\/ (2015)"},{"key":"761_CR46","first-page":"2825","volume":"12","author":"F Pedregosa","year":"2011","unstructured":"Pedregosa, F., Varoquaux, G., Gramfort, A., Michel, V., Thirion, B., Grisel, O., Blondel, M., Prettenhofer, P., Weiss, R., Dubourg, V., Vanderplas, J., Passos, A., Cournapeau, D., Brucher, M., Perrot, M., Duchesnay, E.: Scikit-learn: machine learning in Python. J. Mach. Learn. Res. 12, 2825\u20132830 (2011)","journal-title":"J. Mach. Learn. Res."},{"key":"761_CR47","doi-asserted-by":"crossref","unstructured":"Pesic, M., van\u00a0der Aalst, W.M.P.: A declarative approach for flexible business processes management. In: BPM Workshops 2006, pp. 169\u2013180. Springer (2006)","DOI":"10.1007\/11837862_18"},{"key":"761_CR48","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, H., van\u00a0der Aalst, W.M.P.: DECLARE: full support for loosely-structured processes. In: 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), pp. 287\u2013287 (2007)","DOI":"10.1109\/EDOC.2007.4384001"},{"key":"761_CR49","doi-asserted-by":"crossref","unstructured":"Pika, A., van\u00a0der Aalst, W.M.P., Fidge, C.J., ter Hofstede, A.H.M., Wynn, M.T.: Predicting deadline transgressions using event logs. In: BPM Workshops 2012, LNBIP, Springer (2012)","DOI":"10.1007\/978-3-642-36285-9_22"},{"key":"761_CR50","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.ins.2016.03.003","volume":"352\u2013353","author":"A Pika","year":"2016","unstructured":"Pika, A., van der Aalst, W., Wynn, M., Fidge, C., ter Hofstede, A.: Evaluating and predicting overall process risk using event logs. Inf. Sci. 352\u2013353, 98\u2013120 (2016)","journal-title":"Inf. Sci."},{"key":"761_CR51","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th Annual Symposium on the Foundations of Computer Science (FOCS), pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"761_CR52","doi-asserted-by":"crossref","unstructured":"Polato, M., Sperduti, A., Burattin, A., de\u00a0Leoni, M.: Data-aware remaining time prediction of business process instances. In: 2014 International Joint Conference on Neural Networks (IJCNN) (2014)","DOI":"10.1109\/IJCNN.2014.6889360"},{"issue":"9","key":"761_CR53","doi-asserted-by":"publisher","first-page":"1005","DOI":"10.1007\/s00607-018-0593-x","volume":"100","author":"M Polato","year":"2018","unstructured":"Polato, M., Sperduti, A., Burattin, A., Leoni, Md: Time and activity sequence prediction of business process instances. Computing 100(9), 1005\u20131031 (2018)","journal-title":"Computing"},{"key":"761_CR54","doi-asserted-by":"crossref","unstructured":"Rogge-Solti, A., Weske, M.: Prediction of remaining service execution time using stochastic petri nets with arbitrary firing delays. In: Proceedings of the 11th International Joint Conference on Service Oriented Computing (ICSOC), LNCS, vol. 8274, pp. 389\u2013403. Springer (2013)","DOI":"10.1007\/978-3-642-45005-1_27"},{"key":"761_CR55","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.is.2015.04.004","volume":"54","author":"A Rogge-Solti","year":"2015","unstructured":"Rogge-Solti, A., Weske, M.: Prediction of business process durations using non-markovian stochastic petri nets. Inf. Syst. 54, 1\u201314 (2015)","journal-title":"Inf. Syst."},{"key":"761_CR56","unstructured":"Santoso, A.: Verification of data-aware business processes in the presence of ontologies. Ph.D. thesis, Free University of Bozen-Bolzano, Technische Universit\u00e4t Dresden. http:\/\/nbn-resolving.de\/urn:nbn:de:bsz:14-qucosa-213372 (2016)"},{"key":"761_CR57","doi-asserted-by":"crossref","unstructured":"Santoso, A.: Specification-driven multi-perspective predictive business process monitoring. In: Enterprise, Business-Process and Information Systems Modeling, BPMDS 2018, EMMSAD 2018, LNBIP, vol. 318, pp. 97\u2013113. Springer (2018) https:\/\/doi.org\/10.1007\/978-3-319-91704-7_7","DOI":"10.1007\/978-3-319-91704-7_7"},{"key":"761_CR58","doi-asserted-by":"crossref","unstructured":"Senderovich, A., Weidlich, M., Gal, A., Mandelbaum, A.: Queue mining predicting delays in service processes. In: Proceedings of the 26th International Conference on Advanced Information Systems Engineering (CAiSE), LNCS, vol. 8484, pp. 42\u201357. Springer (2014)","DOI":"10.1007\/978-3-319-07881-6_4"},{"key":"761_CR59","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1016\/j.is.2015.03.010","volume":"53","author":"A Senderovich","year":"2015","unstructured":"Senderovich, A., Weidlich, M., Gal, A., Mandelbaum, A.: Queue mining for delay prediction in multi-class service processes. Inf. Syst. 53, 278\u2013295 (2015)","journal-title":"Inf. Syst."},{"key":"761_CR60","doi-asserted-by":"crossref","unstructured":"Senderovich, A., Di\u00a0Francescomarino, C., Ghidini, C., Jorbina, K., Maggi, F. M.: Intra and inter-case features in predictive process monitoring: a tale of two dimensions. In: Proceedings of the 15th International Conference on Business Process Management (BPM), pp. 306\u2013323. Springer, Cham (2017)","DOI":"10.1007\/978-3-319-65000-5_18"},{"key":"761_CR61","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First Order Logic","author":"RM Smullyan","year":"1968","unstructured":"Smullyan, R.M.: First Order Logic. Springer, Berlin (1968)"},{"key":"761_CR62","unstructured":"Steeman, W.: BPI Challenge (2013). https:\/\/doi.org\/10.4121\/uuid:a7ce5c55-03a7-4583-b855-98b86e1a2b07"},{"key":"761_CR63","doi-asserted-by":"crossref","unstructured":"Tax, N., Verenich, I., La\u00a0Rosa, M., Dumas, M.: Predictive business process monitoring with LSTM neural networks. In: Proceedings of the 29th International Conference on Advanced Information Systems Engineering (CAiSE), LNCS, vol. 10253, pp. 477\u2013492. Springer (2017)","DOI":"10.1007\/978-3-319-59536-8_30"},{"key":"761_CR64","unstructured":"Theano Development Team.: Theano: A Python Framework for Fast Computation of Mathematical Expressions. arXiv:1605.02688 (2016)"},{"issue":"4","key":"761_CR65","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1016\/S0167-9236(00)00136-6","volume":"30","author":"W van der Aalst","year":"2001","unstructured":"van der Aalst, W.: Re-engineering knock-out processes. Decis. Support Syst. 30(4), 451\u2013468 (2001)","journal-title":"Decis. Support Syst."},{"key":"761_CR66","unstructured":"van\u00a0der Aalst, W., et\u00a0al.: Process mining manifesto. In: BPM Workshops 2012, LNBIP, vol. 99, pp. 169\u2013194. Springer (2012)"},{"key":"761_CR67","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4","volume-title":"Process Mining-Data Science in Action","author":"WMP van der Aalst","year":"2016","unstructured":"van der Aalst, W.M.P.: Process Mining-Data Science in Action, 2nd edn. Springer, Berlin (2016)","edition":"2"},{"key":"761_CR68","doi-asserted-by":"crossref","unstructured":"van\u00a0der Aalst, W.M.P., Pesic, M., Song, M.: Beyond process mining: from the past to present and future. In: Proceedings of the 22nd international conference on Advanced Information Systems Engineering (CAiSE), LNCS, vol. 6051, pp. 38\u201352. Springer (2010)","DOI":"10.1007\/978-3-642-13094-6_5"},{"issue":"2","key":"761_CR69","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1016\/j.is.2010.09.001","volume":"36","author":"WMP van der Aalst","year":"2011","unstructured":"van der Aalst, W.M.P., Schonenberg, M., Song, M.: Time prediction based on process mining. Inf. Syst. 36(2), 450\u2013475 (2011)","journal-title":"Inf. Syst."},{"key":"761_CR70","unstructured":"Van Dongen, B.: BPI Challenge (2012). https:\/\/doi.org\/10.4121\/uuid:3926db30-f712-4394-aebc-75976070e91f"},{"key":"761_CR71","unstructured":"Van Dongen, B.: BPI Challenge (2015). https:\/\/doi.org\/10.4121\/uuid:ed445cdd-27d5-4d77-a1f7-59fe7360cfbe"},{"key":"761_CR72","doi-asserted-by":"crossref","unstructured":"Verenich, I., Dumas, M., La\u00a0Rosa, M., Maggi, F.M., Di\u00a0Francescomarino, C.: Complex symbolic sequence clustering and multiple classifiers for predictive process monitoring. In: BPM Workshops 2015, LNBIP, vol. 256, pp. 218\u2013229. Springer (2015)","DOI":"10.1007\/978-3-319-42887-1_18"},{"key":"761_CR73","doi-asserted-by":"crossref","unstructured":"Verenich, I., Dumas, M., La\u00a0Rosa, M., Maggi, F.M., Di\u00a0Francescomarino, C.: Minimizing overprocessing waste in business processes via predictive activity ordering. In: Proceedings of the 28th International Conference on Advanced Information Systems Engineering (CAiSE), pp. 186\u2013202. Springer (2016)","DOI":"10.1007\/978-3-319-39696-5_12"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-019-00761-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-019-00761-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-019-00761-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,3]],"date-time":"2022-10-03T09:33:58Z","timestamp":1664789638000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-019-00761-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,2]]},"references-count":73,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2020,11]]}},"alternative-id":["761"],"URL":"https:\/\/doi.org\/10.1007\/s10270-019-00761-w","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2019,11,2]]},"assertion":[{"value":"30 November 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 October 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 November 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}