JUCS - Journal of Universal Computer Science 15(1): 355-397, doi: 10.3217/jucs-015-01-0355
Dynamic Data Warehouse Design with Abstract State Machines
expand article infoJane Zhao, Klaus-Dieter Schewe§, Henning Köhler|
‡ Information Science Research Centre, Palmerston North, New Zealand§ Johannes Kepler University Linz, Linz, Austria| University of Queensland, Brisbane, Australia
Open Access
On-line analytical processing (OLAP) systems deal with analytical tasks that support decision making. As these tasks do not depend on the latest updates by transactions, it is assumed that the data required by OLAP systems are kept in a data warehouse, which separates the input from operational databases from the outputs to OLAP. However, user requirements for OLAP systems change over time. Data warehouses and OLAP systems thus are rather dynamic and the design process is continuous. In order to easily incorporate new requirements and at the same time ensure the quality of the system design, we suggest to apply the Abstract State Machine (ASM) based development method. This assumes we capture the basic user requirements in a ground model and then apply stepwise refinements to the ground model for every design decisions or further new requirements. In this article, we show that a systematical approach which is tailored for data warehouse design with a set of formal refinement rules can simplify the work in dynamic data warehouse design and at the same time improves the quality of the system.
Abstract State Machine, On-Line Analytical Processing, Data Warehouse, Refinement