Validation of Data Warehouse Requirements Model Traceability Metrics Using a Formal Framework

In recent years, data warehouse quality has acquired lots of attention as many important decisions are based on the data stored in data warehouses. Various researchers proved that metrics are quality indicators of data warehouses. These metrics have been proposed at the requirement, conceptual, logical and physical levels. Further, validation of metrics has also been done at the conceptual, logical and physical levels to show their practical utility. However no validation of metrics has been done at the requirement level. In this paper, our focus is on formal validation of data warehouse requirements-model metrics, (i.e. traceability metrics) using Briand's framework, which is a property-based framework. The result of validation shows that the traceability metrics are defined properly and satisfy all the properties required for a size measure as per Briand's framework.