{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T02:36:28Z","timestamp":1761964588546,"version":"3.37.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319113692"},{"type":"electronic","value":"9783319113708"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11370-8_19","type":"book-chapter","created":{"date-parts":[[2014,9,17]],"date-time":"2014-09-17T12:30:26Z","timestamp":1410957026000},"page":"261-275","source":"Crossref","is-referenced-by-count":16,"title":["Discovering Metric Temporal Business Constraints from Event Logs"],"prefix":"10.1007","author":[{"given":"Fabrizio Maria","family":"Maggi","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"3TU Data Center: BPI Challenge 2011 Event Log (2011), doi:10.4121\/uuid:d9769f3d-0ab0-4fb8-803b-0d1120ffcf54"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"van der Aalst, W., Pesic, M., Schonenberg, H.: Declarative Workflows: Balancing Between Flexibility and Support. Computer Science - R&D, 99\u2013113 (2009)","DOI":"10.1007\/s00450-009-0057-9"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-540-71289-3_20","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Barros","year":"2007","unstructured":"Barros, A., Decker, G., Dumas, M., Weber, F.: Correlation Patterns in Service-Oriented Architectures. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol.\u00a04422, pp. 245\u2013259. Springer, Heidelberg (2007)"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-642-40176-3_9","volume-title":"Business Process Management","author":"R.P.J.C. Bose","year":"2013","unstructured":"Bose, R.P.J.C., Maggi, F.M., van der Aalst, W.M.P.: Enhancing declare maps based on event correlations. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol.\u00a08094, pp. 97\u2013112. Springer, Heidelberg (2013)"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Burattin, A., Maggi, F.M., van der Aalst, W.M.P., Sperduti, A.: Techniques for a Posteriori Analysis of Declarative Processes. In: EDOC, pp. 41\u201350 (2012)","DOI":"10.1109\/EDOC.2012.15"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"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.\u00a05460, pp. 278\u2013295. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-00899-3_16"},{"key":"19_CR7","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-3-642-30359-3_2","volume-title":"Business Information Systems","author":"C. Ciccio Di","year":"2012","unstructured":"Di Ciccio, C., Mecella, M.: Mining constraints for artful processes. In: Abramowicz, W., Kriksciuniene, D., Sakalauskas, V. (eds.) BIS 2012. LNBIP, vol.\u00a0117, pp. 11\u201323. Springer, Heidelberg (2012)"},{"key":"19_CR8","unstructured":"van Dongen, B.: Bpi challenge 2012 (2012), \n                    \n                      http:\/\/dx.doi.org\/10.4121\/uuid:3926db30-f712-4394-aebc-75976070e91f"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Kupferman, O., Vardi, M.Y.: Vacuity Detection in Temporal Model Checking. International Journal on Software Tools for Technology Transfer, 224\u2013233 (2003)","DOI":"10.1007\/s100090100062"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/978-3-642-31095-9_18","volume-title":"Advanced Information Systems Engineering","author":"F.M. Maggi","year":"2012","unstructured":"Maggi, F.M., Bose, R.P.J.C., van der Aalst, W.M.P.: Efficient Discovery of Understandable Declarative Models from Event Logs. In: Ralyt\u00e9, J., Franch, X., Brinkkemper, S., Wrycza, S. (eds.) CAiSE 2012. LNCS, vol.\u00a07328, pp. 270\u2013285. Springer, Heidelberg (2012)"},{"key":"19_CR11","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, pp. 192\u2013199 (2011)","DOI":"10.1109\/CIDM.2011.5949297"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Montali, M.: Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach. Ph.D. thesis, University of Bologna (2009)","DOI":"10.1007\/978-3-642-14538-4"},{"key":"19_CR13","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-642-28108-2_37","volume-title":"Business Process Management Workshops","author":"P. Pichler","year":"2012","unstructured":"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.\u00a099, pp. 383\u2013394. Springer, Heidelberg (2012)"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-642-40176-3_26","volume-title":"Business Process Management","author":"H.A. Reijers","year":"2013","unstructured":"Reijers, H.A., Slaats, T., Stahl, C.: Declarative modeling-an academic dream or the future for bpm? In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol.\u00a08094, pp. 307\u2013322. Springer, Heidelberg (2013)"},{"key":"19_CR15","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.entcs.2004.01.029","volume":"113","author":"P. Thati","year":"2005","unstructured":"Thati, P., Ro\u015fu, G.: Monitoring algorithms for metric temporal logic specifications. Electron. Notes Theor. Comput. Sci.\u00a0113, 145\u2013162 (2005)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"19_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/978-3-642-33606-5_16","volume-title":"On the Move to Meaningful Internet Systems: OTM 2012","author":"M. Westergaard","year":"2012","unstructured":"Westergaard, M., Maggi, F.M.: Looking into the future: Using timed automata to provide a priori advice about timed declarative process models. In: Meersman, R., et al. (eds.) OTM 2012, Part I. LNCS, vol.\u00a07565, pp. 250\u2013267. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Business Information Processing","Perspectives in Business Informatics Research"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11370-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T18:23:36Z","timestamp":1558981416000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11370-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319113692","9783319113708"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11370-8_19","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2014]]}}}