부산대학교 도서관

The DW consists of huge and complex set of data. Maintaining its quality is thus a matter of concern. The metrics are used to measure the quality factor of data warehouse. Several data model metrics of data warehouse have been proposed and validated in the literature to measure its quality attributes. There are two ways to validate the metrics. One is the formal validation and another is empirical validation. Our focus of study is on formal validation of metrics. Here in this paper, two formal frameworks have been surveyed for metrics validation namely; Briand's framework and Zuse's framework. Further, formal validation is illustrated with the help of Briand's framework and Zuse's framework by taking an example of each. Finally, both the formal frameworks have been compared and found easily understandable for validating the metrics formally.