Synonyms
Definitions
Business process querying studies methods for managing, e.g., filtering and/or manipulating, repositories of models that describe observed and/or envisioned business processes and relationships between the business processes.
A process querying method is a technique that given a process repository and a process query systematically implements the query in the repository, where a process query is a (formal) instruction to manage a process repository.
Overview
This encyclopedia entry summarizes the state-of-the-art methods for (business) process querying proposed in the publications included in the literature reviews reported in Wang et al. (2014); Polyvyanyy et al. (2017b) and the related works discussed in the reviewed publications. The scope of this entry is limited to the methods for process querying that are based on special-purpose (programming) languages for capturing process querying instructions and...
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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–128
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–341. https://doi.org/10.1007/978-3-540-85758-7_24
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–55. https://doi.org/10.1016/j.jvlc.2010.11.002
Baier C, Katoen J (2008) Principles of model checking. MIT Press, Cambridge
Beeri C, Eyal A, Kamenkovich S, Milo T (2006) Querying business processes. In: Very large data bases. ACM, pp 343–354
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–297. https://doi.org/10.1007/978-3-642-23059-2_22
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–316. https://doi.org/10.1002/kpm.290
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–309. https://doi.org/10.1007/978-3-319-58457-7_22
Delfmann P, Breuker D, Matzner M, Becker J (2015a) Supporting information systems analysis through conceptual model query – the diagramed model query language (DMQL). Commun Assoc Inf Syst 37:24
Delfmann P, Steinhorst M, Dietrich H, Becker J (2015b) The generic model query language GMQL – conceptual specification, implementation, and runtime evaluation. Inf Syst 47:129–177. https://doi.org/10.1016/j.is.2014.06.003
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
Elgammal A, Turetken O, Heuvel WJ, Papazoglou M (2016) Formalizing and appling compliance patterns for business process compliance. Softw Syst Model 15(1):119–146. https://doi.org/10.1007/s10270-014-0395-3
Förster 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–16. https://doi.org/10.1007/11557432_2
Förster 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–208. https://doi.org/10.1109/TASE.2007.56
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–31. https://doi.org/10.1007/978-3-642-00328-8_3
Hebeler J, Ryan B, Andrew Perez-Lopez MF, Dean M (2009) Semantic web programming, 1st edn. Wiley, Indianapolis
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–178. https://doi.org/10.1007/978-3-642-20152-3_13
Kammerer K, Kolb J, Reichert M (2015) PQL – 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–150. https://doi.org/10.1007/978-3-319-19237-6_9
Knuplesch D, Reichert M (2017) A visual language for modeling multiple perspectives of business process compliance rules. Softw Syst Model 16(3):715–736. https://doi.org/10.1007/s10270-016-0526-0
Liu Y, Müller S, Xu K (2007) A static compliance-checking framework for business process models. IBM Syst J 46(2):335–362. https://doi.org/10.1147/sj.462.0335
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–23. https://doi.org/10.1007/978-3-642-13094-6_3
McMillan KL (1995) A technique of state space search based on unfolding. Formal Methods Syst Des 6(1):45–65. https://doi.org/10.1007/BF01384314
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–321. https://doi.org/10.1007/978-3-540-30204-9_21
Øhrstrøm P, Hasle P (2007) Temporal Logic: from ancient ideas to artificial intelligence. Studies in linguistics and philosophy. Springer, Dordrecht
Pérez-Álvarez JM, López 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–8. https://doi.org/10.1109/EDOCW.2016.7584381
Polyvyanyy A, Vanhatalo J, Völzer 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–41. https://doi.org/10.1007/978-3-642-19589-1_2
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–232. https://doi.org/10.1007/978-3-319-07734-5_12
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–109
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–60. https://doi.org/10.1145/2980764
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–56. https://doi.org/10.1016/j.dss.2017.04.011
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–180. https://doi.org/10.1007/978-3-642-32439-0_10
Smullyan RM (1995) First-order logic. In: Dover (ed) Courier Corporation, Inc. New York
Störrle H (2009) VMQL: A generic visual model query language. In: IEEE Visual languages and human-centric computing, IEEE computer society, pp 199–206. https://doi.org/10.1109/VLHCC.2009.5295261
Störrle H (2011) VMQL: a visual language for ad-hoc model querying. J Vis Lang Comput 22(1):3–29. https://doi.org/10.1016/j.jvlc.2010.11.004
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–38. https://doi.org/10.1007/978-3-319-02922-1_2
van der Aalst WMP (2016) Process mining – data science in action, 2nd edn. Springer, Berlin/Heidelberg. https://doi.org/10.1007/978-3-662-49851-4
Subieta K (2009) Stack-based query language. In: Liu L (ed) Encyclopedia of database systems, Springer, New York, pp 2771–2772. https://doi.org/10.1007/978-0-387-39940-9_1115
Wang J, Jin T, Wong RK, Wen L (2014) Querying business process model repositories – a survey of current approaches and issues. World Wide Web 17(3):427–454. https://doi.org/10.1007/s11280-013-0210-z
Weske M (2012) Business process management – concepts, languages, architectures, 2nd edn. Springer, Berlin/Heidelberg. https://doi.org/10.1007/978-3-642-28616-2
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this entry
Cite this entry
Polyvyanyy, A. (2019). Business Process Querying. In: Sakr, S., Zomaya, A.Y. (eds) Encyclopedia of Big Data Technologies. Springer, Cham. https://doi.org/10.1007/978-3-319-77525-8_108
Download citation
DOI: https://doi.org/10.1007/978-3-319-77525-8_108
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-77524-1
Online ISBN: 978-3-319-77525-8
eBook Packages: Computer ScienceReference Module Computer Science and Engineering