Design-Time Analysis of Data Inaccuracy Awareness at Runtime.

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.