{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T23:28:02Z","timestamp":1768260482508,"version":"3.49.0"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030928742","type":"print"},{"value":"9783030928759","type":"electronic"}],"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_18","type":"book-chapter","created":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T17:04:00Z","timestamp":1650906240000},"page":"511-524","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Process Querying: Methods, Techniques, and Applications"],"prefix":"10.1007","author":[{"given":"Artem","family":"Polyvyanyy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,12,3]]},"reference":[{"issue":"4","key":"18_CR1","doi-asserted-by":"publisher","first-page":"1139","DOI":"10.1007\/s10270-016-0546-9","volume":"17","author":"V Acretoaie","year":"2018","unstructured":"Acretoaie, V., St\u00f6rrle, H., Str\u00fcber, D.: VMTL: A language for end-user model transformation. Softw. Syst. Model. 17(4), 1139\u20131167 (2018). https:\/\/doi.org\/10.1007\/s10270-016-0546-9","journal-title":"Softw. Syst. Model."},{"key":"18_CR2","unstructured":"Baier, C., Katoen, J.: Principles of Model Checking. MIT Press (2008)"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Beheshti, S., Benatallah, B., Nezhad, H.R.M., Sakr, S.: A query language for analyzing business processes execution. In: Business Process Management. Lecture Notes in Computer Science, vol. 6896, pp. 281\u2013297. Springer, Berlin, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23059-2_22","DOI":"10.1007\/978-3-642-23059-2_22"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Beheshti, S., Benatallah, B., Nezhad, H.R.M.: Enabling the analysis of cross-cutting aspects in ad-hoc processes. In: Advanced Information Systems Engineering. Lecture Notes in Computer Science, vol. 7908, pp. 51\u201367. Springer (2013). https:\/\/doi.org\/10.1007\/978-3-642-38709-8_4","DOI":"10.1007\/978-3-642-38709-8_4"},{"issue":"3","key":"18_CR5","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/s10619-014-7171-9","volume":"34","author":"S Beheshti","year":"2016","unstructured":"Beheshti, S., Benatallah, B., Motahari-Nezhad, H.R.: Scalable graph-based OLAP analytics over process execution data. Distrib. Parallel Databases 34(3), 379\u2013423 (2016). https:\/\/doi.org\/10.1007\/s10619-014-7171-9","journal-title":"Distrib. Parallel Databases"},{"issue":"4","key":"18_CR6","doi-asserted-by":"publisher","first-page":"842","DOI":"10.1002\/spe.2558","volume":"48","author":"A Beheshti","year":"2018","unstructured":"Beheshti, A., Benatallah, B., Motahari-Nezhad, H.R.: ProcessAtlas: A scalable and extensible platform for business process analytics. Softw. Pract. Exp. 48(4), 842\u2013866 (2018). https:\/\/doi.org\/10.1002\/spe.2558","journal-title":"Softw. Pract. Exp."},{"key":"18_CR7","unstructured":"Date, C., Darwen, H.: A Guide to the SQL Standard: A User\u2019s Guide to the Standard Database Language SQL. Addison-Wesley (1997)"},{"key":"18_CR8","first-page":"296","volume":"281","author":"EGL de Murillas","year":"2016","unstructured":"de Murillas, E.G.L., Reijers, H.A., van der Aalst, W.M.P.: Everything you always wanted to know about your process, but did not know how to ask. In: Business Process Management Workshops: Process Querying. Lecture Notes in Business Information Processing, vol. 281, pp. 296\u2013309 (2016). https:\/\/doi.org\/10.1007\/978-3-319-58457-7_22","journal-title":"In: Business Process Management Workshops: Process Querying. Lecture Notes in Business Information Processing"},{"issue":"2","key":"18_CR9","first-page":"1209","volume":"18","author":"EGL de Murillas","year":"2018","unstructured":"de Murillas, E.G.L., Reijers, H.A., van der Aalst, W.M.P.: Connecting databases with process mining: a meta model and toolset. Softw. Syst. Model. 18(2), 1209\u20131247 (2018). https:\/\/doi.org\/10.1007\/s10270-018-0664-7","journal-title":"Softw. Syst. Model."},{"key":"18_CR10","first-page":"24","volume":"37","author":"P Delfmann","year":"2015","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)","journal-title":"Commun. Assoc. Inf. Syst."},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Dumas, M., Rosa, M.L., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management, 2nd edn. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-662-56509-4","DOI":"10.1007\/978-3-662-56509-4"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering - ICSE '99, pp. 411\u2013420. ACM Press (1999). https:\/\/doi.org\/10.1145\/302405.302672","DOI":"10.1145\/302405.302672"},{"issue":"1","key":"18_CR13","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., Heuvel, W.J., Papazoglou, M.: Formalizing and applying compliance patterns for business process compliance. Softw. Syst. Model. 15(1), 119\u2013146 (2016). https:\/\/doi.org\/10.1007\/s10270-014-0395-3","journal-title":"Softw. Syst. Model."},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Francescomarino, C.D., Tonella, P.: Crosscutting concern documentation by visual query of business processes. In: Business Process Management Workshops. Lecture Notes in Business Information Processing, vol. 17, pp. 18\u201331. Springer, Berlin, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-642-00328-8_3","DOI":"10.1007\/978-3-642-00328-8_3"},{"key":"18_CR15","unstructured":"Hebeler, J., Fisher, M., Blace, R., Perez-Lopez, A., Dean, M.: Semantic Web Programming, 1st edn. Wiley (2009)"},{"issue":"5","key":"18_CR16","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"GJ Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Trans. Softw. Eng. 23(5), 279\u2013295 (1997). https:\/\/doi.org\/10.1109\/32.588521","journal-title":"IEEE Trans. Softw. Eng."},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Kammerer, K., Kolb, J., Reichert, M.: PQL \u2013 A descriptive language for querying, abstracting and changing process models. In: Enterprise, Business-Process and Information Systems Modeling. Lecture Notes in Business Information Processing, vol. 214, pp. 135\u2013150. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-19237-6_9","DOI":"10.1007\/978-3-319-19237-6_9"},{"key":"18_CR18","unstructured":"Momotko, M.: Tools for monitoring workflow processes to support dynamic workflow changes. Ph.D. thesis, Polish Academy of Sciences (2005)"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Momotko, M., Subieta, K.: Process query language: A way to make workflow processes more flexible. In: Advances in Databases and Information Systems. Lecture Notes in Computer Science, vol. 3255, pp. 306\u2013321. Springer Berlin Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30204-9_21","DOI":"10.1007\/978-3-540-30204-9_21"},{"key":"18_CR20","unstructured":"Ohrstrom, P., Hasle, P.F.V.: Temporal Logic: From Ancient Ideas to Artificial Intelligence. Studies in Linguistics and Philosophy. Springer Netherlands (2007)"},{"key":"18_CR21","unstructured":"Panzarino, O.: Learning Cypher. Packt Publishing (2014)"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"Polyvyanyy, A.: Business process querying. In: Encyclopedia of Big Data Technologies. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-319-63962-8_108-1. https:\/\/doi.org\/10.1007\/978-3-319-63962-8_108-1","DOI":"10.1007\/978-3-319-63962-8_108-1"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"Polyvyanyy, A., Vanhatalo, J., V\u00f6lzer, H.: Simplified computation and generalization of the refined process structure tree. In: Web Services and Formal Methods. Lecture Notes in Computer Science, vol. 6551, pp. 25\u201341. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-19589-1_2","DOI":"10.1007\/978-3-642-19589-1_2"},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"Polyvyanyy, A., Weidlich, M., Conforti, R., Rosa, M.L., ter Hofstede, A.H.M.: The 4C spectrum of fundamental behavioral relations for concurrent systems. In: Application and Theory of Petri Nets and Concurrency. Lecture Notes in Computer Science, vol. 8489, pp. 210\u2013232. Springer International Publishing (2014). https:\/\/doi.org\/10.1007\/978-3-319-07734-5_12","DOI":"10.1007\/978-3-319-07734-5_12"},{"key":"18_CR25","doi-asserted-by":"publisher","unstructured":"P\u00e9rez-\u00c1lvarez, J.M., L\u00f3pez, M.T.G., Parody, L., Gasca, R.M.: Process instance query language to include process performance indicators in DMN. In: IEEE Enterprise Distributed Object Computing Workshops, pp. 1\u20138. IEEE Computer Society (2016). https:\/\/doi.org\/10.1109\/EDOCW.2016.7584381","DOI":"10.1109\/EDOCW.2016.7584381"},{"key":"18_CR26","unstructured":"Polyvyanyy, A., Corno, L., Conforti, R., Raboczi, S., Rosa, M.L., Fortino, G.: Process querying in Apromore. In: Business Process Management Demo Session. CEUR Workshop Proceedings, vol. 1418, pp. 105\u2013109. CEUR-WS.org (2015)"},{"issue":"4","key":"18_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2980764","volume":"25","author":"A Polyvyanyy","year":"2017","unstructured":"Polyvyanyy, A., van der Aalst, W.M.P., ter Hofstede, A.H.M., Wynn, M.T.: Impact-driven process model repair. ACM Trans. Softw. Eng. Methodol. 25(4), 1\u201360 (2017). https:\/\/doi.org\/10.1145\/2980764","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"18_CR28","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.dss.2017.04.011","volume":"100","author":"A Polyvyanyy","year":"2017","unstructured":"Polyvyanyy, A., Ouyang, C., Barros, A., van der Aalst, W.M.P.: 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","journal-title":"Decis. Support Syst."},{"key":"18_CR29","unstructured":"Polyvyanyy, A., ter Hofstede, A.H.M., Rosa, M.L., Ouyang, C., Pika, A.: Process query language: Design, implementation, and evaluation. CoRR abs\/1909.09543 (2019)"},{"key":"18_CR30","doi-asserted-by":"publisher","first-page":"101,563","DOI":"10.1016\/j.is.2020.101563","volume":"93","author":"A Polyvyanyy","year":"2020","unstructured":"Polyvyanyy, A., Pika, A., ter Hofstede, A.H.M.: Scenario-based process querying for compliance, reuse, and standardization. Inf. Syst. 93, 101,563 (2020)","journal-title":"Inf. Syst."},{"key":"18_CR31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-40172-6","volume-title":"Process Mining in Action: Principles","author":"L Reinkemeyer","year":"2020","unstructured":"Reinkemeyer, L.: Process Mining in Action: Principles, Use Cases and Outlook. Springer International Publishing (2020). https:\/\/books.google.com.au\/books?id=OrHWDwAAQBAJ"},{"key":"18_CR32","unstructured":"Robinson, I., Webber, J., Eifrem, E.: Graph Databases. O\u2019Reilly (2013)"},{"key":"18_CR33","doi-asserted-by":"crossref","unstructured":"Smith, F., Proietti, M.: Rule-based behavioral reasoning on semantic business processes. In: International Conference on Agents and Artificial Intelligence, pp. 130\u2013143. SciTePress (2013)","DOI":"10.5220\/0004255001300143"},{"key":"18_CR34","unstructured":"Smith, F., Proietti, M.: Ontology-based representation and reasoning on process models: A logic programming approach. CoRR abs\/1410.1776 (2014)"},{"key":"18_CR35","doi-asserted-by":"crossref","unstructured":"Smith, F., Missikoff, M., Proietti, M.: Ontology-based querying of composite services. In: Business System Management and Engineering. Lecture Notes in Computer Science, vol. 7350, pp. 159\u2013180. Springer, Berlin, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-32439-0_10","DOI":"10.1007\/978-3-642-32439-0_10"},{"key":"18_CR36","unstructured":"Smullyan, R.M.: First-Order Logic. Courier Corporation (1995)"},{"key":"18_CR37","doi-asserted-by":"publisher","unstructured":"St\u00f6rrle, H.: VMQL: A generic visual model query language. In: IEEE Visual Languages and Human-Centric Computing, pp. 199\u2013206. IEEE Computer Society (2009). https:\/\/doi.org\/10.1109\/VLHCC.2009.5295261","DOI":"10.1109\/VLHCC.2009.5295261"},{"issue":"1","key":"18_CR38","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jvlc.2010.11.004","volume":"22","author":"H St\u00f6rrle","year":"2011","unstructured":"St\u00f6rrle, H.: VMQL: A visual language for ad-hoc model querying. J. Vis. Lang. Comput. 22(1), 3\u201329 (2011). https:\/\/doi.org\/10.1016\/j.jvlc.2010.11.004","journal-title":"J. Vis. Lang. Comput."},{"key":"18_CR39","doi-asserted-by":"crossref","unstructured":"Subieta, K.: Stack-based query language. In: Encyclopedia of Database Systems, pp. 2771\u20132772. Springer US (2009). https:\/\/doi.org\/10.1007\/978-0-387-39940-9_1115","DOI":"10.1007\/978-0-387-39940-9_1115"},{"key":"18_CR40","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Process Mining \u2013 Data Science in Action, 2nd edn. Springer, Berlin, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49851-4","DOI":"10.1007\/978-3-662-49851-4_1"},{"key":"18_CR41","doi-asserted-by":"crossref","unstructured":"Vogelgesang, T., Ambrosy, J., Becher, D., Seilbeck, R., Geyer-Klingeberg, J., Klenk, M.: Celonis PQL: A Query Language for Process Mining. Springer (2020). (In Press)","DOI":"10.1007\/978-3-030-92875-9_13"},{"key":"18_CR42","doi-asserted-by":"crossref","unstructured":"Weske, M.: Business Process Management: Concepts, Languages, Architectures, 3rd edn. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-662-59432-2","DOI":"10.1007\/978-3-662-59432-2_1"}],"container-title":["Process Querying Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-92875-9_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,22]],"date-time":"2024-09-22T22:47:13Z","timestamp":1727045233000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-92875-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,3]]},"ISBN":["9783030928742","9783030928759"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-92875-9_18","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"}}]}}