{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T07:08:47Z","timestamp":1726038527748},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030261689"},{"type":"electronic","value":"9783030261696"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-26169-6_19","type":"book-chapter","created":{"date-parts":[[2019,7,27]],"date-time":"2019-07-27T11:02:27Z","timestamp":1564225347000},"page":"396-423","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Big Data Meets Process Science: Distributed Mining of MP-Declare Process Models"],"prefix":"10.1007","author":[{"given":"Christian","family":"Sturm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Sch\u00f6nig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,7,28]]},"reference":[{"key":"19_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process Mining: Discovery, Conformance and Enhancement of Business Processes","author":"W Aalst van der","year":"2011","unstructured":"van der Aalst, W.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-19345-3"},{"key":"19_CR2","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":"RPJC 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. 8094, pp. 97\u2013112. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-40176-3_9"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.eswa.2016.08.040","volume":"65","author":"A Burattin","year":"2016","unstructured":"Burattin, A., Maggi, F.M., Sperduti, A.: Conformance checking based on multi-perspective declarative process models. Expert Syst. Appl. 65, 194\u2013211 (2016)","journal-title":"Expert Syst. Appl."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Burattin, A., Maggi, F.M., van der Aalst, W.M., Sperduti, A.: Techniques for a posteriori analysis of declarative processes. In: EDOC, pp. 41\u201350. IEEE, Beijing (2012)","DOI":"10.1109\/EDOC.2012.15"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-319-23063-4_9","volume-title":"Business Process Management","author":"C Ciccio Di","year":"2015","unstructured":"Di Ciccio, C., Maggi, F.M., Montali, M., Mendling, J.: Ensuring model consistency in declarative process discovery. In: Motahari-Nezhad, H.R., Recker, J., Weidlich, M. (eds.) BPM 2015. LNCS, vol. 9253, pp. 144\u2013159. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-23063-4_9"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Di Ciccio, C., Mecella, M.: A two-step fast algorithm for the automated discovery of declarative workflows. In: CIDM, pp. 135\u2013142. IEEE (2013)","DOI":"10.1109\/CIDM.2013.6597228"},{"issue":"4","key":"19_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2629447","volume":"5","author":"C Ciccio Di","year":"2015","unstructured":"Di Ciccio, C., Mecella, M.: On the discovery of declarative control flows for artful processes. ACM TMIS 5(4), 1\u201337 (2015)","journal-title":"ACM TMIS"},{"key":"19_CR8","unstructured":"Di Ciccio, C., Schouten, M.H.M., de Leoni, M., Mendling, J.: Declarative process discovery with MINERful in ProM. In: BPM Demos, pp. 60\u201364 (2015)"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.is.2015.07.003","volume":"56","author":"M Leoni de","year":"2016","unstructured":"de Leoni, M., van der Aalst, W.M.P., Dees, M.: A general process mining framework for correlating, predicting and clustering dynamic behavior based on event logs. Inf. Syst. 56, 235\u2013257 (2016)","journal-title":"Inf. Syst."},{"key":"19_CR10","unstructured":"Maggi, F.M.: Declarative process mining with the declare component of ProM. In: BPM Demo Sessions 2013, pp. 26\u201330 (2013)"},{"key":"19_CR11","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-319-11370-8_19","volume-title":"Perspectives in Business Informatics Research","author":"FM Maggi","year":"2014","unstructured":"Maggi, F.M.: Discovering metric temporal business constraints from event logs. In: Johansson, B., Andersson, B., Holmberg, N. (eds.) BIR 2014. LNBIP, vol. 194, pp. 261\u2013275. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-11370-8_19"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-642-40176-3_8","volume-title":"Business Process Management","author":"FM Maggi","year":"2013","unstructured":"Maggi, F.M., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L., Montali, M.: Discovering data-aware declarative process models from event logs. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 81\u201396. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-40176-3_8"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Maggi, F.M., Mooij, A., van der Aalst, W.: User-guided discovery of declarative process models. In: CIDM, pp. 192\u2013199 (2011)","DOI":"10.1109\/CIDM.2011.5949297"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/978-3-642-38709-8_28","volume-title":"Advanced Information Systems Engineering","author":"FM Maggi","year":"2013","unstructured":"Maggi, F.M., Bose, R.P.J.C., van der Aalst, W.M.P.: A knowledge-based integrated approach for discovering and repairing declare maps. In: Salinesi, C., Norrie, M.C., Pastor, \u00d3. (eds.) CAiSE 2013. LNCS, vol. 7908, pp. 433\u2013448. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-38709-8_28"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Montali, M., Chesani, F., Mello, P., Maggi, F.M.: Towards data-aware constraints in declare. In: SAC, pp. 1391\u20131396. ACM (2013)","DOI":"10.1145\/2480362.2480624"},{"issue":"1","key":"19_CR16","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/1658373.1658376","volume":"4","author":"M Montali","year":"2010","unstructured":"Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographies. ACM Trans. Web 4(1), 3 (2010)","journal-title":"ACM Trans. Web"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: Declare: full support for loosely-structured processes. In: IEEE International EDOC Conference 2007, pp. 287\u2013300 (2007)","DOI":"10.1109\/EDOC.2007.14"},{"key":"19_CR18","series-title":"Lecture Notes in Business Information Processing","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 2011. LNBIP, vol. 99, pp. 383\u2013394. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-28108-2_37"},{"key":"19_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-662-45563-0_5","volume-title":"On the Move to Meaningful Internet Systems: OTM 2014 Conferences","author":"M R\u00e4im","year":"2014","unstructured":"R\u00e4im, M., Di Ciccio, C., Maggi, F.M., Mecella, M., Mendling, J.: Log-based understanding of business processes through temporal logic query checking. In: Meersman, R., et al. (eds.) OTM 2014. LNCS, vol. 8841, pp. 75\u201392. Springer, Heidelberg (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-662-45563-0_5"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Sch\u00f6nig, S., Cabanillas, C., Jablonski, S., Mendling, J.: A framework for efficiently mining the organisational perspective of business processes. Decis. Support Syst. (2016)","DOI":"10.1016\/j.dss.2016.06.012"},{"key":"19_CR21","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-319-46295-0_6","volume-title":"Service-Oriented Computing","author":"Stefan Sch\u00f6nig","year":"2016","unstructured":"Sch\u00f6nig, S., Di Ciccio, C., Maggi, F.M., Mendling, J.: Discovery of multi-perspective declarative process models. In: Service-Oriented Computing, ICSOC, Banff, pp. 87\u2013103 (2016)"},{"key":"19_CR22","unstructured":"Sturm, C., Sch\u00f6nig, S., Ciccio, C.D.: Distributed multi-perspective declare discovery. In: BPM Demos (2017)"},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"Sturm, C., Sch\u00f6nig, S., Jablonski, S.: A MapReduce approach for mining multi-perspective declarative process models. In: ICEIS, no. 2, pp. 585\u2013595 (2018)","DOI":"10.5220\/0006710305850595"},{"key":"19_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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. In: Meersman, R., et al. (eds.) OTM 2012. LNCS, vol. 7565, pp. 250\u2013267. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-33606-5_16"},{"key":"19_CR25","unstructured":"Westergaard, M., Stahl, C., Reijers, H.: UnconstrainedMiner: efficient discovery of generalized declarative process models. In: BPM CR, No. BPM-13-28 (2013)"},{"key":"19_CR26","doi-asserted-by":"crossref","unstructured":"Zeising, M., Sch\u00f6nig, S., Jablonski, S.: Towards a common platform for the support of routine and agile business processes. In: Collaborative Computing: Networking, Applications and Worksharing (2014)","DOI":"10.4108\/icst.collaboratecom.2014.257269"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-26169-6_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,27]],"date-time":"2019-07-27T11:15:30Z","timestamp":1564226130000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-26169-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030261689","9783030261696"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-26169-6_19","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"28 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICEIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Enterprise Information Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Funchal, Madeira","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 March 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 March 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iceis2018a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}