Skip to main content
Springer Nature Link
Log in

Logic-Based Approaches for Process Querying

  • Chapter
  • First Online:
Process Querying Methods

  • 776 Accesses

Abstract

Today, logic-based formalisms are supported by mature languages, tools, and technologies for querying formal models. In this chapter, we show how process querying can be achieved using these technologies. The main idea is to transform the information of a business process model into a logic-based formalism for which existing query languages can be used. More specifically, we show how Prolog and ontologies together with SPARQL can be used to query BPMN process models.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

Similar content being viewed by others

References

  1. Angles, R.: A comparison of current graph database models. In: 2012 IEEE 28th International Conference on Data Engineering Workshops, pp. 171–177 (2012). https://doi.org/10.1109/ICDEW.2012.31

  2. Baader, F., Calvanese, D., McGuinness, D., Patel-Schneider, P., Nardi, D.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press (2003)

    Google Scholar 

  3. Bergener, P., Delfmann, P., Weiß, B., Winkelmann, A.: Detecting potential weaknesses in business processes: An exploration of semantic pattern matching in process models. Bus. Process Manag. J. 21(1), 25–54 (2015)

    Article  Google Scholar 

  4. Cosmos: Azure Cosmos DB - Graph API (2018). https://docs.microsoft.com/en-us/azure/cosmos-db/graph-introduction

  5. Delfmann, P., Herwig, S., Lis, L.: Konfliktäre Bezeichnungen in Ereignisgesteuerten Prozessketten — Linguistische Analyse und Vorschlag eines Lösungsansatzes. In: EPK 2009 Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten. CEUR- Workshop Proceedings, vol. 554, pp. 178–194 (2009)

    Google Scholar 

  6. DSE: DSE Graph. DataStax Enterprise Graph (2018). https://www.datastax.com/products/datastax-enterprise-graph

  7. Fellbaum, C. (ed.): WordNet: An Electronic Lexical Database (Language, Speech, and Communication). The MIT Press (1998)

    Google Scholar 

  8. Feltracco, A., Jezek, E., Magnini, B.: Opposition relations among verb frames. In: Proceedings of The 3rd Workshop on EVENTS: Definition, Detection, Coreference, and Representation, pp. 16–24. Association for Computational Linguistics (2015)

    Google Scholar 

  9. GraphDB: GraphDB. An enterprise ready semantic graph database, compliant with W3C standards (2018). http://graphdb.ontotext.com/

  10. Gruhn, V., Laue, R.: Checking properties of business process models with logic programming. In: Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS) 2007, pp. 84–93. INSTICC Press (2007)

    Google Scholar 

  11. Gruhn, V., Laue, R.: Reducing the cognitive complexity of business process models. In: IEEE International Conference on Cognitive Informatics (2009)

    Google Scholar 

  12. Gruhn, V., Laue, R.: A heuristic method for detecting problems in business process models. Bus. Process Manag. J. 16(4) (2010)

    Google Scholar 

  13. Gruhn, V., Laue, R.: Detecting common errors in event-driven process chains by label analysis. Enterp. Modell. Inf. Syst. Archit. 6(1), 3–15 (2011)

    Google Scholar 

  14. Guarino, N., Oberle, D., Staab, S.: What Is an Ontology? pp. 1–17. Springer, Berlin, Heidelberg (2009)

    Google Scholar 

  15. Han, Z., Gong, P., Zhang, L., Ling, J., Huang, W.: Definition and detection of control-flow anti-patterns in process models. In: 37th Annual IEEE Computer Software and Applications Conference Workshops (COMPSACW), pp. 433–438 (2013)

    Google Scholar 

  16. Hunter, J., Wooldridge, M.: Inside MarkLogic server (2011)

    Google Scholar 

  17. International Organization for Standardization: Standard ISO/IEC 13211-1:1995: Information technology - Programming languages - Prolog. Tech. rep. (1995)

    Google Scholar 

  18. International Organization for Standardization: ISO 19510 International Standard - Information technology - Object Management Group Business Process Model and Notation. Tech. rep. (2013)

    Google Scholar 

  19. Janus: JanusGraph. Distributed graph database. (2018). http://janusgraph.org/

  20. Jena: Apache Jena - a free and open source Java framework for building semantic Web and linked data applications. (2018). https://jena.apache.org/index.html

  21. Koehler, J., Vanhatalo, J.: Process anti-patterns: How to avoid the common traps of business process modeling. IBM WebSphere Developer Tech. J. 10(2+4) (2007)

    Google Scholar 

  22. Laue, R., Mendling, J.: Structuredness and its significance for correctness of process models. Inf. Syst. E-Bus. Manag. 8(3), 287–307 (2010)

    Article  Google Scholar 

  23. Laue, R., Storch, A.: A flexible approach for validating i* models. In: Proceedings of the 5th International i* Workshop (2011)

    Google Scholar 

  24. Laue, R., Kühne, S., Gadatsch, A.: Evaluating the effect of feedback on syntactic errors for novice modellers. In: EPK 2009, Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, CEUR Workshop Proceedings (2009)

    Google Scholar 

  25. Laue, R., Koop, W., Gruhn, V.: Indicators for open issues in business process models. In: REFSQ. Lecture Notes in Computer Science, vol. 9619, pp. 102–116. Springer (2016)

    Google Scholar 

  26. Mendling, J., van der Aalst, W.M.P.: Advanced reduction rules for the verification of EPC business process models. In: SIGSAND-EUROPE. LNI, vol. 129, p. 129. GI (2008)

    Google Scholar 

  27. Neo4j: Neo4j graph platform (2018). https://neo4j.com/

  28. Nugues, P.M.: An Introduction to Language Processing with Perl and Prolog: An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German. Springer Publishing (2010)

    Google Scholar 

  29. Pittke, F., Leopold, H., Mendling, J.: When language meets language: Anti patterns resulting from mixing natural and modeling language. In: Business Process Management Workshops - BPM 2014, Lecture Notes in Business Information Processing, vol. 202, pp. 118–129. Springer (2014)

    Google Scholar 

  30. 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)

    Article  Google Scholar 

  31. Roa, J., Reynares, E., Caliusco, M.L., Villarreal, P.: Towards ontology-based anti-patterns for the verification of business process behavior. In: New Advances in Information Systems and Technologies, pp. 665–673. Springer (2016)

    Google Scholar 

  32. Roa, J., Reynares, E., Caliusco, M.L., Villarreal, P.D.: Ontology-based heuristics for process behavior: Formalizing false positive scenarios. In: Business Process Management Workshops - BPM 2016. Lecture Notes in Business Information Processing, vol. 281, pp. 106–117 (2016)

    Article  Google Scholar 

  33. Robinson, I., Webber, J., Eifrem, E.: Graph Databases. O’Reilly Media (2015)

    Google Scholar 

  34. Rospocher, M., Ghidini, C., Serafini, L.: An ontology for the business process modelling notation. In: Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, FOIS2014, September, 22–25, 2014, Rio de Janeiro, Brazil, vol. 267, pp. 133–146. IOS Press (2014). https://doi.org/10.3233/978-1-61499-438-1-133

  35. Shearer, R., Motik, B., Horrocks, I.: Hermit: A highly-efficient owl reasoner. In: Proceedings of 5th OWL Experienced and Directions Workshop (OWLED 2008), vol. 432, p. 91 (2008)

    Google Scholar 

  36. Studer, R., Benjamins, V.R., Fensel, D., et al.: Knowledge engineering: principles and methods. Data Knowl. Eng. 25(1), 161–198 (1998)

    Article  Google Scholar 

  37. Trčka, N., van der Aalst, W.M.P., Sidorova, N.: Data-flow anti-patterns: Discovering data-flow errors in workflows. In: 21st International Conference on Advanced Information Systems Engineering (CAiSE), pp. 425–439. Springer (2009)

    Google Scholar 

  38. van der Aalst, W.M.P.: Verification of workflow nets. In: Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN ’97, Toulouse, France, June 23–27, 1997, Proceedings, pp. 407–426 (1997)

    Google Scholar 

  39. van Dongen, B., Mendling, J., van der Aalst, W.: Structural patterns for soundness of business process models. In: Enterprise Distributed Object Computing Conference, 2006. EDOC ’06. 10th IEEE International, pp. 116–128 (2006)

    Google Scholar 

  40. World Wide Web Consortium: W3C Recommendation: SPARQL 1.1. Tech. rep. (2013)

    Google Scholar 

  41. Yu, E., Giorgini, P., Maiden, N., Mylopoulos, J.: Social Modeling for Requirements Engineering. MIT Press (2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Applied Sciences Zwickau, Zwickau, Germany

    Ralf Laue

  2. Facultad Regional Santa Fe, Universidad Tecnológica Nacional, Santa Fe, Argentina

    Jorge Roa, Emiliano Reynares, María Laura Caliusco & Pablo Villarreal

Authors
  1. Ralf Laue
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jorge Roa
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Emiliano Reynares
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. María Laura Caliusco
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Pablo Villarreal
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jorge Roa .

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

Laue, R., Roa, J., Reynares, E., Caliusco, M.L., Villarreal, P. (2022). Logic-Based Approaches for Process Querying. In: Polyvyanyy, A. (eds) Process Querying Methods. Springer, Cham. https://doi.org/10.1007/978-3-030-92875-9_15

Download citation

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

  • 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