loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Quality Software, Fourth International Conference on (QSIC'04)
Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines
Braunshweig, Germany
September 08-September 10
ISBN: 0-7695-2207-6
ASCII Text
x 
 
Jane Zhao, Hui Ma, "Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines," Quality Software, International Conference on, pp. 224-231, Quality Software, Fourth International Conference on (QSIC'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/QSIC.2004.1357964,
author = {Jane Zhao and Hui Ma},
title = {Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines},
journal ={Quality Software, International Conference on},
volume = {0},
year = {2004},
isbn = {0-7695-2207-6},
pages = {224-231},
doi = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2004.1357964},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quality Software, International Conference on
TI - Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines
SN - 0-7695-2207-6
SP224
EP231
A1 - Jane Zhao,
A1 - Hui Ma,
PY - 2004
KW - Abstract State Machine
KW - On-Line Analytical Processing
KW - Data Warehouse
KW - Quality Design
VL - 0
JA - Quality Software, International Conference on
ER -
 
Jane Zhao, Massey University, New Zealand
Hui Ma, Massey University, New Zealand
On-line 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.
Index Terms:
Abstract State Machine, On-Line Analytical Processing, Data Warehouse, Quality Design
Citation:
Jane Zhao, Hui Ma, "Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines," qsic, pp.224-231, Quality Software, Fourth International Conference on (QSIC'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.