Title :
Quality-assured design of on-line analytical processing systems using abstract state machines
Author :
Zhao, Jane ; Ma, Hui
Author_Institution :
Inf. Sci. Res. Centre, Massey Univ., Palmerston North, New Zealand
Abstract :
Online analytical processing (OLAP) systems deal with analytical tasks in businesses. As these tasks do not depend on the latest updates by transactions, it is assumed that the data used in OLAP systems are kept in a data warehouse, which separates the input from operational databases from the outputs to dialogue interfaces for OLAP. In the paper we describe how abstract state machines (ASMs) can be used to design OLAP systems. Based on the idea of separating input from output we model a ground model ASM for OLAP and discuss system quality by reasoning about this model.
Keywords :
data mining; data warehouses; finite automata; formal specification; software quality; OLAP system design; abstract state machines; data warehouse; dialogue interfaces; online analytical processing systems; operational databases; quality-assured design; system quality; Cost benefit analysis; Data analysis; Data warehouses; Design methodology; Information analysis; Information science; Information systems; Marketing and sales; Statistical analysis; Transaction databases;
Conference_Titel :
Quality Software, 2004. QSIC 2004. Proceedings. Fourth International Conference on
Print_ISBN :
0-7695-2207-6
DOI :
10.1109/QSIC.2004.1357964
