Statecharts: A visual formalism for complex systems
Science of Computer Programming
Research problems in data warehousing
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Building the data warehouse (2nd ed.)
Building the data warehouse (2nd ed.)
Principles of distributed database systems (2nd ed.)
Principles of distributed database systems (2nd ed.)
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
Modeling Multidimensional Databases
ICDE '97 Proceedings of the Thirteenth International Conference on Data Engineering
Detecting Redundancy in Data Warehouse Evolution
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Modelling Data Warehouses and OLAP Applications by Means of Dialogue Objects
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Dealing with Semantic Heterogeneity During Data Integration
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Data Warehouse Schema and Instance Design
ER '98 Proceedings of the 17th 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
Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Cost Optimisation for Distributed Data Warehouses
HICSS '05 Proceedings of the Proceedings of the 38th Annual Hawaii International Conference on System Sciences - Volume 09
Balancing redundancy and query costs in distributed data warehouses
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
Typed Abstract State Machines for data-intensive applications
Knowledge and Information Systems
ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
Refinements in typed abstract state machines
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
A service-oriented approach to web warehousing
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
Using abstract state machines for the design of multi-level transaction schedulers
Rigorous Methods for Software Construction and Analysis
| 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. Data Warehouses and OLAP systems are a promising area for the application of Abstract State Machines (ASMs). In this article a layered ground model specification for data warehouses and OLAP system is presented that is based explicitly on the fundamental idea of separating input from operational databases from output to OLAP systems. On this basis we start defining formal refinement rules for such systems. As these refinement rules are formally correct they enable a formal method for the high-quality design of data warehouses and OLAP systems that can be applied without knowing mathematical details of the ASM formalism. Furthermore, we discuss pragmatic guidelines for the application of such rules.