Skip to main content
SpringerLink
Log in

Introduction to Process Querying

  • Chapter
  • First Online:
Process Querying Methods

  • 639 Accesses

Abstract

This chapter gives a brief introduction to the research area of process querying. Concretely, it articulates the motivation and aim of process querying, gives a definition of process querying, presents the core artifacts studied in process querying, and discusses a framework for guiding the design, implementation, and evaluation of methods for process querying.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 99.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 129.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 129.00
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Apt, K.R., Francez, N., Katz, S.: Appraising fairness in languages for distributed programming. Distrib. Comput. 2(4), 226–241 (1988)

    Article  Google Scholar 

  2. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press (2008)

    Google Scholar 

  3. Banks, J., II, J.S.C., Nelson, B.L., Nicol, D.M.: Discrete-Event System Simulation, 5th edn. Pearson Education (2010)

    Google Scholar 

  4. Dumas, M., Rosa, M.L., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management, Second Edition. Springer (2018)

    Book  Google Scholar 

  5. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE, pp. 411–420. ACM (1999)

    Google Scholar 

  6. Esparza, J.: Decidability and complexity of Petri net problems—an introduction. In: Petri Nets, LNCS, vol. 1491, pp. 374–428. Springer (1996)

    Google Scholar 

  7. Esparza, J., Nielsen, M.: Decidability issues for Petri nets—a survey. Bull. EATCS 52, 244–262 (1994)

    Google Scholar 

  8. Kindler, E., van der Aalst, W.M.P.: Liveness, fairness, and recurrence in Petri nets. Inf. Process. Lett. 70(6), 269–274 (1999)

    Article  Google Scholar 

  9. Leemans, S.J., van der Aalst, W.M., Brockhoff, T., Polyvyanyy, A.: Stochastic process mining: Earth movers’ stochastic conformance. Information Systems, 101724 (2021). https://doi.org/10.1016/j.is.2021.101724

  10. Lindland, O.I., Sindre, G., Sølvberg, A.: Understanding quality in conceptual modeling. IEEE Softw. 11(2), 42–49 (1994)

    Article  Google Scholar 

  11. Meyer, B.: Introduction to the Theory of Programming Languages. Prentice-Hall (1990)

    Google Scholar 

  12. Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains, Part I. Theor. Comput. Sci. 13, 85–108 (1981)

    Article  Google Scholar 

  13. Polyvyanyy, A.: Business process querying. In: Encyclopedia of Big Data Technologies. Springer (2019)

    Google Scholar 

  14. 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–56 (2017). https://doi.org/10.1016/j.dss.2017.04.011

    Article  Google Scholar 

  15. Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems, chap. Business Process Compliance, pp. 297–317. Springer (2012)

    Google Scholar 

  16. Reisig, W.: Understanding Petri Nets—Modeling Techniques, Analysis Methods, Case Studies. Springer (2013)

    Book  Google Scholar 

  17. Sipser, M.: Introduction to the Theory of Computation, 3rd edn. Cengage Learning (2012)

    Google Scholar 

  18. Valk, R., Vidal-Naquet, G.: Petri nets and regular languages. J. Comput. Syst. Sci. 23(3), 299–325 (1981)

    Article  Google Scholar 

  19. van der Aalst, W.M.P.: Process Mining—Data Science in Action, 2nd edn. Springer (2016)

    Google Scholar 

  20. van der Aalst, W.M.P., Adriansyah, A., van Dongen, B.F.: Replaying history on process models for conformance checking and performance analysis. Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery 2(2), 182–192 (2012). https://doi.org/10.1002/widm.1045

    Google Scholar 

  21. van der Aalst, W.M.P., Stahl, C.: Modeling Business Processes—A Petri Net-Oriented Approach. MIT Press (2011)

    Google Scholar 

  22. Weske, M.: Business Process Management - Concepts, Languages, Architectures, 3rd edn. Springer (2019)

    Google Scholar 

  23. White, R.W., Roth, R.A.: Exploratory Search: Beyond the Query-Response Paradigm. Morgan & Claypool Publishers (2009)

    Google Scholar 

Download references

Acknowledgements

Artem Polyvyanyy wants to thank Chun Ouyang, Alistair Barros, and Wil van der Aalst with whom he worked together to shape the concept of process querying and to design and validate the Process Querying Framework.

Author information

Authors and Affiliations

  1. School of Computing and Information Systems, Faculty of Engineering and Information Technology, The University of Melbourne, Melbourne, VIC, Australia

    Artem Polyvyanyy

Authors
  1. Artem Polyvyanyy
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Artem Polyvyanyy .

Editor information

Editors and Affiliations

  1. School of Computing and Information Systems, The University of Melbourne, Melbourne, VIC, Australia

    Artem Polyvyanyy

Rights and permissions

Reprints and permissions

Copyright information

© 2022 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Polyvyanyy, A. (2022). Introduction to Process Querying. In: Polyvyanyy, A. (eds) Process Querying Methods. Springer, Cham. https://doi.org/10.1007/978-3-030-92875-9_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-92875-9_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-92874-2

  • Online ISBN: 978-3-030-92875-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation