{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T08:50:33Z","timestamp":1780044633281,"version":"3.53.1"},"reference-count":65,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2020,8,8]],"date-time":"2020-08-08T00:00:00Z","timestamp":1596844800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,8,8]],"date-time":"2020-08-08T00:00:00Z","timestamp":1596844800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["V 569-N31"],"award-info":[{"award-number":["V 569-N31"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004837","name":"Ministerio de Ciencia e Innovaci\u00f3n","doi-asserted-by":"publisher","award":["RTI2018-100763-J-100"],"award-info":[{"award-number":["RTI2018-100763-J-100"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2020,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Automated process discovery is a technique that extracts models of executed processes from event logs. Logs typically include information about the activities performed, their timestamps and the resources that were involved in their execution. Recent approaches to process discovery put a special emphasis on (human) resources, aiming at constructing resource-aware process models that contain the inferred resource assignment constraints. Such constraints can be complex and process discovery approaches so far have missed the opportunity to represent expressive resource assignments graphically together with process models. A subsequent verification of the extracted resource-aware process models is required in order to check the proper utilisation of resources according to the resource assignments. So far, research on discovering resource-aware process models has assumed that models can be put into operation without modification and checking. Integrating resource mining and resource-aware process model verification faces the challenge that different types of resource assignment languages are used for each task. In this paper, we present an integrated solution that comprises (i) a resource mining technique that builds upon a highly expressive graphical notation for defining resource assignments; and (ii) automated model-checking support to validate the discovered resource-aware process models. All the concepts reported in this paper have been implemented and evaluated in terms of feasibility and performance.<\/jats:p>","DOI":"10.1007\/s10270-020-00820-7","type":"journal-article","created":{"date-parts":[[2020,8,8]],"date-time":"2020-08-08T03:36:33Z","timestamp":1596857793000},"page":"1415-1441","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["The RALph miner for automated discovery and verification of resource-aware process models"],"prefix":"10.1007","volume":"19","author":[{"given":"Cristina","family":"Cabanillas","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lars","family":"Ackermann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefan","family":"Sch\u00f6nig","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christian","family":"Sturm","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jan","family":"Mendling","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,8,8]]},"reference":[{"key":"820_CR1","unstructured":"Abrial, J.R.: Specification language. On the Construction of Programs (1980)"},{"key":"820_CR2","volume-title":"The B-Book: Assigning Programs to Meanings","author":"JR Abrial","year":"2005","unstructured":"Abrial, J.R., Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)"},{"key":"820_CR3","doi-asserted-by":"crossref","unstructured":"Ackermann, L., Sch\u00f6nig, S., Jablonski, S.: Simulation of multi-perspective declarative process models. In: Business Process Management Workshops, pp. 61\u201373. Springer, Berlin (2016)","DOI":"10.1007\/978-3-319-58457-7_5"},{"key":"820_CR4","doi-asserted-by":"publisher","unstructured":"Ackermann, L., Sch\u00f6nig, S., Petter, S., Sch\u00fctzenmeier, N., Jablonski, S.: Execution of multi-perspective declarative process models, pp. 154\u2013172 (2018). https:\/\/doi.org\/10.1007\/978-3-030-02671-4_9","DOI":"10.1007\/978-3-030-02671-4_9"},{"key":"820_CR5","unstructured":"American National Standards Institute, I.: Role-based access control. ANSI INCITS 359-2004 (2004). http:\/\/csrc.nist.gov\/rbac"},{"key":"820_CR6","volume-title":"The Description Logics Handbook: Theory, Implementations, and Applications","author":"F Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logics Handbook: Theory, Implementations, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"820_CR7","doi-asserted-by":"crossref","unstructured":"Baumgrass, A.: Deriving current state RBAC models from event logs. In: Int. Conf. on Availability, Reliability and Security, pp. 667\u2013672 (2011)","DOI":"10.1109\/ARES.2011.104"},{"key":"820_CR8","unstructured":"Bertino, E., Ferrari, E.: Data security. In: COMPSAC, pp. 228\u2013239 (1998)"},{"key":"820_CR9","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/300830.300837","volume":"2","author":"E Bertino","year":"1999","unstructured":"Bertino, E., Ferrari, E., Atluri, V.: The specification and enforcement of authorization constraints in workflow management systems. ACM Trans. Inf. Syst. Secur. 2, 65\u2013104 (1999)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"820_CR10","doi-asserted-by":"crossref","unstructured":"Bjorner, D., Jones, CB, et\u00a0al.: The Vienna development method: the meta-language (1978)","DOI":"10.1007\/3-540-08766-4"},{"key":"820_CR11","first-page":"97","volume":"8094","author":"JC Bose","year":"2013","unstructured":"Bose, J.C., Maggi, F.M., van der Aalst, W.: Enhancing declare maps based on event correlations. BPM 8094, 97\u2013112 (2013)","journal-title":"BPM"},{"key":"820_CR12","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":"820_CR13","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":"820_CR14","doi-asserted-by":"publisher","first-page":"744","DOI":"10.1007\/978-3-319-74030-0_59","volume":"308","author":"HSG Caballero","year":"2017","unstructured":"Caballero, H.S.G., Westenberg, M.A., Verbeek, H.M.W., van der Aalst, W.M.P.: Visual analytics for soundness verification of process models. Bus. Process Manag. Workshops 308, 744\u2013756 (2017). https:\/\/doi.org\/10.1007\/978-3-319-74030-0_59","journal-title":"Bus. Process Manag. Workshops"},{"key":"820_CR15","doi-asserted-by":"crossref","unstructured":"Cabanillas, C.: Process- and resource-aware information systems. In: Int. Conf. on Enterprise Distributed Object Computing (EDOC), pp. 1\u201310 (2016)","DOI":"10.1109\/EDOC.2016.7579383"},{"key":"820_CR16","doi-asserted-by":"crossref","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: CAiSE, vol. 9097, pp. 53\u201368. Springer, Berlin (2015)","DOI":"10.1007\/978-3-319-19069-3_4"},{"key":"820_CR17","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."},{"issue":"5","key":"820_CR18","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1080\/17517575.2017.1390166","volume":"12","author":"C Cabanillas","year":"2018","unstructured":"Cabanillas, C., Resinas, M., Ruiz-Cort\u00e9s, A.: A template-based approach for responsibility management in executable business processes. Enterp. Inf. Syst. 12(5), 550\u2013586 (2018). https:\/\/doi.org\/10.1080\/17517575.2017.1390166","journal-title":"Enterp. Inf. Syst."},{"key":"820_CR19","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)"},{"key":"820_CR20","doi-asserted-by":"crossref","unstructured":"Cabanillas, C., Sch\u00f6nig, S., Sturm, C., Mendling, J.: Mining expressive and executable resource-aware imperative process models. In: Int. Conf. on Enterprise, Business-Process and Information Systems Modeling (BPMDS), vol. 318, pp. 3\u201318 (2018)","DOI":"10.1007\/978-3-319-91704-7_1"},{"key":"820_CR21","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/j.is.2016.09.005","volume":"64","author":"CD Ciccio","year":"2017","unstructured":"Ciccio, C.D., Maggi, F.M., Montali, M., Mendling, J.: Resolving inconsistencies and redundancies in declarative process models. Inf. Syst. 64, 425\u2013446 (2017). https:\/\/doi.org\/10.1016\/j.is.2016.09.005","journal-title":"Inf. Syst."},{"key":"820_CR22","volume-title":"Model Checking","author":"EM Clarke Jr","year":"2000","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Berlin (2000)"},{"issue":"4","key":"820_CR23","doi-asserted-by":"publisher","first-page":"241","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), 241\u20132437 (2015)","journal-title":"ACM Trans. Manag. Inf. Syst."},{"key":"820_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-56509-4","volume-title":"Fundamentals of Business Process Management","author":"M Dumas","year":"2018","unstructured":"Dumas, M., Rosa, M.L., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management, 2nd edn. Springer, Berlin (2018)","edition":"2"},{"key":"820_CR25","doi-asserted-by":"crossref","unstructured":"Eiglsperger, M., Siebenhaller, M., Kaufmann, M.: An efficient implementation of Sugiyama\u2019s algorithm for layered graph drawing. In: Graph Drawing, pp. 155\u2013166 (2005)","DOI":"10.1007\/978-3-540-31843-9_17"},{"key":"820_CR26","doi-asserted-by":"publisher","first-page":"59","DOI":"10.4204\/EPTCS.69.5","volume":"69","author":"TT Hildebrandt","year":"2011","unstructured":"Hildebrandt, T.T., Mukkamala, R.R.: Declarative event-based workflow as distributed dynamic condition response graphs. Electron. Proc. Theor. Comput. Sci. 69, 59\u201373 (2011)","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"820_CR27","doi-asserted-by":"crossref","unstructured":"Hompes, B.F.A., Maaradji, A., Rosa, M.L., Dumas, M., Buijs, J.C.A.M., van\u00a0der Aalst, W.M.P.: Discovering causal factors explaining business process performance variation. In: CAiSE, pp. 177\u2013192 (2017)","DOI":"10.1007\/978-3-319-59536-8_12"},{"issue":"4","key":"820_CR28","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1017\/S0269888905000317","volume":"19","author":"B Horling","year":"2004","unstructured":"Horling, B., Lesser, V.: A survey of multi-agent organizational paradigms. Knowl. Eng. Rev. 19(4), 281\u2013316 (2004). https:\/\/doi.org\/10.1017\/S0269888905000317","journal-title":"Knowl. Eng. Rev."},{"key":"820_CR29","volume-title":"Software Abstractions: Logic, Language, and analysis","author":"D Jackson","year":"2012","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and analysis. MIT Press, London (2012)"},{"key":"820_CR30","doi-asserted-by":"crossref","unstructured":"Jin, T., Wang, J., Wen, L.: Organizational modeling from event logs. In: Int. Conf. on Grid and Cooperative Computing (GCC), pp. 670\u2013675 (2007)","DOI":"10.1109\/GCC.2007.93"},{"issue":"2","key":"820_CR31","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. Softw. Tools Technol. Transf. 4(2), 224\u2013233 (2003)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"1","key":"820_CR32","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0364-0213(87)80026-5","volume":"11","author":"JH Larkin","year":"1987","unstructured":"Larkin, J.H., Simon, H.A.: Why a diagram is (sometimes) worth ten thousand words. Cogn. Sci. 11(1), 65\u2013100 (1987). https:\/\/doi.org\/10.1016\/S0364-0213(87)80026-5","journal-title":"Cogn. Sci."},{"key":"820_CR33","doi-asserted-by":"publisher","unstructured":"Maggi, F.M., Westergaard, M., Montali, M., van\u00a0der Aalst, W.M.P.: Runtime verification of LTL-based declarative process models. In: Int. Conf. on Runtime Verification (RV)\u2014Revised Selected Papers, vol. 7186, pp. 131\u2013146 (2011). https:\/\/doi.org\/10.1007\/978-3-642-29860-8_11","DOI":"10.1007\/978-3-642-29860-8_11"},{"key":"820_CR34","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-00899-3\\_12","volume":"2","author":"J Mendling","year":"2009","unstructured":"Mendling, J.: Empirical studies in process model verification. Trans. Petri Nets Other Models Concurr. 2, 208\u2013224 (2009). https:\/\/doi.org\/10.1007\/978-3-642-00899-3_12","journal-title":"Trans. Petri Nets Other Models Concurr."},{"key":"820_CR35","first-page":"3","volume":"1","author":"J Mendling","year":"2005","unstructured":"Mendling, J., Neumann, G., N\u00fcttgens, M.: Yet another event-driven process chain\u2014modeling workflow patterns with yEPCs. Enterp. Model. Inf. Syst. Archit. (EMISA) 1, 3\u201313 (2005)","journal-title":"Enterp. Model. Inf. Syst. Archit. (EMISA)"},{"issue":"1","key":"820_CR36","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":"820_CR37","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/s11219-010-9111-x","volume":"19","author":"B Mora","year":"2011","unstructured":"Mora, B., Garcia, F., Ruiz, F., Piattini, M.: Graphical versus textual software measurement modelling: an empirical study. Softw. Qual. J. 19, 201\u2013233 (2011). https:\/\/doi.org\/10.1007\/s11219-010-9111-x","journal-title":"Softw. Qual. J."},{"key":"820_CR38","doi-asserted-by":"crossref","unstructured":"Nakatumba, J., van\u00a0der Aalst, W.: Analyzing resource behavior using process mining. In: Business Process Management Workshops, pp. 69\u201380 (2010)","DOI":"10.1007\/978-3-642-12186-9_8"},{"key":"820_CR39","unstructured":"OMG: BPMN 2.0. Recommendation, OMG (2011)"},{"issue":"3","key":"820_CR40","doi-asserted-by":"publisher","first-page":"45","DOI":"10.2753\/MIS0742-1222240302","volume":"24","author":"K Peffers","year":"2007","unstructured":"Peffers, K., et al.: A design science research methodology for information systems research. J. Manag. Inf. Syst. 24(3), 45\u201377 (2007)","journal-title":"J. Manag. Inf. Syst."},{"issue":"1","key":"820_CR41","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":"820_CR42","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-642-00899-3\\_7","volume":"2","author":"M Reichert","year":"2009","unstructured":"Reichert, M., Rinderle-Ma, S., Dadam, P.: Flexibility in process-aware information systems. Trans. Petri Nets Other Mod. Concurr. 2, 115\u2013135 (2009). https:\/\/doi.org\/10.1007\/978-3-642-00899-3_7","journal-title":"Trans. Petri Nets Other Mod. Concurr."},{"key":"820_CR43","doi-asserted-by":"crossref","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)","DOI":"10.1016\/j.dss.2006.11.005"},{"issue":"4","key":"820_CR44","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1207\/s1532690xci2104\\_3","volume":"21","author":"WM Roth","year":"2003","unstructured":"Roth, W.M., Bowen, G.M.: When are graphs worth ten thousand words? An expert\u2013expert study. Cogn. Instr. 21(4), 429\u2013473 (2003). https:\/\/doi.org\/10.1207\/s1532690xci2104_3","journal-title":"Cogn. Instr."},{"issue":"23","key":"820_CR45","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":"820_CR46","doi-asserted-by":"crossref","unstructured":"Russell, N., van\u00a0der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Workflow resource patterns: identification, representation and tool support. In: CAiSE, pp. 216\u2013232 (2005)","DOI":"10.1007\/11431855_16"},{"key":"820_CR47","doi-asserted-by":"crossref","unstructured":"Sch\u00f6nig, S., Ackermann, L., Jablonski, S.: DPIL navigator 2.0: multi-perspective declarative process execution. In: Online Proceedings of the BPM Demo Track. CEUR-WS.org (2017)","DOI":"10.1007\/978-3-319-58457-7_5"},{"key":"820_CR48","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/s10270-016-0567-4","volume":"1","author":"S Sch\u00f6nig","year":"2015","unstructured":"Sch\u00f6nig, S., Cabanillas, C., Ciccio, C.D., Jablonski, S., Mendling, J.: Mining team compositions for collaborative work in business processes. J. Softw. Syst. Model. (SoSyM) 1, 19 (2015). https:\/\/doi.org\/10.1007\/s10270-016-0567-4","journal-title":"J. Softw. Syst. Model. (SoSyM)"},{"key":"820_CR49","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":"820_CR50","doi-asserted-by":"crossref","unstructured":"Sch\u00f6nig, S., Ciccio, C.D., Maggi, F.M., Mendling, J.: Discovery of multi-perspective declarative process models. In: Service-Oriented Computing\u201414th International Conference, ICSOC 2016, Banff, AB, Canada, October 10\u201313, 2016, Proceedings, pp. 87\u2013103 (2016)","DOI":"10.1007\/978-3-319-46295-0_6"},{"key":"820_CR51","doi-asserted-by":"crossref","unstructured":"Sch\u00f6nig, S., Rogge-Solti, A., Cabanillas, C., Jablonski, S., Mendling, J.: Efficient and customisable declarative process mining with SQL. In: CAiSE, pp. 290\u2013305 (2016)","DOI":"10.1007\/978-3-319-39696-5_18"},{"key":"820_CR52","unstructured":"Skydanienko, V., Di\u00a0Francescomarino, C., Ghidini, C., Maggi, F.M.: A tool for generating event logs from multi-perspective declare models. In: BPM (Dissertation\/Demos\/Industry), pp. 111\u2013115 (2018)"},{"issue":"1","key":"820_CR53","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."},{"key":"820_CR54","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1016\/j.infsof.2010.11.015","volume":"53","author":"M Strembeck","year":"2011","unstructured":"Strembeck, M., Mendling, J.: Modeling process-related RBAC models with extended UML activity models. Inf. Softw. Technol. 53, 456\u2013483 (2011)","journal-title":"Inf. Softw. Technol."},{"key":"820_CR55","unstructured":"Tan, K., Crampton, J., Gunter, C.A.: The consistency of task-based authorization constraints in workflow systems. In: IEEE Workshop on Computer Security Foundations, pp. 155\u2013169 (2004)"},{"key":"820_CR56","volume-title":"Workflow Management: Models, Methods, and Systems","author":"W van der Aalst","year":"2004","unstructured":"van der Aalst, W., van Hee, K.: Workflow Management: Models, Methods, and Systems. MIT Press, London (2004)"},{"key":"820_CR57","first-page":"169","volume":"2015","author":"BF van Dongen","year":"2015","unstructured":"van Dongen, B.F., Shabani, S.: Relational XES: data management for process mining. CAiSE Forum 2015, 169\u2013176 (2015)","journal-title":"CAiSE Forum"},{"issue":"2","key":"820_CR58","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":"820_CR59","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process Mining\u2014Discovery, Conformance and Enhancement of Business Processes","author":"WMP van der Aalst","year":"2011","unstructured":"van der Aalst, W.M.P.: Process Mining\u2014Discovery, Conformance and Enhancement of Business Processes. Springer, Berlin (2011)"},{"key":"820_CR60","doi-asserted-by":"crossref","unstructured":"Verbeek, E., Buijs, J., van Dongen, B., van\u00a0der Aalst, W.: XES, xESame, and ProM 6. In: Information Systems Evolution, pp. 60\u201375 (2011)","DOI":"10.1007\/978-3-642-17722-4_5"},{"key":"820_CR61","unstructured":"Wang, Q., Li, N.: Satisfiability and resiliency in workflow authorization systems"},{"key":"820_CR62","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."},{"issue":"1","key":"820_CR63","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1108\/14637150910931479","volume":"15","author":"MT Wynn","year":"2009","unstructured":"Wynn, M.T., Verbeek, H.M.W., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Business process verification\u2014finally a reality!. Bus. Proc. Manag. J. 15(1), 74\u201392 (2009). https:\/\/doi.org\/10.1108\/14637150910931479","journal-title":"Bus. Proc. Manag. J."},{"key":"820_CR64","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 Int. Conf. on Collaborative Computing: Networking, Applications and Worksharing, pp. 94\u2013103 (2014)","DOI":"10.4108\/icst.collaboratecom.2014.257269"},{"key":"820_CR65","doi-asserted-by":"crossref","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"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00820-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00820-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00820-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,5]],"date-time":"2023-10-05T13:01:51Z","timestamp":1696510911000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-020-00820-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,8]]},"references-count":65,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2020,11]]}},"alternative-id":["820"],"URL":"https:\/\/doi.org\/10.1007\/s10270-020-00820-7","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,8,8]]},"assertion":[{"value":"14 December 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 July 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 July 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 August 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}