Skip to main content
SpringerLink
Log in

Diagnosing Differences between Business Process Models

  • Conference paper
Business Process Management (BPM 2008)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 5240))

Included in the following conference series:

Abstract

This paper presents a technique to diagnose differences between business process models in the EPC notation. The diagnosis returns the exact position of a difference in the business process models and diagnoses the type of a difference, using a typology of differences developed in previous work. This in contrast to existing techniques for detecting process differences (by showing non-equivalence), which return simple true/false statements, or statements in terms of a formal semantics. Neither type of statement is helpful to a business analyst not versed in formal semantics. A case study illustrates the usefulness of the technique. It also shows that, although the technique has exponential complexity, it can be used in practice, because of repeated scoping of the models. The technique can be used, for example, to resolve differences between operational process in a merger between organizations.

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 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. van der Aalst, W.: Formalization and Verification of Event-driven Process Chains. Information and Software Technology 41, 639–650 (1999)

    Article  Google Scholar 

  2. Benatallah, B., Casati, F., Grigori, D., Motahari Nezhad, H.R., Toumani, F.: Developing Adapters for Web Services Integration. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 415–429. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  3. Cleaveland, R.: On Automatically Explaining Bisimulation Inequivalence. In: Larsen, K.G., Skou, A. (eds.) CAV 1991. LNCS, vol. 575, pp. 364–372. Springer, Heidelberg (1992)

    Chapter  Google Scholar 

  4. Dijkman, R.M.: A Classification of Differences in Similar Business Processes. In: EDOC 2007, pp. 37–47 (2007)

    Google Scholar 

  5. Dijkman, R.M.: Feedback on Differences between Business Processes. BETA Working Paper WP-234, Eindhoven University of Technology, The Netherlands (2007)

    Google Scholar 

  6. van Dongen, B.F., Dijkman, R.M., Mendling, J.: Measuring Similarity between Business Process Models. In: CAiSE 2008, pp. 450–464 (2008)

    Google Scholar 

  7. van Dongen, B.F., van der Aalst, W.M.P., Verbeek, H.M.W.: Verification of EPCs: Using reduction rules and Petri nets. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 372–386. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  8. Dumas, M., Spork, M., Wang, K.: Adapt or Perish: Algebra and Visual Notation for Interface Adaptation. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 65–80. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  9. van Glabbeek, R.: The Linear Time – Branching Time Spectrum I: The Semantics of Concrete Sequential Processes. Handbook of Process Algebra, pp. 3–99. Elsevier, Amsterdam (2001)

    MATH  Google Scholar 

  10. Keller, G., Nüttgens, M., Scheer, A.-W.: Semantische Prozessmodellierung auf der Grundlage Ereignisgesteuerter Prozessketten (EPK). Heft 89, Institut für Wirtschaftsinformatik, Saarbrücken, Germany (1992)

    Google Scholar 

  11. Kindler, E.: On the semantics of EPCs: Resolving the vicious circle. Data & Knowledge Engineering 56, 23–40 (2006)

    Article  Google Scholar 

  12. Lohmann, N.: Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance. In: BPM 2008 (accepted, 2008)

    Google Scholar 

  13. Mendling, J., van der Aalst, W.M.P.: Formalization and Verification of EPCs with OR-Joins Based on State and Context. In: Krogstie, J., Opdahl, A., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 439–453. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  14. Mendling, J.: Detection and Prediction of Errors in EPC Business Process Models. Ph.D. Thesis, Vienna University of Economics and Business Administration, Austria (2007)

    Google Scholar 

  15. Mendling, J., van der Aalst, W.: Towards EPC Semantics based on State and Context. In: EPK 2006, pp. 25–48 (2006)

    Google Scholar 

  16. Motahari Nezhad, H.R., Benatallah, B., Martens, A., Curbera, F., Casati, F.: Semi-automated adaptation of service interactions. In: WWW 2007, pp. 993–1002 (2007)

    Google Scholar 

  17. Preuner, G., Conrad, S., Schrefl, M.: View Integration of Behavior in Object-Oriented Databases. Data & Knowledge Engineering 36(2), 153–183 (2001)

    Article  MATH  Google Scholar 

  18. Rozinat, A., van der Aalst, W.: Conformance checking of processes based on monitoring real behavior. Information Systems 33(1), 64–95 (2008)

    Article  Google Scholar 

  19. Sudkamp, T.: Languages and Machines, 2nd edn. Addison-Wesley, Reading (1996)

    Google Scholar 

  20. Weber, B., Rinderle, S., Reichert, M.: Change Patterns and Change Support Features in Process-Aware Information Systems. In: Krogstie, J., Opdahl, A., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 574–588. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Eindhoven University of Technology, The Netherlands

    Remco Dijkman

Authors
  1. Remco Dijkman
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Tartu, J Liivi 2, 50409, Tartu, Estonia

    Marlon Dumas

  2. Department of Computer Science, Information Systems Group, University of Twente, P.O. Box 217, 7500 AE, Enschede, The Netherlands

    Manfred Reichert

  3. SAP Labs, LLC 3475 Deer Creek Road, CA 94304, Palo Alto, USA

    Ming-Chien Shan

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dijkman, R. (2008). Diagnosing Differences between Business Process Models. In: Dumas, M., Reichert, M., Shan, MC. (eds) Business Process Management. BPM 2008. Lecture Notes in Computer Science, vol 5240. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85758-7_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-85758-7_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-85757-0

  • Online ISBN: 978-3-540-85758-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation