Using Abstract State Machines for Distributed Data Warehouse Design

Zhao, J. and Schewe, K.-D.

Data Warehouses are data-intensive systems that are used for analytical tasks. As these tasks do not depend on the latest updates by transactions, data warehouses can be set up in a way that input of data from operational databases and output to dialogue interfaces for on-line analytical processes (OLAP) can be separated. In the paper we describe how abstract state machines (ASMs) can be used to design distributed data warehouses. We formalize the ground idea of data warehouses by a ground model ASM and discuss refinement steps, which can be applied in a step-by-step design methodology. Distribution will appear as such a refinement step.

Cite as: Zhao, J. and Schewe, K.-D. (2004). Using Abstract State Machines for Distributed Data Warehouse Design. In Proc. First Asia-Pacific Conference on Conceptual Modelling (APCCM2004), Dunedin, New Zealand. CRPIT, 31. Hartmann, S. and Roddick, J. F., Eds. ACS. 49-58.

(from crpit.com) (local if available)