{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:26:06Z","timestamp":1742912766124,"version":"3.40.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030928742"},{"type":"electronic","value":"9783030928759"}],"license":[{"start":{"date-parts":[[2021,12,3]],"date-time":"2021-12-03T00:00:00Z","timestamp":1638489600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,12,3]],"date-time":"2021-12-03T00:00:00Z","timestamp":1638489600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-92875-9_5","type":"book-chapter","created":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T17:04:00Z","timestamp":1650906240000},"page":"115-148","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Diagramed Model Query Language 2.0: Design, Implementation, and Evaluation"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Delfmann","sequence":"first","affiliation":[]},{"given":"Dennis M.","family":"Riehle","sequence":"additional","affiliation":[]},{"given":"Steffen","family":"H\u00f6henberger","sequence":"additional","affiliation":[]},{"given":"Carl","family":"Corea","sequence":"additional","affiliation":[]},{"given":"Christoph","family":"Drodt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,12,3]]},"reference":[{"key":"5_CR1","unstructured":"Becker, J., Bergener, P., R\u00e4ckers, M., Wei\u00df, B., Winkelmann, A.: Pattern-based semi-automatic analysis of weaknesses in semantic business process models in the banking sector. In: Proceedings of the 18th European Conference on Information Systems (ECIS), Pretoria, South Africa (2010)"},{"issue":"2","key":"5_CR2","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF03342739","volume":"5","author":"J Becker","year":"2012","unstructured":"Becker, J., Delfmann, P., Eggert, M., Schwittay, S.: Generalizability and applicability of model-based business process compliance-checking approaches - A state-of-the-art analysis and research roadmap. BuR - Bus. Res. 5(2), 221\u2013247 (2012)","journal-title":"BuR - Bus. Res."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Becker, J., Clever, N., Holler, J., Shitkova, M.: Icebricks. In: vom Brocke, J., Hekkala, R., Ram, S., Rossi, M. (eds.) Design Science at the Intersection of Physical and Virtual Design, pp. 394\u2013399. Springer Berlin Heidelberg, Berlin, Heidelberg (2013)","DOI":"10.1007\/978-3-642-38827-9_27"},{"issue":"2","key":"5_CR4","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/s10796-014-9529-y","volume":"18","author":"J Becker","year":"2016","unstructured":"Becker, J., Delfmann, P., Dietrich, H.A., Steinhorst, M., Eggert, M.: Business process compliance checking - Applying and evaluating a generic pattern matching approach for conceptual models in the financial sector. Inf. Syst. Front. 18(2), 359\u2013405 (2016)","journal-title":"Inf. Syst. Front."},{"issue":"1","key":"5_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1108\/BPMJ-07-2013-0103","volume":"21","author":"P Bergener","year":"2015","unstructured":"Bergener, P., Delfmann, P., Weiss, B., Winkelmann, A.: Detecting potential weaknesses in business processes. Bus. Process Manag. J. 21(1), 25\u201354 (2015)","journal-title":"Bus. Process Manag. J."},{"issue":"1","key":"5_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/320434.320440","volume":"1","author":"PPS Chen","year":"1976","unstructured":"Chen, P.P.S.: The entity-relationship model\u2013toward a unified view of data. ACM Trans. Database Syst. 1(1), 1\u201336 (1976)","journal-title":"ACM Trans. Database Syst."},{"key":"5_CR7","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT press (1999)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Delfmann, P., Breuker, D., Matzner, M., Becker, J.: Supporting information systems analysis through conceptual model query \u2013 The diagramed model query language (DMQL). Commun. Assoc. Inf. Syst. 37(24) (2015)","DOI":"10.17705\/1CAIS.03724"},{"key":"5_CR9","unstructured":"Delfmann, P., H\u00f6henberger, S.: Supporting business process improvement through business process weakness pattern collections. In: Proceedings of the 12. Internationale Tagung Wirtschaftsinformatik, pp. 378\u2013392. Osnabr\u00fcck, Germany (2015)"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.is.2014.06.003","volume":"47","author":"P Delfmann","year":"2015","unstructured":"Delfmann, P., Steinhorst, M., Dietrich, H.A., Becker, J.: The generic model query language GMQL - conceptual specification, implementation, and runtime evaluation. Information Systems 47, 129\u2013177 (2015)","journal-title":"Information Systems"},{"key":"5_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14912-2","volume-title":"Graphentheorie","author":"R Diestel","year":"2010","unstructured":"Diestel, R.: Graphentheorie. Springer, Berlin\/Heidelberg, Germany (2010)"},{"key":"5_CR12","unstructured":"Dietrich, H.A., Steinhorst, M., Becker, J., Delfmann, P.: Fast pattern matching in conceptual models-evaluating and extending a generic approach. In: EMISA, pp. 79\u201392. Citeseer (2011)"},{"key":"5_CR13","unstructured":"El Kharbili, M., de Medeiros, A., Stein, S., van der Aalst, W.: Business process compliance checking: Current state and future challenges. In: Proceedings of the Conference Modellierung betrieblicher Informationssysteme (MobIS). Saarbr\u00fccken, Germany (2008)"},{"issue":"1","key":"5_CR14","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/s10270-014-0395-3","volume":"15","author":"A Elgammal","year":"2016","unstructured":"Elgammal, A., Turetken, O., van den Heuvel, W.J., Papazoglou, M.: Formalizing and appling compliance patterns for business process compliance. Softw. Syst. Model. 15(1), 119\u2013146 (2016)","journal-title":"Softw. Syst. Model."},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., V\u00f6lzer, H., Wolf, K.: Instantaneous soundness checking of industrial business process models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) Proceedings of the 7th International Conference on Business Process Management (BPM), pp. 278\u2013293. Ulm, Germany (2009)","DOI":"10.1007\/978-3-642-03848-8_19"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Ghose, A., Koliadis, G.: Auditing business process compliance. In: Proceedings of the International Conference on Service-Oriented Computing (ICSOC), pp. 169\u2013180. Vienna, Austria (2007)","DOI":"10.1007\/978-3-540-74974-5_14"},{"key":"5_CR17","unstructured":"Havel, J.M., Steinhorst, M., Dietrich, H.A., Delfmann, P.: Supporting terminological standardization in conceptual models \u2013 a plugin for a meta-modelling tool. In: Proceedings of the 22nd European Conference on Information Systems (ECIS 2014) (2014)"},{"key":"5_CR18","unstructured":"H\u00f6henberger, S., Riehle, D.M., Delfmann, P.: From legislation to potential compliance violations in business processes \u2014 Simplicity matter. In: European Conference on Information Systems, ECIS \u201916, pp. 1\u201315. Istanbul, Turkey (2016)"},{"issue":"2","key":"5_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2430545.2430547","volume":"22","author":"M La Rosa","year":"2013","unstructured":"La Rosa, M., Dumas, M., Uba, R., Dijkman, R.: Business process model merging. ACM Trans. Softw. Eng. Methodol. 22(2), 1\u201342 (2013)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Lingas, A., Wahlen, M.: An exact algorithm for subgraph homeomorphism. J. Discrete Algorithms 7(4), 464\u2013468 (2009). https:\/\/doi.org\/10.1016\/j.jda.2008.10.003. http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1570866708000968","DOI":"10.1016\/j.jda.2008.10.003"},{"issue":"3","key":"5_CR21","doi-asserted-by":"publisher","first-page":"45","DOI":"10.2753\/MIS0742-1222240302","volume":"24","author":"K Peffers","year":"2007","unstructured":"Peffers, K., Tuunanen, T., Rothenberger, M.A., Chatterjee, S.: A design science research methodology for information systems research. J. Manag. Inf. Syst. 24(3), 45\u201377 (2007)","journal-title":"J. Manag. Inf. Syst."},{"key":"5_CR22","doi-asserted-by":"publisher","unstructured":"Pflanzl, N., Breuker, D., Dietrich, H., Steinhorst, M., Shitkova, M., Becker, J., Delfmann, P.: A framework for fast graph-based pattern matching in conceptual models. In: IEEE 15th Conference on Business Informatics, CBI 2013, Vienna, Austria, July 15\u201318, 2013, pp. 250\u2013257 (2013). https:\/\/doi.org\/10.1109\/CBI.2013.42","DOI":"10.1109\/CBI.2013.42"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Polyvyanyy, A., Ouyang, C., Barros, A., van der Aalst, W.M.: Process querying: Enabling business intelligence through query-based process analytics. Decis. Support Syst. 100, 41\u201356 (2017). https:\/\/doi.org\/10.1016\/j.dss.2017.04.011. http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167923617300787. Smart Business Process Management","DOI":"10.1016\/j.dss.2017.04.011"},{"issue":"1","key":"5_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W Reisig","year":"1991","unstructured":"Reisig, W.: Petri nets and algebraic specifications. Theor. Comput. Sci. 80(1), 1\u201334 (1991)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR25","first-page":"1295","volume-title":"Proceedings der 13. Internationalen Tagung Wirtschaftsinformatik (WI 2017)","author":"DM Riehle","year":"2017","unstructured":"Riehle, D.M., H\u00f6henberger, S., Cording, R., Delfmann, P.: Live query \u2014 visualized process analysis. In: Leimeister, J.M., Brenner, W. (eds.) Proceedings der 13. Internationalen Tagung Wirtschaftsinformatik (WI 2017), pp. 1295\u20131298. St. Gallen, Switzerland (2017)"},{"key":"5_CR26","first-page":"334","volume-title":"Proceedings of the ER Forum 2017 and the ER 2017 Demo Track, CEUR Workshop Proceedings","author":"DM Riehle","year":"2017","unstructured":"Riehle, D.M., H\u00f6henberger, S., Brunk, J., Delfmann, P., Becker, J.: [\u03b5m] \u2014 process analysis using a meta modeling tool. In: Cabanillas, C., Espa\u00f1a, S., Farshidi, S. (eds.) Proceedings of the ER Forum 2017 and the ER 2017 Demo Track, CEUR Workshop Proceedings, vol. 1979, pp. 334\u2013337. Valencia, Spain (2017)"},{"issue":"2","key":"5_CR27","first-page":"24","volume":"28","author":"S Rinderle-Ma","year":"2008","unstructured":"Rinderle-Ma, S., Ly, L.T., Dadam, P.: Business process compliance (Aktuelles Schlagwort). EMISA Forum 28(2), 24\u201329 (2008)","journal-title":"EMISA Forum"},{"key":"5_CR28","first-page":"6","volume":"2","author":"N Russell","year":"2006","unstructured":"Russell, N., ter Hofstede, A.H.M, van der Aalst, W.M.P, Mulyar, N.: Workflow control-flow patterns: A revised view. BPM Center Rep. 2, 6\u201322 (2006)","journal-title":"BPM Center Rep."},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Sadiq, S., Governatori, G., Namiri, K.: Modeling control objectives for business process compliance. In: Proceedings of the 5th International Conference on Business Process Management (BPM), pp. 149\u2013164. Brisbane, Australia (2007)","DOI":"10.1007\/978-3-540-75183-0_12"},{"key":"5_CR30","unstructured":"Scheer, A.W.: ARIS\u2014Business Process Modeling. Springer Science & Business Media (2012)"},{"key":"5_CR31","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-3-642-16985-4_29","volume-title":"Current Trends in Web Engineering","author":"D Schumm","year":"2010","unstructured":"Schumm, D., Turetken, O., Kokash, N., Elgammal, A., Leymann, F., van den Heuvel, W.J.: Business process compliance through reusable units of compliant processes. In: Daniel, F., Facca, F.M. (eds.) Current Trends in Web Engineering, pp. 325\u2013337. Springer, Berlin\/Heidelberg, Germany (2010)"},{"key":"5_CR32","unstructured":"Steinhorst, M., Delfmann, P., Becker, J.: vGMQL - introducing a visual notation for the generic model query language GMQL. In: PoEM (2013)"},{"issue":"1","key":"5_CR33","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"WM Van der Aalst","year":"2003","unstructured":"Van der Aalst, W.M., Ter Hofstede, A.H., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases 14(1), 5\u201351 (2003)","journal-title":"Distrib. Parallel Databases"},{"issue":"5","key":"5_CR34","doi-asserted-by":"publisher","first-page":"787","DOI":"10.1108\/14637151111166187","volume":"17","author":"A Winkelmann","year":"2011","unstructured":"Winkelmann, A., Wei\u00df, B.: Automatic identification of structural process weaknesses in flow chart diagrams. Bus. Process Manag. J. 17(5), 787\u2013807 (2011)","journal-title":"Bus. Process Manag. J."}],"container-title":["Process Querying Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-92875-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T17:16:39Z","timestamp":1650906999000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-92875-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,3]]},"ISBN":["9783030928742","9783030928759"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-92875-9_5","relation":{},"subject":[],"published":{"date-parts":[[2021,12,3]]},"assertion":[{"value":"3 December 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}