{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:33:10Z","timestamp":1742920390059,"version":"3.40.3"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319639628"},{"type":"electronic","value":"9783319639628"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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-63962-8_108-1","type":"book-chapter","created":{"date-parts":[[2018,5,22]],"date-time":"2018-05-22T06:39:00Z","timestamp":1526971140000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Business Process Querying"],"prefix":"10.1007","author":[{"given":"Artem","family":"Polyvyanyy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,24]]},"reference":[{"key":"108-1_CR1","unstructured":"Awad A (2007) BPMN-Q: a language to query business processes. In: Enterprise modelling and information systems architectures, GI. Lecture notes in informatics, vol P-119. pp 115\u2013128"},{"key":"108-1_CR2","doi-asserted-by":"crossref","unstructured":"Awad A, Decker G, Weske M (2008) Efficient compliance checking using BPMN-Q and temporal logic. In: Business process management. Lecture notes in computer science, vol 5240. Springer, Berlin, pp 326\u2013341. https:\/\/doi.org\/10.1007\/978-3-540-85758-7_24","DOI":"10.1007\/978-3-540-85758-7_24"},{"key":"108-1_CR3","doi-asserted-by":"crossref","unstructured":"Awad A, Weidlich M, Weske M (2011) Visually specifying compliance rules and explaining their violations for business processes. J Vis Lang Comput 22(1):30\u201355. https:\/\/doi.org\/10.1016\/j.jvlc.2010.11.002","DOI":"10.1016\/j.jvlc.2010.11.002"},{"key":"108-1_CR4","unstructured":"Baier C, Katoen J (2008) Principles of model checking. MIT Press, Cambridge"},{"key":"108-1_CR5","unstructured":"Beeri C, Eyal A, Kamenkovich S, Milo T (2006) Querying business processes. In: Very large data bases. ACM, pp 343\u2013354"},{"key":"108-1_CR6","doi-asserted-by":"crossref","unstructured":"Beheshti S, Benatallah B, Nezhad HRM, Sakr S (2011) A query language for analyzing business processes execution. In: Business process management. Lecture notes in computer science, vol 6896. Springer, Berlin\/Heidelberg, pp 281\u2013297. https:\/\/doi.org\/10.1007\/978-3-642-23059-2_22","DOI":"10.1007\/978-3-642-23059-2_22"},{"key":"108-1_CR7","doi-asserted-by":"publisher","unstructured":"Choi I, Kim K, Jang M (2007) An XML-based process repository and process query language for integrated process management. Knowl Process Manag 14(4):303\u2013316. https:\/\/doi.org\/10.1002\/kpm.290","DOI":"10.1002\/kpm.290"},{"key":"108-1_CR8","doi-asserted-by":"crossref","unstructured":"de Murillas EGL, Reijers HA, van der Aalst WMP (2016) 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. https:\/\/doi.org\/10.1007\/978-3-319-58457-7_22","DOI":"10.1007\/978-3-319-58457-7_22"},{"key":"108-1_CR9","doi-asserted-by":"crossref","unstructured":"Delfmann P, Breuker D, Matzner M, Becker J (2015a) Supporting information systems analysis through conceptual model query \u2013 the diagramed model query language (DMQL). Commun Assoc Inf Syst 37:24","DOI":"10.17705\/1CAIS.03724"},{"key":"108-1_CR10","doi-asserted-by":"crossref","unstructured":"Delfmann P, Steinhorst M, Dietrich H, Becker J (2015b) The generic model query language GMQL \u2013 conceptual specification, implementation, and runtime evaluation. Inf Syst 47:129\u2013177. https:\/\/doi.org\/10.1016\/j.is.2014.06.003","DOI":"10.1016\/j.is.2014.06.003"},{"key":"108-1_CR11","doi-asserted-by":"crossref","unstructured":"Dumas M, Rosa ML, Mendling J, Reijers HA (2013) Fundamentals of business process management. Springer, Berlin\/Heidelberg. https:\/\/doi.org\/10.1007\/978-3-642-33143-5","DOI":"10.1007\/978-3-642-33143-5"},{"key":"108-1_CR12","doi-asserted-by":"crossref","unstructured":"Elgammal A, Turetken O, Heuvel WJ, Papazoglou M (2016) Formalizing and appling compliance patterns for business process compliance. Softw Syst Model 15(1):119\u2013146. https:\/\/doi.org\/10.1007\/s10270-014-0395-3","DOI":"10.1007\/s10270-014-0395-3"},{"key":"108-1_CR13","doi-asserted-by":"crossref","unstructured":"F\u00f6rster A, Engels G, Schattkowsky T (2005) Activity diagram patterns for modeling quality constraints in business processes. In: Model driven engineering languages and systems. Lecture notes in computer science, vol 3713. Springer, pp 2\u201316. https:\/\/doi.org\/10.1007\/11557432_2","DOI":"10.1007\/11557432_2"},{"key":"108-1_CR14","doi-asserted-by":"publisher","unstructured":"F\u00f6rster A, Engels G, Schattkowsky T, Straeten RVD (2007) Verification of business process quality constraints based on visual process patterns. In: Theoretical Aspects of Software Engineering. IEEE Computer Society, pp 197\u2013208. https:\/\/doi.org\/10.1109\/TASE.2007.56","DOI":"10.1109\/TASE.2007.56"},{"key":"108-1_CR15","doi-asserted-by":"crossref","unstructured":"Francescomarino CD, Tonella P (2008) Crosscutting concern documentation by visual query of business processes. In: Business process management. Lecture notes in business information processing, vol 17. Springer, Berlin\/Heidelberg, pp 18\u201331. https:\/\/doi.org\/10.1007\/978-3-642-00328-8_3","DOI":"10.1007\/978-3-642-00328-8_3"},{"key":"108-1_CR16","unstructured":"Hebeler J, Ryan B, Andrew Perez-Lopez MF, Dean M (2009) Semantic web programming, 1st edn. Wiley, Indianapolis"},{"key":"108-1_CR17","doi-asserted-by":"crossref","unstructured":"Jin T, Wang J, Wen L (2011) Querying business process models based on semantics. In: Database systems for advanced applications. Lecture notes in computer science, vol 6588. Springer, Berlin\/Heidelberg, pp 164\u2013178. https:\/\/doi.org\/10.1007\/978-3-642-20152-3_13","DOI":"10.1007\/978-3-642-20152-3_13"},{"key":"108-1_CR18","doi-asserted-by":"crossref","unstructured":"Kammerer K, Kolb J, Reichert M (2015) 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. Springer, pp 135\u2013150. https:\/\/doi.org\/10.1007\/978-3-319-19237-6_9","DOI":"10.1007\/978-3-319-19237-6_9"},{"key":"108-1_CR19","doi-asserted-by":"crossref","unstructured":"Knuplesch D, Reichert M (2017) A visual language for modeling multiple perspectives of business process compliance rules. Softw Syst Model 16(3):715\u2013736. https:\/\/doi.org\/10.1007\/s10270-016-0526-0","DOI":"10.1007\/s10270-016-0526-0"},{"key":"108-1_CR20","doi-asserted-by":"crossref","unstructured":"Liu Y, M\u00fcller S, Xu K (2007) A static compliance-checking framework for business process models. IBM Syst J 46(2):335\u2013362. https:\/\/doi.org\/10.1147\/sj.462.0335","DOI":"10.1147\/sj.462.0335"},{"key":"108-1_CR21","doi-asserted-by":"crossref","unstructured":"Ly LT, Rinderle-Ma S, Dadam P (2010) Design and verification of instantiable compliance rule graphs in process-aware information systems. In: Advanced information systems engineering. Lecture notes in computer science, vol 6051. Springer, Berlin\/Heidelberg, pp 9\u201323. https:\/\/doi.org\/10.1007\/978-3-642-13094-6_3","DOI":"10.1007\/978-3-642-13094-6_3"},{"key":"108-1_CR22","doi-asserted-by":"crossref","unstructured":"McMillan KL (1995) A technique of state space search based on unfolding. Formal Methods Syst Des 6(1):45\u201365. https:\/\/doi.org\/10.1007\/BF01384314","DOI":"10.1007\/BF01384314"},{"key":"108-1_CR23","doi-asserted-by":"crossref","unstructured":"Momotko M, Subieta K (2004) 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. Springer, Berlin\/Heidelberg, pp 306\u2013321. https:\/\/doi.org\/10.1007\/978-3-540-30204-9_21","DOI":"10.1007\/978-3-540-30204-9_21"},{"key":"108-1_CR24","unstructured":"\u00d8hrstr\u00f8m P, Hasle P (2007) Temporal Logic: from ancient ideas to artificial intelligence. Studies in linguistics and philosophy. Springer, Dordrecht"},{"key":"108-1_CR25","doi-asserted-by":"publisher","unstructured":"P\u00e9rez-\u00c1lvarez JM, L\u00f3pez MTG, Parody L, Gasca RM (2016) Process instance query language to include process performance indicators in DMN. In: IEEE enterprise distributed object computing workshops. IEEE Computer Society, pp 1\u20138. https:\/\/doi.org\/10.1109\/EDOCW.2016.7584381","DOI":"10.1109\/EDOCW.2016.7584381"},{"key":"108-1_CR26","doi-asserted-by":"crossref","unstructured":"Polyvyanyy A, Vanhatalo J, V\u00f6lzer H (2010) Simplified computation and generalization of the refined process structure tree. In: Web services and formal methods. Lecture notes in computer science, vol 6551. Springer, pp 25\u201341. https:\/\/doi.org\/10.1007\/978-3-642-19589-1_2","DOI":"10.1007\/978-3-642-19589-1_2"},{"key":"108-1_CR27","doi-asserted-by":"crossref","unstructured":"Polyvyanyy A, Weidlich M, Conforti R, Rosa ML, ter Hofstede AHM (2014) 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. Springer, pp 210\u2013232. https:\/\/doi.org\/10.1007\/978-3-319-07734-5_12","DOI":"10.1007\/978-3-319-07734-5_12"},{"key":"108-1_CR28","unstructured":"Polyvyanyy A, Corno L, Conforti R, Raboczi S, Rosa ML, Fortino G (2015) Process querying in Apromore. In: Business process management demo session, CEUR-WS.org, CEUR workshop proceedings, vol 1418, pp 105\u2013109"},{"key":"108-1_CR29","doi-asserted-by":"crossref","unstructured":"Polyvyanyy A, van der Aalst WMP, ter Hofstede AHM, Wynn MT (2017a) Impact-driven process model repair. ACM Trans Softw Eng Method 25(4):1\u201360. https:\/\/doi.org\/10.1145\/2980764","DOI":"10.1145\/2980764"},{"key":"108-1_CR30","doi-asserted-by":"crossref","unstructured":"Polyvyanyy A, Ouyang C, Barros A, van der Aalst WMP (2017b) Process querying: enabling business intelligence through query-based process analytics. Decis Support Syst 100:41\u201356. https:\/\/doi.org\/10.1016\/j.dss.2017.04.011","DOI":"10.1016\/j.dss.2017.04.011"},{"key":"108-1_CR31","doi-asserted-by":"crossref","unstructured":"Smith F, Missikoff M, Proietti M (2010) Ontology-based querying of composite services. In: Business system management and engineering. Lecture notes in computer science, vol 7350. Springer, Berlin\/Heidelberg, pp 159\u2013180. https:\/\/doi.org\/10.1007\/978-3-642-32439-0_10","DOI":"10.1007\/978-3-642-32439-0_10"},{"key":"108-1_CR32","unstructured":"Smullyan RM (1995) First-order logic. In: Dover (ed) Courier Corporation, Inc. New York"},{"key":"108-1_CR33","doi-asserted-by":"publisher","unstructured":"St\u00f6rrle H (2009) VMQL: A generic visual model query language. In: IEEE Visual languages and human-centric computing, IEEE computer society, pp 199\u2013206. https:\/\/doi.org\/10.1109\/VLHCC.2009.5295261","DOI":"10.1109\/VLHCC.2009.5295261"},{"key":"108-1_CR34","doi-asserted-by":"crossref","unstructured":"St\u00f6rrle H (2011) VMQL: a visual language for ad-hoc model querying. J Vis Lang Comput 22(1):3\u201329. https:\/\/doi.org\/10.1016\/j.jvlc.2010.11.004","DOI":"10.1016\/j.jvlc.2010.11.004"},{"key":"108-1_CR35","doi-asserted-by":"crossref","unstructured":"ter Hofstede AHM, Ouyang C, Rosa ML, Song L, Wang J, Polyvyanyy A (2013) APQL: a process-model query language. In: Asia Pacific business process management. Lecture notes in business information processing, vol 159. Springer, pp 23\u201338. https:\/\/doi.org\/10.1007\/978-3-319-02922-1_2","DOI":"10.1007\/978-3-319-02922-1_2"},{"key":"108-1_CR36","doi-asserted-by":"crossref","unstructured":"van der Aalst WMP (2016) Process mining \u2013 data science in action, 2nd edn. Springer, Berlin\/Heidelberg. https:\/\/doi.org\/10.1007\/978-3-662-49851-4","DOI":"10.1007\/978-3-662-49851-4"},{"key":"108-1_CR37","doi-asserted-by":"crossref","unstructured":"Subieta K (2009) Stack-based query language. In: Liu L (ed) Encyclopedia of database systems, Springer, New York, pp 2771\u20132772. https:\/\/doi.org\/10.1007\/978-0-387-39940-9_1115","DOI":"10.1007\/978-0-387-39940-9_1115"},{"key":"108-1_CR38","doi-asserted-by":"crossref","unstructured":"Wang J, Jin T, Wong RK, Wen L (2014) Querying business process model repositories \u2013 a survey of current approaches and issues. World Wide Web 17(3):427\u2013454. https:\/\/doi.org\/10.1007\/s11280-013-0210-z","DOI":"10.1007\/s11280-013-0210-z"},{"key":"108-1_CR39","doi-asserted-by":"crossref","unstructured":"Weske M (2012) Business process management \u2013 concepts, languages, architectures, 2nd edn. Springer, Berlin\/Heidelberg. https:\/\/doi.org\/10.1007\/978-3-642-28616-2","DOI":"10.1007\/978-3-642-28616-2"}],"container-title":["Encyclopedia of Big Data Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63962-8_108-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T02:54:53Z","timestamp":1557456893000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-63962-8_108-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319639628","9783319639628"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63962-8_108-1","relation":{},"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"24 April 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}