Encyclopedia of Big Data Technologies

Living Edition
| Editors: Sherif Sakr, Albert Zomaya

Business Process Querying

  • Artem Polyvyanyy
Living reference work entry
DOI: https://doi.org/10.1007/978-3-319-63962-8_108-1



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.


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 to check access.


  1. 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–128Google Scholar
  2. 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
  3. 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
  4. Baier C, Katoen J (2008) Principles of model checking. MIT Press, CambridgeGoogle Scholar
  5. Beeri C, Eyal A, Kamenkovich S, Milo T (2006) Querying business processes. In: Very large data bases. ACM, pp 343–354Google Scholar
  6. 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
  7. 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
  8. 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
  9. 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:24Google Scholar
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. Hebeler J, Ryan B, Andrew Perez-Lopez MF, Dean M (2009) Semantic web programming, 1st edn. Wiley, IndianapolisGoogle Scholar
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. Øhrstrøm P, Hasle P (2007) Temporal Logic: from ancient ideas to artificial intelligence. Studies in linguistics and philosophy. Springer, DordrechtGoogle Scholar
  25. 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
  26. 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
  27. 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
  28. 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–109Google Scholar
  29. 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
  30. 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
  31. 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
  32. Smullyan RM (1995) First-order logic. In: Dover (ed) Courier Corporation, Inc. New YorkGoogle Scholar
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. Weske M (2012) Business process management – concepts, languages, architectures, 2nd edn. Springer, Berlin/Heidelberg. https://doi.org/10.1007/978-3-642-28616-2

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.The University of MelbourneParkvilleAustralia

Section editors and affiliations

  • Marlon Dumas
    • 1
  • Matthias Weidlich
    • 2
  1. 1.Institute of Computer ScienceUniversity of TartuTartuEstonia
  2. 2.Department of Computer ScienceHumboldt-Universität zu BerlinBerlinGermany