Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings

  • Artem Polyvyanyy
  • Marcello La Rosa
  • Arthur H. M. ter Hofstede
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8484)


Process-Aware Information Systems (PAISs) support executions of operational processes that involve people, resources, and software applications on the basis of process models. Process models describe vast, often infinite, amounts of process instances, e.g., workflows supported by the systems. With the increasing adoption of PAISs, large process model repositories emerged in companies and public organizations. These repositories constitute significant information resources. Accurate and efficient retrieval of process models and/or process instances from such repositories is interesting for multiple reasons, e.g., searching for similar models/instances, filtering, reuse, standardization, process compliance checking, verification of formal properties, etc. This paper proposes a technique for indexing process models that relies on their alternative representations, called untanglings. We show the use of untanglings for retrieval of process models based on process instances that they specify via a solution to the total executability problem. Experiments with industrial process models testify that the proposed retrieval approach is up to three orders of magnitude faster than the state of the art.


Model Check Business Process Model Process Instance Occurrence Sequence Transition Occurrence 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Process-Aware Information Systems: Bridging People and Software Through Process Technology. Wiley (2005)Google Scholar
  2. 2.
    Dumas, M., García-Bañuelos, L., La Rosa, M., Uba, R.: Fast detection of exact clones in business process model repositories. IS 38(4), 619–633 (2013)Google Scholar
  3. 3.
    Jin, T., Wang, J., La Rosa, M., ter Hofstede, A.H.M., Wen, L.: Efficient querying of large process model repositories. CII 64(1), 41–49 (2013)Google Scholar
  4. 4.
    Awad, A., Sakr, S., Kunze, M., Weske, M.: Design by selection: A reuse-based approach for business process modeling. In: Jeusfeld, M., Delcambre, L., Ling, T.-W. (eds.) ER 2011. LNCS, vol. 6998, pp. 332–345. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  5. 5.
    Governatori, G., Sadiq, S.: The Journey to Business Process Compliance. In: Handbook of Research on BPM, pp. 426–454. IGI Global (2009)Google Scholar
  6. 6.
    Tregear, R.: Business Process Standardization. In: Handbook on Business Process Management: Part II, pp. 307–327. Springer (2010)Google Scholar
  7. 7.
    Esparza, J., Heljanko, K.: Unfoldings – A Partial-Order Approach to Model Checking (2008)Google Scholar
  8. 8.
    Beeri, C., Eyal, A., Kamenkovich, S., Milo, T.: Querying business processes. In: VLDB, pp. 343–354. ACM (2006)Google Scholar
  9. 9.
    Awad, A., Sakr, S.: On efficient processing of BPMN-Q queries. CII 63(9), 867–881 (2012)Google Scholar
  10. 10.
    Yan, Z., Dijkman, R., Grefen, P.: FNet: An index for advanced business process querying. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol. 7481, pp. 246–261. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  11. 11.
    Dijkman, R.M., Dumas, M., van Dongen, B.F., Käärik, R., Mendling, J.: Similarity of business process models: Metrics and evaluation. IS 36(2), 498–516 (2011)Google Scholar
  12. 12.
    Jin, T., Wang, J., Wen, L.: Querying business process models based on semantics. In: Yu, J.X., Kim, M.H., Unland, R. (eds.) DASFAA 2011, Part II. LNCS, vol. 6588, pp. 164–178. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  13. 13.
    Kunze, M., Weidlich, M., Weske, M.: Behavioral similarity – A proper metric. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 166–181. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  14. 14.
    Lohmann, N., Verbeek, E., Dijkman, R.: Petri net transformations for business processes – A survey. In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II. LNCS, vol. 5460, pp. 46–63. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  15. 15.
    Goltz, U., Reisig, W.: The non-sequential behavior of Petri nets. IANDC 57(2/3) (1983)Google Scholar
  16. 16.
    Desel, J.: Validation of process models by construction of process nets. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 110–128. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  17. 17.
    Polyvyanyy, A., La Rosa, M., Ouyang, C., ter Hofstede, A.H.M.: Untanglings: A novel approach to analyzing concurrent systems (2013),
  18. 18.
    van Glabbeek, R.J., Vaandrager, F.W.: Petri net models for algebraic theories of concurrency. In: de Bakker, J.W., Nijman, A.J., Treleaven, P.C. (eds.) PARLE 1987. LNCS, vol. 259, pp. 224–242. Springer, Heidelberg (1987)CrossRefGoogle Scholar
  19. 19.
    Fahland, D., Favre, C., Koehler, J., Lohmann, N., Völzer, H., Wolf, K.: Analysis on demand: Instantaneous soundness checking of industrial business process models. DKE (5) (2011)Google Scholar
  20. 20.
    Awad, A., Polyvyanyy, A., Weske, M.: Semantic querying of business process models. In: EDOC, pp. 85–94. IEEE Computer Society (2008)Google Scholar
  21. 21.
    Polyvyanyy, A., Weidlich, M.: Towards a compendium of process technologies: The jBPT library for process model analysis. In: CAiSE Forum. CEUR, vol. 998 (2013)Google Scholar
  22. 22.
    Polyvyanyy, A., Weidlich, M., Conforti, R., La Rosa, M., ter Hofstede, A.H.M.: The 4C spectrum of fundamental behavioral relations for concurrent systems. In: Kindler, E. (ed.) PETRI NETS 2014. LNCS, vol. 8489, pp. 210–232. Springer, Heidelberg (2014)Google Scholar
  23. 23.
    ter Hofstede, A.H.M., Ouyang, C., La Rosa, M., Song, L., Wang, J., Polyvyanyy, A.: APQL: A process-model query language. In: Song, M., Wynn, M.T., Liu, J. (eds.) AP-BPM 2013. LNBIP, vol. 159, pp. 23–38. Springer, Heidelberg (2013)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Artem Polyvyanyy
    • 1
  • Marcello La Rosa
    • 1
    • 2
  • Arthur H. M. ter Hofstede
    • 1
    • 3
  1. 1.Queensland University of TechnologyBrisbaneAustralia
  2. 2.NICTA Queensland LabBrisbaneAustralia
  3. 3.Eindhoven University of TechnologyEindhovenThe Netherlands

Personalised recommendations