Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Diagnosing and Repairing Data Anomalies in Process Models

  • Conference paper
Business Process Management Workshops (BPM 2009)

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

Included in the following conference series:

Abstract

When using process models for automation, correctness of the models is a key requirement. While many approaches concentrate on control flow verification only, correct data flow modeling is of similar importance. This paper introduces an approach for detecting and repairing modeling errors that only occur in the interplay between control flow and data flow. The approach is based on Petri nets and detects anomalies in BPMN models. In addition to the diagnosis of the modeling errors, a subset of errors can also be repaired automatically.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. OMG: Business Process Modeling Notation (BPMN) version 1.2. Technical report, Object Management Group (OMG) (January 2009), http://www.bpmn.org/

  2. Alves, A., et al.: Web Services Business Process Execution Language Version 2.0. Technical report, OASIS (2007)

    Google Scholar 

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

    Chapter  Google Scholar 

  4. Puhlmann, F., Weske, M.: Investigations on soundness regarding lazy activities. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 145–160. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  5. Sadiq, W., Orlowska, M.E.: Applying graph reduction techniques for identifying structural conflicts in process models. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol. 1626, pp. 195–209. Springer, Heidelberg (1999)

    Google Scholar 

  6. van Dongen, B.F., Mendling, J., van der Aalst, W.M.P.: Structural patterns for soundness of business process models. In: EDOC 2006, pp. 116–128. IEEE Computer Society, Los Alamitos (2006)

    Google Scholar 

  7. Sadiq, S., Orlowska, M., Sadiq, W., Foulger, C.: Data flow and validation in workflow modeling. In: ADC, pp. 207–214. Australian Computer Society, Inc. (2004)

    Google Scholar 

  8. Sun, S.X., Zhao, J.L., Nunamaker, J.F., Sheng, O.R.L.: Formulating the data-flow perspective for business process management. Info. Sys. Research 17(4), 374–391 (2006)

    Article  Google Scholar 

  9. Reisig, W.: Petri Nets. EATCS Monographs on Theoretical Computer Science edn. Springer, Heidelberg (1985)

    Book  Google Scholar 

  10. Ryndina, K., Küster, J.M., Gall, H.C.: Consistency of business process models and object life cycles. In: Kühne, T. (ed.) MoDELS 2006. LNCS, vol. 4364, pp. 80–90. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  11. van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems (Cooperative Information Systems). MIT Press, Cambridge (2002)

    Google Scholar 

  12. Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281–1294 (2008)

    Article  Google Scholar 

  13. Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A., England, N.R.: Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Transactions on Information and Systems 80, 315–325 (1997)

    Google Scholar 

  14. Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., Völzer, H., Wolf, K.: Instantaneous soundness checking of industrial business process models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) Business Process Management. LNCS, vol. 5701, pp. 278–293. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  15. Wolf, K.: Generating Petri net state spaces. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 29–42. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  16. van Kees, M., Sidorova, N., Somers, L.J., Voorhoeve, M.: Consistency in model integration. Data Knowl. Eng. 56(1), 4–22 (2006)

    Article  Google Scholar 

  17. Moser, S., Martens, A., Görlach, K., Amme, W., Godlinski, A.: Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis. In: SCC 2007, pp. 98–105. IEEE Computer Society, Los Alamitos (2007)

    Google Scholar 

  18. Hallé, S., Villemaire, R., Cherkaoui, O., Ghandour, B.: Model checking data-aware workflow properties with CTL-FO+. In: EDOC 2007, pp. 267–278. IEEE Computer Society, Los Alamitos (2007)

    Google Scholar 

  19. Lohmann, N., Massuthe, P., Wolf, K.: Behavioral constraints for services. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 271–287. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  20. Fan, S., Dou, W.C., Chen, J.: Dual workflow nets: Mixed control/data-flow representation for workflow modeling and verification. In: Chang, K.C.-C., Wang, W., Chen, L., Ellis, C.A., Hsu, C.-H., Tsoi, A.C., Wang, H. (eds.) APWeb/WAIM 2007. LNCS, vol. 4537, pp. 433–444. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  21. Trčka, N., van der Aalst, W.M.P., Sidorova, N.: Data-flow anti-patterns: Discovering data-flow errors in workflows. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) Advanced Information Systems Engineering. LNCS, vol. 5565, pp. 425–439. Springer, Heidelberg (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Business Process Technology Group, Hasso Plattner Institute at the University of Potsdam, Germany

    Ahmed Awad & Gero Decker

  2. Institut für Informatik, Universität Rostock, 18051, Rostock, Germany

    Niels Lohmann

Authors
  1. Ahmed Awad
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gero Decker
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Niels Lohmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Ulm University, Germany and University of Vienna, Austria

    Stefanie Rinderle-Ma

  2. University of Queensland, St Lucia, Qld, Australia

    Shazia Sadiq

  3. IAAS, University of Stuttgart, Germany

    Frank Leymann

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Awad, A., Decker, G., Lohmann, N. (2010). Diagnosing and Repairing Data Anomalies in Process Models. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds) Business Process Management Workshops. BPM 2009. Lecture Notes in Business Information Processing, vol 43. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12186-9_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-12186-9_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-12185-2

  • Online ISBN: 978-3-642-12186-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation