Skip to main content

Design-Time Analysis of Data Inaccuracy Awareness at Runtime

  • Conference paper
  • First Online:

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

Abstract

Analyzing potential data inaccuracy is an important aspect of business process design that has been mostly overlooked so far. To this end, process models should express the relevant information to support such analysis. In this paper we propose a formal framework for design-time analysis of potential data inaccuracy situations. In particular, we define a property of Data Inaccuracy Awareness which indicates the ability to know at runtime whether data values are accurate representations of real values. We propose an algorithm for analyzing this property at design time based on a process model. A preliminary evaluation of the applicability and scalability of the algorithm using a benchmark collection of process models is reported.

The first and second authors were supported by the Israel Science Foundation under grant agreement no. 856/13.

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

Buying options

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

Notes

  1. 1.

    Premise 1 restricts our approach to state variables whose volatility is not high. For example, a state variable depicting the location of a moving car does not subscribe to this premise, while a state variable depicting the address of a customer does. This premise entails that the designer has to identify for which data items this analysis approach would be appropriate.

  2. 2.

    Our purpose is to reason about potential data inaccuracy situations at design-time while acknowledging runtime situations. Thus, exploring concurrency cases where data operations can execute simultaneously or at any order is vital. For that reason, a clear assignment of data operations to blocks in the net is essential.

  3. 3.

    This is because parallel threads imply independence of the relevant sub-domains irrespectively of the order in which transition takes place. It is hence not possible for parallel threads to update the same data item [9, 23].

References

  1. Aalst, W.M.: The application of Petri nets to workflow management. J. Circ. Syst. Comput. 8(01), 21–66 (1998)

    Article  Google Scholar 

  2. Aebi, D., Perrochon, L.: Towards improving data quality. In: CiSMOD, pp. 273–281 (1993)

    Google Scholar 

  3. Agmon, N., Ahituv, N.: Assessing data reliability in an information system. J. Manag. Inf. Syst. 4(2), 34–44 (1987)

    Article  Google Scholar 

  4. Bagchi, S., Bai, X., Kalagnanam, J.: Data quality management using business process modeling. In: IEEE International Conference on Services Computing, SCC 2006 (2006)

    Google Scholar 

  5. Bringel, H., Caetano, A., Tribolet, J.M.: Business process modeling towards data quality: an organizational engineering approach. In: ICEIS, vol. 3, pp. 565–568 (2004)

    Google Scholar 

  6. Cappiello, C., Pernici, B.: Quality-aware design of repairable processes. In: ICIQ (2008)

    Google Scholar 

  7. Cappiello, C., Caro, A., Rodriguez, A., Caballero, I.: An approach to design business processes addressing data quality issues. In: ECIS, p. 216 (1987)

    Google Scholar 

  8. Cappiello, C., Pernici, B., Villani, L.: Strategies for data quality monitoring in business processes. In: Benatallah, B., Bestavros, A., Catania, B., Haller, A., Manolopoulos, Y., Vakali, A., Zhang, Y. (eds.) WISE 2014. LNCS, vol. 9051, pp. 226–238. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-20370-6_18

    Chapter  Google Scholar 

  9. Davidson, S.B., Garcia-Molina, H., Skeen, D.: Consistency in a partitioned network: a survey. ACM Comput. Surv. (CSUR) 17(3), 341–370 (1985)

    Article  Google Scholar 

  10. Eckleder, A., Freytag, T., Mendling, J., Reijers, H.A.: Realtime detection and coloring of matching operator nodes in workflow nets. In: Algorithms and Tools for Petri Nets, pp. 56–61 (2009)

    Google Scholar 

  11. Evron, Y., Soffer, P., Zamansky, A.: Incorporating data inaccuracy considerations in process models. In: Reinhartz-Berger, I., Gulden, J., Nurcan, S., Guédria, W., Bera, P. (eds.) BPMDS/EMMSAD-2017. LNBIP, vol. 287, pp. 305–318. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-59466-8_19

    Chapter  Google Scholar 

  12. Falge, C., Otto, B., Österle, H.: Data quality requirements of collaborative business processes. In: 2012 45th Hawaii International Conference on System Science (HICSS). IEEE (2012)

    Google Scholar 

  13. Gharib, M., Giorgini, P.: Detecting Conflicts in Information Quality Requirements: the May 6, 2010 Flash Crash (2014)

    Google Scholar 

  14. Heravizadeh, M., Mendling, J., Rosemann, M.: Dimensions of business processes quality (QoBP). In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM 2008. LNBIP, vol. 17, pp. 80–91. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-00328-8_8

    Chapter  Google Scholar 

  15. Kalenkova, A., De Leoni, M., van der Aalst, W.M.: Discovering, analyzing and enhancing BPMN models using ProM. In: BPM (Demos), p. 36 (2014)

    Google Scholar 

  16. Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs - a constructive approach. In: Colom, J.M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 311–329. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-38697-8_17

    Chapter  Google Scholar 

  17. Orr, K.: Data quality and systems theory. Commun. ACM 41(2), 66–71 (1998)

    Article  Google Scholar 

  18. Rodríguez, A., Caro, A., Cappiello, C., Caballero, I.: A BPMN extension for including data quality requirements in business process modeling. In: Mendling, J., Weidlich, M. (eds.) BPMN 2012. LNBIP, vol. 125, pp. 116–125. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-33155-8_10

    Chapter  Google Scholar 

  19. Russell, N., van der Aalst, W., ter Hofstede, A.: Workflow exception patterns. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 288–302. Springer, Heidelberg (2006). https://doi.org/10.1007/11767138_20

    Chapter  Google Scholar 

  20. Sadiq, S., Orlowska, M., Sadiq, W., Foulger, C.: Data flow and validation in workflow modeling. In: Proceedings of the 15th Australasian Database Conference, ADC 2004, vol. 27, pp. 207–214 (2004)

    Google Scholar 

  21. Shankaranarayanan, G., Wang, R.Y., Ziad, M.: IP-MAP: representing the manufacture of an information product. In: IQ (2000)

    Google Scholar 

  22. Sidorova, N., Stahl, C., Trčka, N.: Workflow soundness revisited: checking correctness in the presence of data while staying conceptual. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol. 6051, pp. 530–544. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-13094-6_40

    Chapter  Google Scholar 

  23. Soffer, P., Kaner, M., Wand, Y.: Assigning ontological meaning to workflow nets. J. Database Manag. 21(3), 1–35 (2010)

    Article  Google Scholar 

  24. Soffer, P.: Mirror, mirror on the wall, can I count on you at all? Exploring data inaccuracy in business processes. In: Bider, I., Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Ukor, R. (eds.) BPMDS/EMMSAD-2010. LNBIP, vol. 50, pp. 14–25. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-13051-9_2

    Chapter  Google Scholar 

  25. Soffer, P., Wand, Y.: Goal-driven analysis of process model validity. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 521–535. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-25975-6_37

    Chapter  Google Scholar 

  26. Wand, Y., Wang, R.Y.: Anchoring data quality dimensions in ontological foundations. Commun. ACM 39(11), 86–95 (1996)

    Article  Google Scholar 

  27. Wang, R.Y., Strong, D.M.: Beyond accuracy: what data quality means to data consumers. J. Manag. Inf. Syst. 12(4), 5–33 (1996)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yotam Evron .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Evron, Y., Soffer, P., Zamansky, A. (2018). Design-Time Analysis of Data Inaccuracy Awareness at Runtime. In: Teniente, E., Weidlich, M. (eds) Business Process Management Workshops. BPM 2017. Lecture Notes in Business Information Processing, vol 308. Springer, Cham. https://doi.org/10.1007/978-3-319-74030-0_47

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-74030-0_47

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-74029-4

  • Online ISBN: 978-3-319-74030-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics