Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Business Process Modeling, Development and Support

International Conference on Exploring Modeling Methods for Systems Analysis and Design

BPMDS 2015, EMMSAD 2015: Enterprise, Business-Process and Information Systems Modeling pp 119–134Cite as

Matching of Events and Activities - An Approach Using Declarative Modeling Constraints

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 214))

Abstract

Nowadays, business processes are increasingly supported by IT services that produce massive amounts of event data during the execution of a process. This event data can be used to analyze the process using process mining techniques to discover the real process, measure conformance to a given process model, or to enhance existing models with performance information. Mapping the produced events to activities of a given process model is essential for conformance checking, annotation and understanding of process mining results. In order to accomplish this mapping with low manual effort, we developed a semi-automatic approach that maps events to activities using the solution of a corresponding constraint satisfaction problem. The approach extracts Declare constraints from both the log and the model to build matching constraints to efficiently reduce the number of possible mappings. The evaluation with an industry process model collection and simulated event logs demonstrates the effectiveness of the approach and its robustness towards non-conforming execution logs.

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. van der Aalst, W.M.P.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN, LNCS, vol. 1248, pp. 407–426. Springer (1997)

    Google Scholar 

  2. van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes, 1st edn. Springer (2011)

    Google Scholar 

  3. van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 1–23. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  4. Baier, T., Mendling, J.: Bridging Abstraction Layers in Process Mining: Event to Activity Mapping. In: Nurcan, S., Proper, H.A., Soffer, P., Krogstie, J., Schmidt, R., Halpin, T., Bider, I. (eds.) BPMDS 2013 and EMMSAD 2013. LNBIP, vol. 147, pp. 109–123. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  5. Baier, T., Mendling, J., Weske, M.: Bridging abstraction layers in process mining. Information Systems 46, 123–139 (2014)

    Article  Google Scholar 

  6. Baier, T., Rogge-Solti, A., Weske, M., Mendling, J.: Matching of Events and Activities - An Approach Based on Constraint Satisfaction. In: Frank, U., Loucopoulos, P., Pastor, Ó., Petrounias, I. (eds.) PoEM 2014. LNBIP, vol. 197, pp. 58–72. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

  7. Cook, D.J., Krishnan, N.C., Rashidi, P.: Activity discovery and activity recognition: A new partnership. IEEE T. Cybernetics 43(3), 820–828 (2013)

    Article  Google Scholar 

  8. Di Ciccio, C., Mecella, M.: Mining artful processes from knowledge workers’ emails. IEEE Internet Computing 17(5), 10–20 (2013)

    Article  Google Scholar 

  9. Di Ciccio, C., Mecella, M.: On the discovery of declarative control flows for artful processes. ACM Trans. Manage. Inf. Syst. 5(4), 24:1–24:37 (2015)

    Google Scholar 

  10. Dijkman, R.M., Dumas, M., van Dongen, B.F., Käärik, R., Mendling, J.: Similarity of Business Process Models: Metrics and Evaluation. Information Systems 36(2), 498–516 (2011)

    Article  Google Scholar 

  11. Euzenat, J., Shvaiko, P.: Ontology Matching. Springer (2007)

    Google Scholar 

  12. Fahland, D., Favre, C., Koehler, J., Lohmann, N., Völzer, H., Wolf, K.: Analysis on demand: Instantaneous soundness checking of industrial business process models. Data & Knowledge Engineering 70(5), 448–466 (2011)

    Article  Google Scholar 

  13. Freuder, E., Mackworth, A.: Handbook of Constraint Programming, Foundations of Artificial Intelligence, vol. 2, ch. Constraint satisfaction: An emerging paradigm, pp. 13–27. Elsevier (2006)

    Google Scholar 

  14. Günther, C.W., van der Aalst, W.M.P.: Mining activity clusters from low-level event logs. In: BETA Working Paper Series. vol. WP 165. Eindhoven University of Technology (2006)

    Google Scholar 

  15. Günther, C.W., van der Aalst, W.M.P.: Fuzzy Mining – Adaptive Process Simplification Based on Multi-perspective Metrics. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 328–343. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  16. Günther, C.W., Rozinat, A., van der Aalst, W.M.P.: Activity Mining by Global Trace Segmentation. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds.) BPM 2009. LNBIP, vol. 43, pp. 128–139. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  17. Klinkmüller, C., Weber, I., Mendling, J., Leopold, H., Ludwig, A.: Increasing Recall of Process Model Matching by Improved Activity Label Matching. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 211–218. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  18. Leopold, H., Niepert, M., Weidlich, M., Mendling, J., Dijkman, R., Stuckenschmidt, H.: Probabilistic Optimization of Semantic Process Model Matching. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol. 7481, pp. 319–334. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  19. Li, J., Bose, R.P.J.C., van der Aalst, W.M.P.: Mining Context-Dependent and Interactive Business Process Maps Using Execution Patterns. In: Muehlen, M., Su, J. (eds.) BPM 2010 Workshops. LNBIP, vol. 66, pp. 109–121. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  20. Lohmann, N., Verbeek, E., Dijkman, R.M.: Petri net transformations for business processes - a survey. Petri Nets and Other Models of Concurrency 2, 46–63 (2009)

    Article  Google Scholar 

  21. Maggi, F.M., Bose, R.P.J.C., van der Aalst, W.M.P.: Efficient Discovery of Understandable Declarative Process Models from Event Logs. In: Ralyté, J., Franch, X., Brinkkemper, S., Wrycza, S. (eds.) CAiSE 2012. LNCS, vol. 7328, pp. 270–285. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  22. Pérez-Castillo, R., Weber, B., de Guzmán, I.G.R., Piattini, M., Pinggera, J.: Assessing event correlation in non-process-aware information systems. Software and System Modeling 13(3), 1117–1139 (2014)

    Google Scholar 

  23. Rogge-Solti, A., Weske, M.: Prediction of Remaining Service Execution Time Using Stochastic Petri Nets with Arbitrary Firing Delays. In: Basu, S., Pautasso, C., Zhang, L., Fu, X. (eds.) ICSOC 2013. LNCS, vol. 8274, pp. 389–403. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  24. La Rosa, M., Lux, J., Seidel, S., Dumas, M., ter Hofstede, A.H.M.: Questionnaire-driven Configuration of Reference Process Models. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 424–438. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  25. Weidlich, M., Dijkman, R., Mendling, J.: The ICoP Framework: Identification of Correspondences between Process Models. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol. 6051, pp. 483–498. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  26. Weidlich, M., Dijkman, R., Weske, M.: Behaviour Equivalence and Compatibility of Business Process Models with Complex Correspondences. ComJnl (2012)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Hasso Plattner Institute at the University of Potsdam, Prof.-Dr.-Helmert-Str. 2-3, D-14482, Potsdam, Germany

    Thomas Baier & Mathias Weske

  2. Wirtschaftsuniversität Wien, Welthandelsplatz 1, 1020, Vienna, Austria

    Claudio Di Ciccio & Jan Mendling

Authors
  1. Thomas Baier
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Claudio Di Ciccio
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jan Mendling
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Mathias Weske
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Thomas Baier .

Editor information

Editors and Affiliations

  1. Luxembourg Institute of Science & Technology, Luxembourg, Luxembourg

    Khaled Gaaloul

  2. Munich University of Applied Sciences, Munich, Germany

    Rainer Schmidt

  3. Université Paris 1 Panthéon – Sorbonne, Paris, France

    Selmin Nurcan

  4. Lusofona University, Lisbon, Portugal

    Sérgio Guerreiro

  5. Luxembourg Institute of Science & Technology, Luxembourg, Luxembourg

    Qin Ma

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Baier, T., Di Ciccio, C., Mendling, J., Weske, M. (2015). Matching of Events and Activities - An Approach Using Declarative Modeling Constraints. In: Gaaloul, K., Schmidt, R., Nurcan, S., Guerreiro, S., Ma, Q. (eds) Enterprise, Business-Process and Information Systems Modeling. BPMDS EMMSAD 2015 2015. Lecture Notes in Business Information Processing, vol 214. Springer, Cham. https://doi.org/10.1007/978-3-319-19237-6_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-19237-6_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-19236-9

  • Online ISBN: 978-3-319-19237-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation