{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T08:22:26Z","timestamp":1759134146003,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319917030"},{"type":"electronic","value":"9783319917047"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-91704-7_1","type":"book-chapter","created":{"date-parts":[[2018,5,15]],"date-time":"2018-05-15T09:59:05Z","timestamp":1526378345000},"page":"3-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Mining Expressive and Executable Resource-Aware Imperative Process Models"],"prefix":"10.1007","author":[{"given":"Cristina","family":"Cabanillas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Sch\u00f6nig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Sturm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Mendling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,16]]},"reference":[{"key":"1_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":"WMP van der Aalst","year":"2011","unstructured":"van der Aalst, W.M.P.: Process Mining - Discovery, Conformance and Enhancement of Business Processes. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-19345-3"},{"key":"1_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33143-5","volume-title":"Fundamentals of Business Process Management","author":"M Dumas","year":"2013","unstructured":"Dumas, M., La Rosa, M., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-33143-5"},{"issue":"4","key":"1_CR3","doi-asserted-by":"publisher","first-page":"24:1","DOI":"10.1145\/2629447","volume":"5","author":"C Di Ciccio","year":"2015","unstructured":"Di Ciccio, C., Mecella, M.: On the discovery of declarative control flows for artful processes. ACM Trans. Manag. Inf. Syst. 5(4), 24:1\u201324:37 (2015)","journal-title":"ACM Trans. Manag. Inf. Syst."},{"issue":"23","key":"1_CR4","doi-asserted-by":"publisher","first-page":"9236","DOI":"10.1016\/j.eswa.2015.07.040","volume":"42","author":"M Rovani","year":"2015","unstructured":"Rovani, M., Maggi, F.M., de Leoni, M., van der Aalst, W.M.: Declarative process mining in healthcare. Expert Syst. Appl. 42(23), 9236\u20139251 (2015)","journal-title":"Expert Syst. Appl."},{"key":"1_CR5","unstructured":"OMG: BPMN 2.0, recommendation, OMG (2011)"},{"issue":"2","key":"1_CR6","first-page":"99","volume":"23","author":"W van der Aalst","year":"2009","unstructured":"van der Aalst, W., Pesic, M., Schonenberg, H.: Declarative workflows: balancing between flexibility and support. Comput. Sci. R&D 23(2), 99\u2013113 (2009)","journal-title":"Comput. Sci. R&D"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.dss.2016.06.012","volume":"89","author":"S Sch\u00f6nig","year":"2016","unstructured":"Sch\u00f6nig, S., Cabanillas, C., Jablonski, S., Mendling, J.: A framework for efficiently mining the organisational perspective of business processes. Decis. Support Syst. 89, 87\u201397 (2016)","journal-title":"Decis. Support Syst."},{"key":"1_CR8","unstructured":"Rinderle-Ma, S., van der Aalst, W.M.: Life-cycle support for staff assignment rules in process-aware information systems, Technical report, TU\/e (2007)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Baumgrass, A.: Deriving current state RBAC models from event logs. In: International Conference on Availability, Reliability and Security, pp. 667\u2013672 (2011)","DOI":"10.1109\/ARES.2011.104"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Burattin, A., Sperduti, A., Veluscek, M.: Business models enhancement through discovery of roles. In: IEEE CIDM, pp. 103\u2013110 (2013)","DOI":"10.1109\/CIDM.2013.6597224"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/11431855_16","volume-title":"Advanced Information Systems Engineering","author":"N Russell","year":"2005","unstructured":"Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Workflow resource patterns: identification, representation and tool support. In: Pastor, O., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 216\u2013232. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11431855_16"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-319-19069-3_4","volume-title":"Advanced Information Systems Engineering","author":"C Cabanillas","year":"2015","unstructured":"Cabanillas, C., Knuplesch, D., Resinas, M., Reichert, M., Mendling, J., Ruiz-Cort\u00e9s, A.: RALph: a graphical notation for resource assignments in business processes. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015. LNCS, vol. 9097, pp. 53\u201368. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19069-3_4"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-319-39696-5_18","volume-title":"Advanced Information Systems Engineering","author":"S Sch\u00f6nig","year":"2016","unstructured":"Sch\u00f6nig, S., Rogge-Solti, A., Cabanillas, C., Jablonski, S., Mendling, J.: Efficient and customisable declarative process mining with SQL. In: Nurcan, S., Soffer, P., Bajec, M., Eder, J. (eds.) CAiSE 2016. LNCS, vol. 9694, pp. 290\u2013305. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39696-5_18"},{"key":"1_CR14","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-642-17722-4_5","volume-title":"Information Systems Evolution","author":"HMW Verbeek","year":"2011","unstructured":"Verbeek, H.M.W., Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: XES, XESame, and ProM 6. In: Soffer, P., Proper, E. (eds.) CAiSE Forum 2010. LNBIP, vol. 72, pp. 60\u201375. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-17722-4_5"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.is.2015.03.002","volume":"52","author":"C Cabanillas","year":"2015","unstructured":"Cabanillas, C., Resinas, M., del R\u00edo-Ortega, A., Ruiz-Cort\u00e9s, A.: Specification and automated design-time analysis of the business process human resource perspective. Inf. Syst. 52, 55\u201382 (2015)","journal-title":"Inf. Syst."},{"key":"1_CR16","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). https:\/\/doi.org\/10.1007\/978-3-642-40176-3_9"},{"issue":"1","key":"1_CR17","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1016\/j.dss.2008.07.002","volume":"46","author":"M Song","year":"2008","unstructured":"Song, M., van der Aalst, W.M.: Towards comprehensive support for organizational mining. Decis. Support Syst. 46(1), 300\u2013317 (2008)","journal-title":"Decis. Support Syst."},{"issue":"1","key":"1_CR18","doi-asserted-by":"publisher","first-page":"1:1","DOI":"10.1145\/3041218","volume":"8","author":"A Pika","year":"2017","unstructured":"Pika, A., Leyer, M., Wynn, M.T., Fidge, C.J., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Mining resource profiles from event logs. ACM Trans. Manag. Inf. Syst. 8(1), 1:1\u20131:30 (2017)","journal-title":"ACM Trans. Manag. Inf. Syst."},{"key":"1_CR19","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-642-12186-9_8","volume-title":"Business Process Management Workshops","author":"J Nakatumba","year":"2010","unstructured":"Nakatumba, J., van der Aalst, W.M.P.: Analyzing resource behavior using process mining. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds.) BPM 2009. LNBIP, vol. 43, pp. 69\u201380. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-12186-9_8"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-3-319-59536-8_12","volume-title":"Advanced Information Systems Engineering","author":"BFA Hompes","year":"2017","unstructured":"Hompes, B.F.A., Maaradji, A., La Rosa, M., Dumas, M., Buijs, J.C.A.M., van der Aalst, W.M.P.: Discovering causal factors explaining business process performance variation. In: Dubois, E., Pohl, K. (eds.) CAiSE 2017. LNCS, vol. 10253, pp. 177\u2013192. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-59536-8_12"},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.dss.2017.04.004","volume":"100","author":"MT Wynn","year":"2017","unstructured":"Wynn, M.T., Poppe, E., Xu, J., ter Hofstede, A.H.M., Brown, R., Pini, A., van der Aalst, W.M.P.: ProcessProfiler3D: a visualisation framework for log-based process performance comparison. Decis. Support Syst. 100, 93\u2013108 (2017)","journal-title":"Decis. Support Syst."},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Jin, T., Wang, J., Wen, L.: Organizational modeling from event logs. In: International Conference on Grid and Cooperative Computing (GCC), pp. 670\u2013675 (2007)","DOI":"10.1109\/GCC.2007.93"},{"key":"1_CR23","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/978-3-642-54924-3_66","volume":"277","author":"W Zhao","year":"2014","unstructured":"Zhao, W., Zhao, X.: Process mining from the organizational perspective. Adv. Intell. Syst. Comput. 277, 701\u2013708 (2014)","journal-title":"Adv. Intell. Syst. Comput."},{"key":"1_CR24","unstructured":"American National Standards Institute, Inc.: Role-Based Access Control. ANSI INCITS 359\u20132004, February 2004. http:\/\/csrc.nist.gov\/rbac"},{"key":"1_CR25","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: IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, pp. 94\u2013103 (2014)","DOI":"10.4108\/icst.collaboratecom.2014.257269"},{"issue":"2","key":"1_CR26","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/s100090100062","volume":"4","author":"O Kupferman","year":"2003","unstructured":"Kupferman, O., Vardi, M.Y.: Vacuity detection in temporal model checking. Int. J. Soft. Tools Technol. Transfer 4(2), 224\u2013233 (2003)","journal-title":"Int. J. Soft. Tools Technol. Transfer"},{"issue":"1","key":"1_CR27","doi-asserted-by":"publisher","first-page":"3:1","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. TWEB 4(1), 3:1\u20133:62 (2010)","journal-title":"TWEB"},{"key":"1_CR28","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":"1_CR29","unstructured":"van Dongen, B.F., Shabani, S.: Relational XES: data management for process mining. In: CAiSE Forum 2015, pp. 169\u2013176 (2015)"},{"key":"1_CR30","unstructured":"Sch\u00f6nig, S.: SQL Queries for Declarative Process Mining on Event Logs of Relational Databases, CoRR, vol. abs\/1512.00196 (2015)"},{"key":"1_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-540-31843-9_17","volume-title":"Graph Drawing","author":"M Eiglsperger","year":"2005","unstructured":"Eiglsperger, M., Siebenhaller, M., Kaufmann, M.: An efficient implementation of Sugiyama\u2019s algorithm for layered graph drawing. In: Pach, J. (ed.) GD 2004. LNCS, vol. 3383, pp. 155\u2013166. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31843-9_17"},{"key":"1_CR32","unstructured":"Cabanillas, C., del R\u00edo-Ortega, A., Resinas, M., Cort\u00e9s, A.R.: CRISTAL: collection of resource-centric supporting tools and languages. In: BPM (Demos), pp. 51\u201356. CEUR-WS.org (2012)"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise, Business-Process and Information Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91704-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T18:48:44Z","timestamp":1710355724000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-91704-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319917030","9783319917047"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91704-7_1","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"16 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BPMDS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Business Process Modeling, Development and Support","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tallinn","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Estonia","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":"11 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bpmds2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.bpmds.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}