{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:06:34Z","timestamp":1774915594980,"version":"3.50.1"},"reference-count":64,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2015,1,23]],"date-time":"2015-01-23T00:00:00Z","timestamp":1421971200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Italian MIUR project RoMA"},{"name":"InfoSapienza center"},{"DOI":"10.13039\/100011102","name":"EU Seventh Framework Programme","doi-asserted-by":"crossref","award":["318275 (GET Service)"],"award-info":[{"award-number":["318275 (GET Service)"]}],"id":[{"id":"10.13039\/100011102","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Sapienza","award":["TESTMED, SUPER, Premio \u201cRicercatori Under-40\u201d (2012)"],"award-info":[{"award-number":["TESTMED, SUPER, Premio \u201cRicercatori Under-40\u201d (2012)"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Manage. Inf. Syst."],"published-print":{"date-parts":[[2015,3,21]]},"abstract":"<jats:p>Artful processes are those processes in which the experience, intuition, and knowledge of the actors are the key factors in determining the decision making. They are typically carried out by the \u201cknowledge workers,\u201d such as professors, managers, and researchers. They are often scarcely formalized or completely unknown a priori. Throughout this article, we discuss how we addressed the challenge of discovering declarative control flows in the context of artful processes. To this extent, we devised and implemented a two-phase algorithm, named MINERful. The first phase builds a knowledge base, where statistical information extracted from logs is represented. During the second phase, queries are evaluated on that knowledge base, in order to infer the constraints that constitute the discovered process. After outlining the overall approach and offering insight on the adopted process modeling language, we describe in detail our discovery technique. Thereupon, we analyze its performances, both from a theoretical and an experimental perspective. A user-driven evaluation of the quality of results is also reported on the basis of a real case study. Finally, a study on the fitness of discovered models with respect to synthetic and real logs is presented.<\/jats:p>","DOI":"10.1145\/2629447","type":"journal-article","created":{"date-parts":[[2015,1,28]],"date-time":"2015-01-28T14:05:51Z","timestamp":1422453951000},"page":"1-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":79,"title":["On the Discovery of Declarative Control Flows for Artful Processes"],"prefix":"10.1145","volume":"5","author":[{"given":"Claudio Di","family":"Ciccio","sequence":"first","affiliation":[{"name":"Wirtschaftsuniversit\u00e4t Wien, Vienna, Austria"}]},{"given":"Massimo","family":"Mecella","sequence":"additional","affiliation":[{"name":"Sapienza Universit\u00e0 di Roma, Roma, Italy"}]}],"member":"320","published-online":{"date-parts":[[2015,1,23]]},"reference":[{"key":"e_1_2_2_1_1","series-title":"Lecture Notes in Computer Science","volume-title":"Advances in Database Technology (EDBT\u201998), Hans-J\u00f6rg Schek, Gustavo Alonso, Felix Saltor, and Isidro Ramos (Eds.)","author":"Agrawal Rakesh","unstructured":"Rakesh Agrawal , Dimitrios Gunopulos , and Frank Leymann . 1998. Mining process models from workflow logs . In Advances in Database Technology (EDBT\u201998), Hans-J\u00f6rg Schek, Gustavo Alonso, Felix Saltor, and Isidro Ramos (Eds.) . Lecture Notes in Computer Science , Vol. 1377 . Springer , Berlin , 467--483. DOI: http:\/\/dx.doi.org\/10.1007\/BFb0101003 10.1007\/BFb0101003 Rakesh Agrawal, Dimitrios Gunopulos, and Frank Leymann. 1998. Mining process models from workflow logs. In Advances in Database Technology (EDBT\u201998), Hans-J\u00f6rg Schek, Gustavo Alonso, Felix Saltor, and Isidro Ramos (Eds.). Lecture Notes in Computer Science, Vol. 1377. Springer, Berlin, 467--483. DOI: http:\/\/dx.doi.org\/10.1007\/BFb0101003"},{"key":"e_1_2_2_2_1","unstructured":"Rakesh Agrawal and Ramakrishnan Srikant. 1994. Fast algorithms for mining association rules in large databases. In VLDB Jorge B. Bocca Matthias Jarke and Carlo Zaniolo (Eds.). Morgan Kaufmann 487--499.   Rakesh Agrawal and Ramakrishnan Srikant. 1994. Fast algorithms for mining association rules in large databases. In VLDB Jorge B. Bocca Matthias Jarke and Carlo Zaniolo (Eds.). Morgan Kaufmann 487--499."},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1380572.1380578"},{"key":"e_1_2_2_4_1","volume-title":"Proceedings of the 5th Internatonal Conference on Business Process Management (BPM\u201907)","volume":"4714","author":"Alonso Gustavo","year":"2007","unstructured":"Gustavo Alonso , Peter Dadam , and Michael Rosemann ( Eds .). 2007 . Proceedings of the 5th Internatonal Conference on Business Process Management (BPM\u201907) . Lecture Notes in Computer Science , Vol. 4714 . Springer. Gustavo Alonso, Peter Dadam, and Michael Rosemann (Eds.). 2007. Proceedings of the 5th Internatonal Conference on Business Process Management (BPM\u201907). Lecture Notes in Computer Science, Vol. 4714. Springer."},{"key":"e_1_2_2_5_1","volume-title":"KSEM (Lecture Notes in Computer Science), Yaxin Bi and Mary-Anne Williams (Eds.)","author":"Bellodi Elena","unstructured":"Elena Bellodi , Fabrizio Riguzzi , and Evelina Lamma . 2010a. Probabilistic declarative process mining . In KSEM (Lecture Notes in Computer Science), Yaxin Bi and Mary-Anne Williams (Eds.) , Vol. 6291 . Springer , 292--303. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-642-15280-1_28 10.1007\/978-3-642-15280-1_28 Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma. 2010a. Probabilistic declarative process mining. In KSEM (Lecture Notes in Computer Science), Yaxin Bi and Mary-Anne Williams (Eds.), Vol. 6291. Springer, 292--303. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-642-15280-1_28"},{"key":"e_1_2_2_6_1","volume-title":"CILC (CEUR Workshop Proceedings), Wolfgang Faber and Nicola Leone (Eds.)","volume":"598","author":"Bellodi Elena","year":"2010","unstructured":"Elena Bellodi , Fabrizio Riguzzi , and Evelina Lamma . 2010 b. Probabilistic logic-based process mining . In CILC (CEUR Workshop Proceedings), Wolfgang Faber and Nicola Leone (Eds.) , Vol. 598 . Retrieved from http:\/\/ceur-ws.org\/Vol-598\/paper17.pdf. Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma. 2010b. Probabilistic logic-based process mining. In CILC (CEUR Workshop Proceedings), Wolfgang Faber and Nicola Leone (Eds.), Vol. 598. Retrieved from http:\/\/ceur-ws.org\/Vol-598\/paper17.pdf."},{"key":"e_1_2_2_7_1","volume-title":"Fabrizio Maria Maggi, and Wil M. P. van der Aalst","author":"Jagadeesh Chandra Bose R. P.","year":"2013","unstructured":"R. P. Jagadeesh Chandra Bose , Fabrizio Maria Maggi, and Wil M. P. van der Aalst . 2013 . Enhancing declare maps based on event correlations. In BPM (Lecture Notes in Computer Science), Florian Daniel, Jianmin Wang, and Barbara Weber (Eds.), Vol. 8094 . Springer , 97--112. DOI: http:\/\/dx.doi.org\/10.1007\/978-3- 642-40176-3_9 10.1007\/978-3- R. P. Jagadeesh Chandra Bose, Fabrizio Maria Maggi, and Wil M. P. van der Aalst. 2013. Enhancing declare maps based on event correlations. In BPM (Lecture Notes in Computer Science), Florian Daniel, Jianmin Wang, and Barbara Weber (Eds.), Vol. 8094. Springer, 97--112. DOI: http:\/\/dx.doi.org\/10.1007\/978-3- 642-40176-3_9"},{"key":"e_1_2_2_8_1","volume-title":"van der Aalst","author":"Buijs Joos C. A. M.","year":"2012","unstructured":"Joos C. A. M. Buijs , Boudewijn F. van Dongen , and Wil M. P . van der Aalst . 2012 . On the role of fitness, precision, generalization and simplicity in process discovery. In CoopIS (Lecture Notes in Computer Science), Robert Meersman, Herv\u00e8 Panetto, Tharam S. Dillon, Stefanie Rinderle-Ma, Peter Dadam, Xiaofang Zhou, Siani Pearson, Alois Ferscha, Sonia Bergamaschi, and Isabel F. Cruz (Eds.), Vol. 7565 . Springer . On the Move to Meaningful Internet Systems (OTM 2012) Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012. Joos C. A. M. Buijs, Boudewijn F. van Dongen, and Wil M. P. van der Aalst. 2012. On the role of fitness, precision, generalization and simplicity in process discovery. In CoopIS (Lecture Notes in Computer Science), Robert Meersman, Herv\u00e8 Panetto, Tharam S. Dillon, Stefanie Rinderle-Ma, Peter Dadam, Xiaofang Zhou, Siani Pearson, Alois Ferscha, Sonia Bergamaschi, and Isabel F. Cruz (Eds.), Vol. 7565. Springer. On the Move to Meaningful Internet Systems (OTM 2012) Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012."},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00899-3_16"},{"key":"e_1_2_2_10_1","doi-asserted-by":"crossref","unstructured":"Edmund M. Clarke Orna Grumberg and Doron Peled. 2001. Model Checking. MIT Press.  Edmund M. Clarke Orna Grumberg and Doron Peled. 2001. Model Checking. MIT Press.","DOI":"10.1016\/B978-044450813-3\/50026-6"},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/287000.287001"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.707587"},{"key":"e_1_2_2_13_1","first-page":"53","article-title":"Improving knowledge work processes. Sloan Manage","volume":"37","author":"Davenport Thomas H.","year":"1996","unstructured":"Thomas H. Davenport , Sirkka L. Jarvenpaa , and Michael C. Beers . 1996 . Improving knowledge work processes. Sloan Manage . Rev. 37 , 4 (1996), 53 -- 65 . Retrieved from http:\/\/sloanreview.mit.edu\/the-magazine\/articles\/1996\/summer\/3744\/improving-knowledge-work-processes. Thomas H. Davenport, Sirkka L. Jarvenpaa, and Michael C. Beers. 1996. Improving knowledge work processes. Sloan Manage. Rev. 37, 4 (1996), 53--65. Retrieved from http:\/\/sloanreview.mit.edu\/the-magazine\/articles\/1996\/summer\/3744\/improving-knowledge-work-processes.","journal-title":"Rev."},{"key":"e_1_2_2_14_1","volume-title":"Vardi","author":"Giacomo Giuseppe De","year":"2013","unstructured":"Giuseppe De Giacomo and Moshe Y . Vardi . 2013 . Linear temporal logic and linear dynamic logic on finite traces. In IJCAI, Francesca Rossi (Ed.). IJCAI\/AAAI. Retrieved from http:\/\/www.aaai.org\/ocs\/index.php\/IJCAI\/IJCAI13\/paper\/view\/6997. Giuseppe De Giacomo and Moshe Y. Vardi. 2013. Linear temporal logic and linear dynamic logic on finite traces. In IJCAI, Francesca Rossi (Ed.). IJCAI\/AAAI. Retrieved from http:\/\/www.aaai.org\/ocs\/index.php\/IJCAI\/IJCAI13\/paper\/view\/6997."},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2013.12.005"},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32885-5_6"},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-006-0061-7"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050046"},{"key":"e_1_2_2_19_1","unstructured":"Elena Deza and Michel Deza. 2006. Dictionary of Distances. North-Holland.  Elena Deza and Michel Deza. 2006. Dictionary of Distances. North-Holland."},{"key":"e_1_2_2_20_1","volume-title":"Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes (KiBP\u201912)","volume":"861","author":"Ciccio Claudio Di","year":"2012","unstructured":"Claudio Di Ciccio , Andrea Marrella , and Alessandro Russo . 2012 . Knowledge-intensive processes: An overview of contemporary approaches . In Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes (KiBP\u201912) , Arthur H. M. ter Hofstede, Massimo Mecella, Sebastian Sardina, and Andrea Marrella (Eds.) , Vol. 861 . 33--47. Retrieved from http:\/\/ceur-ws.org\/Vol-861\/KiBP2012_ paper_2.pdf. Claudio Di Ciccio, Andrea Marrella, and Alessandro Russo. 2012. Knowledge-intensive processes: An overview of contemporary approaches. In Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes (KiBP\u201912), Arthur H. M. ter Hofstede, Massimo Mecella, Sebastian Sardina, and Andrea Marrella (Eds.), Vol. 861. 33--47. Retrieved from http:\/\/ceur-ws.org\/Vol-861\/KiBP2012_ paper_2.pdf."},{"key":"#cr-split#-e_1_2_2_21_1.1","doi-asserted-by":"crossref","unstructured":"Claudio Di Ciccio Andrea Marrella and Alessandro Russo. 2014. Knowledge-intensive processes: Characteristics requirements and analysis of contemporary approaches. J. Data Semant. (2014). DOI: http:\/\/dx.doi.org\/10.1007\/s13740-014-0038-4 10.1007\/s13740-014-0038-4","DOI":"10.1007\/s13740-014-0038-4"},{"key":"#cr-split#-e_1_2_2_21_1.2","doi-asserted-by":"crossref","unstructured":"Claudio Di Ciccio Andrea Marrella and Alessandro Russo. 2014. Knowledge-intensive processes: Characteristics requirements and analysis of contemporary approaches. J. Data Semant. (2014). DOI: http:\/\/dx.doi.org\/10.1007\/s13740-014-0038-4","DOI":"10.1007\/s13740-014-0038-4"},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30359-3_2"},{"key":"e_1_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2013.60"},{"key":"e_1_2_2_25_1","volume-title":"Proceedings of the 3rd International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA\u201913)","volume":"1027","author":"Ciccio Claudio Di","year":"2013","unstructured":"Claudio Di Ciccio and Massimo Mecella . 2013 b. Studies on the discovery of declarative control flows from error-prone data . In Proceedings of the 3rd International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA\u201913) , Rafael Accorsi, Paolo Ceravolo, and Philippe Cudre-Mauroux (Eds.) , Vol. 1027 . 31--45. Retrieved from http:\/\/ceur-ws.org\/Vol-1027\/paper3.pdf. Claudio Di Ciccio and Massimo Mecella. 2013b. Studies on the discovery of declarative control flows from error-prone data. In Proceedings of the 3rd International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA\u201913), Rafael Accorsi, Paolo Ceravolo, and Philippe Cudre-Mauroux (Eds.), Vol. 1027. 31--45. Retrieved from http:\/\/ceur-ws.org\/Vol-1027\/paper3.pdf."},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/CIDM.2013.6597228"},{"key":"e_1_2_2_27_1","series-title":"Lecture Notes in Business Information Processing","volume-title":"MailOfMine: Analyzing mail messages for mining artful collaborative processes","author":"Ciccio Claudio Di","unstructured":"Claudio Di Ciccio , Massimo Mecella , Monica Scannapieco , Diego Zardetto , and Tiziana Catarci . 2012. MailOfMine: Analyzing mail messages for mining artful collaborative processes . In Data-Driven Process Discovery and Analysis, Karl Aberer, Ernesto Damiani, and Tharam Dillon (Eds.). Lecture Notes in Business Information Processing , Vol. 116 . Springer , 55--81. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-642-34044-4_4 10.1007\/978-3-642-34044-4_4 Claudio Di Ciccio, Massimo Mecella, Monica Scannapieco, Diego Zardetto, and Tiziana Catarci. 2012. MailOfMine: Analyzing mail messages for mining artful collaborative processes. In Data-Driven Process Discovery and Analysis, Karl Aberer, Ernesto Damiani, and Tharam Dillon (Eds.). Lecture Notes in Business Information Processing, Vol. 116. Springer, 55--81. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-642-34044-4_4"},{"key":"e_1_2_2_28_1","volume-title":"Logic and Automata (Texts in Logic and Games), J\u00f6rg Flum, Erich Gr\u00e4del","author":"Diekert Volker","unstructured":"Volker Diekert and Paul Gastin . 2008. First-order definable languages . In Logic and Automata (Texts in Logic and Games), J\u00f6rg Flum, Erich Gr\u00e4del , and Thomas Wilke (Eds.), Vol. 2 . Amsterdam University Press , 261--306. Volker Diekert and Paul Gastin. 2008. First-order definable languages. In Logic and Automata (Texts in Logic and Games), J\u00f6rg Flum, Erich Gr\u00e4del, and Thomas Wilke (Eds.), Vol. 2. Amsterdam University Press, 261--306."},{"key":"e_1_2_2_29_1","volume-title":"Proceedings of the BPM Demo Sessions 2013. CEUR Workshop Proceedings","volume":"1021","author":"Fauvet Marie-Christine","unstructured":"Marie-Christine Fauvet and Boudewijn F . van Dongen (Eds.). 2013 . Proceedings of the BPM Demo Sessions 2013. CEUR Workshop Proceedings , Vol. 1021 . CEUR-WS.org. Retreived from http:\/\/ceur-ws.org\/Vol-1021. Marie-Christine Fauvet and Boudewijn F. van Dongen (Eds.). 2013. Proceedings of the BPM Demo Sessions 2013. CEUR Workshop Proceedings, Vol. 1021. CEUR-WS.org. Retreived from http:\/\/ceur-ws.org\/Vol-1021."},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/567446.567462"},{"key":"e_1_2_2_31_1","volume-title":"Business Process Management (Lecture Notes in Computer Science), J\u00f6rg Desel","author":"Gronau Norbert","unstructured":"Norbert Gronau and Edzard Weber . 2004. Management of knowledge intensive business processes . In Business Process Management (Lecture Notes in Computer Science), J\u00f6rg Desel , Barbara Pernici, and Mathias Weske (Eds.), Vol. 3080 . Springer , 163--178. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-540-25970-1_11 10.1007\/978-3-540-25970-1_11 Norbert Gronau and Edzard Weber. 2004. Management of knowledge intensive business processes. In Business Process Management (Lecture Notes in Computer Science), J\u00f6rg Desel, Barbara Pernici, and Mathias Weske (Eds.), Vol. 3080. Springer, 163--178. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-540-25970-1_11"},{"key":"e_1_2_2_32_1","volume-title":"G\u00fcnther and Eric Verbeek","author":"Christian","year":"2012","unstructured":"Christian W. G\u00fcnther and Eric Verbeek . 2012 . XES Standard Definition. Retrieved from http:\/\/www.xes-standard.org\/_media\/xes\/xesstandarddefinition-1.4.pdf. Christian W. G\u00fcnther and Eric Verbeek. 2012. XES Standard Definition. Retrieved from http:\/\/www.xes-standard.org\/_media\/xes\/xesstandarddefinition-1.4.pdf."},{"key":"e_1_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.454.0663"},{"key":"e_1_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090100062"},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/1793114.1793146"},{"key":"e_1_2_2_36_1","volume-title":"ILP (Lecture Notes in Computer Science), Hendrik Blockeel, Jan Ramon, Jude W","author":"Lamma Evelina","unstructured":"Evelina Lamma , Paola Mello , Fabrizio Riguzzi , and Sergio Storari . 2007b. Applying inductive logic programming to process mining . In ILP (Lecture Notes in Computer Science), Hendrik Blockeel, Jan Ramon, Jude W . Shavlik, and Prasad Tadepalli (Eds.), Vol. 4894 . Springer , 132--146. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-540-78469-2_16 10.1007\/978-3-540-78469-2_16 Evelina Lamma, Paola Mello, Fabrizio Riguzzi, and Sergio Storari. 2007b. Applying inductive logic programming to process mining. In ILP (Lecture Notes in Computer Science), Hendrik Blockeel, Jan Ramon, Jude W. Shavlik, and Prasad Tadepalli (Eds.), Vol. 4894. Springer, 132--146. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-540-78469-2_16"},{"key":"e_1_2_2_37_1","volume-title":"Proceedings of the BPM Demo Sessions.","author":"Maggi Fabrizio Maria","year":"2013","unstructured":"Fabrizio Maria Maggi . 2013 . Declarative process mining with the declare component of ProM . In Proceedings of the BPM Demo Sessions. Retrieved from http:\/\/ceur-ws.org\/Vol-1021\/paper_8.pdf. Fabrizio Maria Maggi. 2013. Declarative process mining with the declare component of ProM. In Proceedings of the BPM Demo Sessions. Retrieved from http:\/\/ceur-ws.org\/Vol-1021\/paper_8.pdf."},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31095-9_18"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38709-8_28"},{"key":"e_1_2_2_40_1","volume-title":"van der Aalst","author":"Maggi Fabrizio Maria","year":"2011","unstructured":"Fabrizio Maria Maggi , Arjan J. Mooij , and Wil M. P . van der Aalst . 2011 . User-guided discovery of declarative process models. In CIDM. IEEE , 192--199. DOI: http:\/\/dx.doi.org\/10.1109\/CIDM.2011.5949297 10.1109\/CIDM.2011.5949297 Fabrizio Maria Maggi, Arjan J. Mooij, and Wil M. P. van der Aalst. 2011. User-guided discovery of declarative process models. In CIDM. IEEE, 192--199. DOI: http:\/\/dx.doi.org\/10.1109\/CIDM.2011.5949297"},{"key":"e_1_2_2_41_1","volume-title":"Introduction to Information Retrieval","author":"Manning Christopher D.","unstructured":"Christopher D. Manning , Prabhakar Raghavan , and Hinrich Sch\u00fctze . 2008. Introduction to Information Retrieval . Cambridge University Press . Christopher D. Manning, Prabhakar Raghavan, and Hinrich Sch\u00fctze. 2008. Introduction to Information Retrieval. Cambridge University Press."},{"key":"e_1_2_2_42_1","volume-title":"OTM Conferences (1) (Lecture Notes in Computer Science), Robert Meersman and Zahir Tari (Eds.)","volume":"4803","author":"Mendling Jan","unstructured":"Jan Mendling , Gustaf Neumann , and Wil M. P . van der Aalst. 2007a. Understanding the occurrence of errors in process models based on metrics . In OTM Conferences (1) (Lecture Notes in Computer Science), Robert Meersman and Zahir Tari (Eds.) , Vol. 4803 . Springer, 113--130. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-540-76848-7_9 10.1007\/978-3-540-76848-7_9 Jan Mendling, Gustaf Neumann, and Wil M. P. van der Aalst. 2007a. Understanding the occurrence of errors in process models based on metrics. In OTM Conferences (1) (Lecture Notes in Computer Science), Robert Meersman and Zahir Tari (Eds.), Vol. 4803. Springer, 113--130. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-540-76848-7_9"},{"key":"e_1_2_2_43_1","volume-title":"What makes process models understandable&quest","author":"Mendling Jan","year":"2007","unstructured":"Jan Mendling , Hajo A. Reijers , and Jorge Cardoso . 2007b. What makes process models understandable&quest ; See Alonso et al. { 2007 }, 48--63. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-540-75183-0_4 10.1007\/978-3-540-75183-0_4 Jan Mendling, Hajo A. Reijers, and Jorge Cardoso. 2007b. What makes process models understandable&quest; See Alonso et al. {2007}, 48--63. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-540-75183-0_4"},{"key":"e_1_2_2_44_1","series-title":"Lecture Notes in Business Information Processing","volume-title":"Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach","author":"Montali Marco","unstructured":"Marco Montali . 2010. Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach . Lecture Notes in Business Information Processing , Vol. 56 . Springer . DOI: http:\/\/dx.doi.org\/10.1007\/978-3-642-14538-4 10.1007\/978-3-642-14538-4 Marco Montali. 2010. Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach. Lecture Notes in Business Information Processing, Vol. 56. Springer. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-642-14538-4"},{"key":"e_1_2_2_45_1","volume-title":"van der Aalst","author":"Pesic Maja","year":"2010","unstructured":"Maja Pesic , Dragan Bosnacki , and Wil M. P . van der Aalst . 2010 . Enacting declarative languages using LTL : Avoiding errors and improving performance. In SPIN (Lecture Notes in Computer Science), Jaco van de Pol and Michael Weber (Eds.), Vol. 6349 . Springer , 146--161. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-642-16164-3_11 10.1007\/978-3-642-16164-3_11 Maja Pesic, Dragan Bosnacki, and Wil M. P. van der Aalst. 2010. Enacting declarative languages using LTL: Avoiding errors and improving performance. In SPIN (Lecture Notes in Computer Science), Jaco van de Pol and Michael Weber (Eds.), Vol. 6349. Springer, 146--161. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-642-16164-3_11"},{"key":"e_1_2_2_46_1","volume-title":"van der Aalst","author":"Pesic Maja","year":"2007","unstructured":"Maja Pesic , Helen Schonenberg , and Wil M. P . van der Aalst . 2007 . DECLARE : Full support for loosely-structured processes. In EDOC. IEEE Computer Society , 287--300. DOI: http:\/\/doi.ieeecomputersociety.org\/10.1109\/EDOC.2007.25 Maja Pesic, Helen Schonenberg, and Wil M. P. van der Aalst. 2007. DECLARE: Full support for loosely-structured processes. In EDOC. IEEE Computer Society, 287--300. DOI: http:\/\/doi.ieeecomputersociety.org\/10.1109\/EDOC.2007.25"},{"key":"e_1_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/11837862_18"},{"key":"e_1_2_2_48_1","volume-title":"Business Process Management Workshops (1) (Lecture Notes in Business Information Processing), Florian Daniel, Kamel Barkaoui, and Schahram Dustdar (Eds.)","volume":"99","author":"Pichler Paul","unstructured":"Paul Pichler , Barbara Weber , Stefan Zugal , Jakob Pinggera , Jan Mendling , and Hajo A. Reijers . 2011. Imperative versus declarative process modeling languages: An empirical investigation . In Business Process Management Workshops (1) (Lecture Notes in Business Information Processing), Florian Daniel, Kamel Barkaoui, and Schahram Dustdar (Eds.) , Vol. 99 . Springer, 383--394. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-642-28108-2_37 10.1007\/978-3-642-28108-2_37 Paul Pichler, Barbara Weber, Stefan Zugal, Jakob Pinggera, Jan Mendling, and Hajo A. Reijers. 2011. Imperative versus declarative process modeling languages: An empirical investigation. In Business Process Management Workshops (1) (Lecture Notes in Business Information Processing), Florian Daniel, Kamel Barkaoui, and Schahram Dustdar (Eds.), Vol. 99. Springer, 383--394. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-642-28108-2_37"},{"key":"e_1_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-006-5833-1"},{"key":"e_1_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30729-4_23"},{"key":"e_1_2_2_51_1","volume-title":"Wil M","author":"Arthur H.","year":"2010","unstructured":"Arthur H. M. ter Hofstede , Wil M . P. van der Aalst, Michael Adamns, and Nick Russell (Eds.). 2010 . Modern Business Process Automation: YAWL and Its Support Environment. Springer . Arthur H. M. ter Hofstede, Wil M. P. van der Aalst, Michael Adamns, and Nick Russell (Eds.). 2010. Modern Business Process Automation: YAWL and Its Support Environment. Springer."},{"key":"e_1_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0106-z"},{"key":"e_1_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19345-3"},{"key":"e_1_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2229156.2229157"},{"key":"e_1_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00450-009-0057-9"},{"key":"e_1_2_2_56_1","volume-title":"BPM (Demos) (CEUR Workshop Proceedings), Ana Karla A. de Medeiros and Barbara Weber (Eds.)","volume":"489","author":"Wil M.","unstructured":"Wil M. P. van der Aalst, Boudewijn F. van Dongen, Christian W. G\u00fcnther, Anne Rozinat, Eric Verbeek, and Ton Weijters. 2009b. ProM: The process mining toolkit . In BPM (Demos) (CEUR Workshop Proceedings), Ana Karla A. de Medeiros and Barbara Weber (Eds.) , Vol. 489 . Retrieved from http:\/\/ceur-ws.org\/Vol-489\/paper3.pdf. Wil M. P. van der Aalst, Boudewijn F. van Dongen, Christian W. G\u00fcnther, Anne Rozinat, Eric Verbeek, and Ton Weijters. 2009b. ProM: The process mining toolkit. In BPM (Demos) (CEUR Workshop Proceedings), Ana Karla A. de Medeiros and Barbara Weber (Eds.), Vol. 489. Retrieved from http:\/\/ceur-ws.org\/Vol-489\/paper3.pdf."},{"key":"e_1_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2004.47"},{"key":"e_1_2_2_58_1","volume-title":"Proceedings of the 1st International Business Process Intelligence Challenge (BPIC\u201911)","author":"van Dongen Boudewijn F.","year":"2011","unstructured":"Boudewijn F. van Dongen . 2011 . Real-life event logs: A hospital log . In Proceedings of the 1st International Business Process Intelligence Challenge (BPIC\u201911) . DOI: http:\/\/dx.doi.org\/10.4121\/uuid:d9769f3d-0ab0-4fb8-803b-0d1120ffcf54 10.4121\/uuid:d9769f3d-0ab0-4fb8-803b-0d1120ffcf54 Boudewijn F. van Dongen. 2011. Real-life event logs: A hospital log. In Proceedings of the 1st International Business Process Intelligence Challenge (BPIC\u201911). DOI: http:\/\/dx.doi.org\/10.4121\/uuid:d9769f3d-0ab0-4fb8-803b-0d1120ffcf54"},{"key":"e_1_2_2_59_1","volume-title":"Proceedings of the 2nd International Business Process Intelligence Challenge (BPIC\u201912)","author":"van Dongen Boudewijn F.","year":"2012","unstructured":"Boudewijn F. van Dongen . 2012 . Real-life event logs: A loan application process . In Proceedings of the 2nd International Business Process Intelligence Challenge (BPIC\u201912) . DOI: http:\/\/dx.doi.org\/10.4121\/uuid:3926db30-f712-4394-aebc-75976070e91f 10.4121\/uuid:3926db30-f712-4394-aebc-75976070e91f Boudewijn F. van Dongen. 2012. Real-life event logs: A loan application process. In Proceedings of the 2nd International Business Process Intelligence Challenge (BPIC\u201912). DOI: http:\/\/dx.doi.org\/10.4121\/uuid:3926db30-f712-4394-aebc-75976070e91f"},{"key":"e_1_2_2_60_1","first-page":"165","article-title":"Improving knowledge worker productivity: The active integrated approach","volume":"26","author":"Warren Paul","year":"2009","unstructured":"Paul Warren , Nick Kings , Ian Thurlow , John Davies , Tobias Buerger , Elena Simperl , Carlos Ruiz , Jose Manuel Gomez-Perez , Vadim Ermolayev , Rayid Ghani , Marcel Tilly , Tom B\u00f6sser , and Ali Imtiaz . 2009 . Improving knowledge worker productivity: The active integrated approach . BT Technol. J. 26 , 2 (2009), 165 -- 176 . Paul Warren, Nick Kings, Ian Thurlow, John Davies, Tobias Buerger, Elena Simperl, Carlos Ruiz, Jose Manuel Gomez-Perez, Vadim Ermolayev, Rayid Ghani, Marcel Tilly, Tom B\u00f6sser, and Ali Imtiaz. 2009. Improving knowledge worker productivity: The active integrated approach. BT Technol. J. 26, 2 (2009), 165--176.","journal-title":"BT Technol. J."},{"key":"e_1_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.5555\/1273320.1273325"},{"key":"e_1_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-007-0065-y"},{"key":"e_1_2_2_63_1","volume-title":"BPM (Lecture Notes in Computer Science), Stefanie Rinderle-Ma","author":"Westergaard Michael","unstructured":"Michael Westergaard . 2011. Better algorithms for analyzing and enacting declarative workflow languages using LTL . In BPM (Lecture Notes in Computer Science), Stefanie Rinderle-Ma , Farouk Toumani, and Karsten Wolf (Eds.), Vol. 6896 . Springer , 83--98. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-642-23059- 2_10 10.1007\/978-3-642-23059- Michael Westergaard. 2011. Better algorithms for analyzing and enacting declarative workflow languages using LTL. In BPM (Lecture Notes in Computer Science), Stefanie Rinderle-Ma, Farouk Toumani, and Karsten Wolf (Eds.), Vol. 6896. Springer, 83--98. DOI: http:\/\/dx.doi.org\/10.1007\/978-3-642-23059- 2_10"},{"key":"e_1_2_2_64_1","volume-title":"Proceedings of the BPM Demo Sessions.","author":"Westergaard Michael","year":"2013","unstructured":"Michael Westergaard and Christian Stahl . 2013 . Leveraging super-scalarity and parallelism to provide fast declare mining without restrictions . In Proceedings of the BPM Demo Sessions. Retrieved from http:\/\/ceur-ws.org\/Vol-1021\/paper_10.pdf. Michael Westergaard and Christian Stahl. 2013. Leveraging super-scalarity and parallelism to provide fast declare mining without restrictions. In Proceedings of the BPM Demo Sessions. Retrieved from http:\/\/ceur-ws.org\/Vol-1021\/paper_10.pdf."}],"container-title":["ACM Transactions on Management Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2629447","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2629447","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:01:17Z","timestamp":1750230077000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2629447"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,23]]},"references-count":64,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,3,21]]}},"alternative-id":["10.1145\/2629447"],"URL":"https:\/\/doi.org\/10.1145\/2629447","relation":{},"ISSN":["2158-656X","2158-6578"],"issn-type":[{"value":"2158-656X","type":"print"},{"value":"2158-6578","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1,23]]},"assertion":[{"value":"2013-05-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-04-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-01-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}