Object-oriented software engineering
Object-oriented software engineering
Building the data warehouse (2nd ed.)
Building the data warehouse (2nd ed.)
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
Integrating database and dialogue design
Knowledge and Information Systems
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Olap Solutions: Building Multidimensional Information Systems
Olap Solutions: Building Multidimensional Information Systems
Modelling Data Warehouses and OLAP Applications by Means of Dialogue Objects
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Operational semantics of transactions
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Abstract state machines capture parallel algorithms
ACM Transactions on Computational Logic (TOCL)
Using abstract state machines for distributed data warehouse design
APCCM '04 Proceedings of the first Asian-Pacific conference on Conceptual modelling - Volume 31
Balancing redundancy and query costs in distributed data warehouses
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
ASM-based design of data warehouses and on-line analytical processing systems
Journal of Systems and Software - Special issue: Quality software
Dynamic data warehouse design as a refinement in ASM-based approach
APCCM '07 Proceedings of the fourth Asia-Pacific conference on Comceptual modelling - Volume 67
Data warehouse access using multi-agent system
Distributed and Parallel Databases
View integration and cooperation in databases, data warehouses and web information systems
Journal on Data Semantics IV
| Hi-index | 0.00 |
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.