{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:06:15Z","timestamp":1774915575913,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642303586","type":"print"},{"value":"9783642303593","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30359-3_2","type":"book-chapter","created":{"date-parts":[[2012,5,16]],"date-time":"2012-05-16T04:20:47Z","timestamp":1337142047000},"page":"11-23","source":"Crossref","is-referenced-by-count":22,"title":["Mining Constraints for Artful Processes"],"prefix":"10.1007","author":[{"given":"Claudio","family":"Di Ciccio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Mecella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/s10270-008-0106-z","volume":"9","author":"W. Aalst van der","year":"2010","unstructured":"van der Aalst, W., Rubin, V., Verbeek, H., van Dongen, B., Kindler, E., G\u00fcnther, C.: Process mining: a two-step approach to balance between underfitting and overfitting. Software and Systems Modeling\u00a09, 87\u2013111 (2010)","journal-title":"Software and Systems Modeling"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of Workflow Nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Process mining: Discovery, conformance and enhancement of business processes. Springer (2011)","DOI":"10.1007\/978-3-642-19345-3"},{"key":"2_CR4","unstructured":"van der Aalst, W.M.P., van Dongen, B.F., G\u00fcnther, C.W., Rozinat, A., Verbeek, E., Weijters, T.: ProM: The process mining toolkit. In: BPM 2009 Demos. CEUR Workshop Proceedings, vol.\u00a0489 (2009)"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11841197_1","volume-title":"Web Services and Formal Methods","author":"W.M.P. Aalst van der","year":"2006","unstructured":"van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 1\u201323. Springer, Heidelberg (2006)"},{"issue":"9","key":"2_CR6","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"W.M.P. Aalst van der","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: Discovering process models from event logs. IEEE Trans. Knowl. Data Eng.\u00a016(9), 1128\u20131142 (2004)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","first-page":"469","volume-title":"Advances in Database Technology - EDBT \u201998","author":"R. Agrawal","year":"1998","unstructured":"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.\u00a01377, pp. 469\u2013483. Springer, Heidelberg (1998)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Agrawal, R., Srikant, R.: Mining sequential patterns. In: ICDE 1995, pp. 3\u201314 (1995)","DOI":"10.1109\/ICDE.1995.380415"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Trans. Comput. Log.\u00a09(4) (2008)","DOI":"10.1145\/1380572.1380578"},{"key":"2_CR10","unstructured":"de Carvalho, V.R., Cohen, W.W.: Learning to extract signature and reply lines from email. In: CEAS 2004 (2004)"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-540-77088-6_19","volume-title":"Digital Libraries: Research and Development","author":"T. Catarci","year":"2007","unstructured":"Catarci, T., Dix, A., Katifori, A., Lepouras, G., Poggi, A.: Task-Centred Information Management. In: Thanos, C., Borri, F., Candela, L. (eds.) Digital Libraries: Research and Development. LNCS, vol.\u00a04877, pp. 197\u2013206. Springer, Heidelberg (2007)"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-00899-3_16","volume":"2","author":"F. Chesani","year":"2009","unstructured":"Chesani, F., Lamma, E., Mello, P., Montali, M., Riguzzi, F., Storari, S.: Exploiting inductive logic programming techniques for declarative process mining. T. Petri Nets and Other Models of Concurrency\u00a02, 278\u2013295 (2009)","journal-title":"T. Petri Nets and Other Models of Concurrency"},{"issue":"2","key":"2_CR13","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/S0019-9958(58)90082-2","volume":"1","author":"N. Chomsky","year":"1958","unstructured":"Chomsky, N., Miller, G.A.: Finite state languages. Information and Control\u00a01(2), 91\u2013112 (1958)","journal-title":"Information and Control"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-642-25364-5_9","volume-title":"Information Quality in e-Health","author":"C. Ciccio Di","year":"2011","unstructured":"Di Ciccio, C., Mecella, M., Catarci, T.: Representing and Visualizing Mined Artful Processes in MailOfMine. In: Holzinger, A., Simonic, K.-M. (eds.) USAB 2011. LNCS, vol.\u00a07058, pp. 83\u201394. Springer, Heidelberg (2011)"},{"key":"2_CR15","unstructured":"Di Ciccio, C., Mecella, M.: MINERful, a mining algorithm for declarative process constraints in MailOfMine. Tech. rep. SAPIENZA Universit\u00e0 di Roma (2012), http:\/\/ojs.uniroma1.it\/index.php\/DIS_TechnicalReports\/issue\/view\/416"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Di Ciccio, C., Mecella, M., Scannapieco, M., Zardetto, D., Catarci, T.: MailOfMine \u2013 Analyzing mail messages for mining artful collaborative processes. In: SIMPDA 2011, pp. 45\u201359 (2011)","DOI":"10.1007\/978-3-642-34044-4_4"},{"key":"2_CR17","unstructured":"Garofalakis, M.N., Rastogi, R., Shim, K.: SPIRIT: Sequential pattern mining with regular expression constraints. In: VLDB 1999, pp. 223\u2013234 (1999)"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Gerth, R., Peled, D., Vardi, M.Y., Wolper, P.: Simple on-the-fly automatic verification of linear temporal logic. In: PSTV 1995, pp. 3\u201318 (1995)","DOI":"10.1007\/978-0-387-34892-6_1"},{"key":"2_CR19","unstructured":"Giannakopoulou, D., Havelund, K.: Automata-based verification of temporal properties on running programs. In: ASE 2001, pp. 412\u2013416 (2001)"},{"key":"2_CR20","series-title":"AISC","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-642-25321-8_10","volume-title":"Advances in Collective Intelligence 2011","author":"D. Heutelbeck","year":"2012","unstructured":"Heutelbeck, D.: Preservation of Enterprise Engineering Processes by Social Collaboration Software. In: Altmann, J., Baum\u00f6l, U., Kr\u00e4mer, B.J. (eds.) Advances in Collective Intelligence 2011. AISC, vol.\u00a0113, pp. 115\u2013132. Springer, Heidelberg (2012)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Maggi, F.M., Mooij, A.J., van der Aalst, W.M.P.: User-guided discovery of declarative process models. In: CIDM 2011, pp. 192\u2013199 (2011)","DOI":"10.1109\/CIDM.2011.5949297"},{"issue":"2","key":"2_CR22","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s10618-006-0061-7","volume":"14","author":"A.K. Medeiros","year":"2007","unstructured":"Medeiros, A.K., Weijters, A.J., Aalst, W.M.: Genetic process mining: an experimental evaluation. Data Min. Knowl. Discov.\u00a014(2), 245\u2013304 (2007)","journal-title":"Data Min. Knowl. Discov."},{"issue":"2","key":"2_CR23","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/BF01840446","volume":"1","author":"E.W. Myers","year":"1986","unstructured":"Myers, E.W.: An O(ND) difference algorithm and its variations. Algorithmica\u00a01(2), 251\u2013266 (1986)","journal-title":"Algorithmica"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11837862_18","volume-title":"Business Process Management Workshops","author":"M. Pesic","year":"2006","unstructured":"Pesic, M., van der Aalst, W.M.P.: A Declarative Approach for Flexible Business Processes Management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol.\u00a04103, pp. 169\u2013180. Springer, Heidelberg (2006)"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: Declare: Full support for loosely-structured processes. In: EDOC 2007, pp. 287\u2013300 (2007)","DOI":"10.1109\/EDOC.2007.4384001"},{"key":"2_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-76848-7_7","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"M. Pesic","year":"2007","unstructured":"Pesic, M., Schonenberg, M.H., Sidorova, N., van der Aalst, W.M.P.: Constraint-Based Workflow Models: Change Made Easy. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol.\u00a04803, pp. 77\u201394. Springer, Heidelberg (2007)"},{"key":"2_CR27","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1147\/rd.32.0114","volume":"3","author":"M.O. Rabin","year":"1959","unstructured":"Rabin, M.O., Scott, D.: Finite automata and their decision problems. IBM J. Res. Dev.\u00a03, 114\u2013125 (1959)","journal-title":"IBM J. Res. Dev."},{"key":"2_CR28","unstructured":"Smart Vortex Consortium: Smart Vortex \u2013 Management and analysis of massive data streams to support large-scale collaborative engineering projects. FP7 IP Project, http:\/\/www.smartvortex.eu\/"},{"key":"2_CR29","series-title":"Lecture Notes in Computer Science","first-page":"3","volume-title":"Advances in Database Technology EDBT \u201996","author":"R. Srikant","year":"1996","unstructured":"Srikant, R., Agrawal, R.: Mining Sequential Patterns: Generalizations and Performance Improvements. In: Apers, P.M.G., Bouzeghoub, M., Gardarin, G. (eds.) EDBT 1996. LNCS, vol.\u00a01057, pp. 3\u201317. Springer, Heidelberg (1996)"},{"issue":"2","key":"2_CR30","first-page":"165","volume":"26","author":"P. Warren","year":"2009","unstructured":"Warren, P., Kings, N., Thurlow, I., Davies, J., Buerger, T., Simperl, E., Ruiz, C., Gomez-Perez, J.M., Ermolayev, V., Ghani, R., Tilly, M., B\u00f6sser, T., Imtiaz, A.: Improving knowledge worker productivity - the Active integrated approach. BT Technology Journal\u00a026(2), 165\u2013176 (2009)","journal-title":"BT Technology Journal"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"Weijters, A., van der Aalst, W.: Rediscovering workflow models from event-based data using little thumb. Integrated Computer-Aided Engineering\u00a010 (2001, 2003)","DOI":"10.3233\/ICA-2003-10205"},{"issue":"2","key":"2_CR32","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s10618-007-0065-y","volume":"15","author":"L. Wen","year":"2007","unstructured":"Wen, L., van der Aalst, W.M.P., Wang, J., Sun, J.: Mining process models with non-free-choice constructs. Data Min. Knowl. Discov.\u00a015(2), 145\u2013180 (2007)","journal-title":"Data Min. Knowl. Discov."},{"key":"2_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-642-23059-2_10","volume-title":"Business Process Management","author":"M. Westergaard","year":"2011","unstructured":"Westergaard, M.: Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol.\u00a06896, pp. 83\u201398. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Business Information Processing","Business Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30359-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:51:06Z","timestamp":1743133866000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30359-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642303586","9783642303593"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30359-3_2","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}