Abstract
While Abstract State Machines (ASMs) provide a general purpose development method, it is advantageous to provide extensions that ease their use in particular application areas. This paper focuses on such extensions for the benefit of a “refinement calculus” in the area of data warehouses and on-line analytical processing (OLAP). We show that providing typed ASMs helps to exploit the existing logical formalisms used in data-intensive areas to define a ground model and refinement rules. We also note that the extensions do not increase the expressiveness of ASMs, as each typed ASM will be equivalent to an “ordinary” one.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
Blass, A., Gurevich, J.: Abstract State Machines Capture Parallel Algorithms. ACM Transactions on Computational Logic 4(4), 578–651 (2003)
Börger, E.: The ASM Ground Model Method as a Foundation for Requirements Engineering. In: Verification: Theory and Practice (2003)
Börger, E.: The ASM Refinement Method. Formal Aspects of Computing 15, 237–257 (2003)
Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003)
Del Castillo, G., Gurevich, Y., Stroetmann, K.: Typed Abstract State Machines, Unpublished (1998), available from http://research.microsoft.com/~gurevich/Opera/137.pdf
Gurevich, J.: Sequential Abstract State Machines Capture Sequential Algorithms. ACM Transactions on Computational Logic 1(1), 77–111 (2000)
Gyssens, M., Lakshmanan, L.V.S.: A foundation for multidimensional databases. In: Proc. 22nd VLDB Conference, Mumbai (Bombay), India (1996)
Kimball, R.: The Data Warehouse Toolkit. John Wiley & Sons, Chichester (1996)
Lewerenz, J., Schewe, K.-D., Thalheim, B.: Modelling Data Warehouses and OLAP Applications Using Dialogue Objects. In: Akoka, J., et al. (eds.) ER 1999. LNCS, vol. 1728, pp. 354–368. Springer, Heidelberg (1999)
Ma, H., et al.: View Integration and Cooperation in Databases, Data Warehouses and Web Information Systems. Journal on Data Semantics IV, 213–249 (2005)
Schewe, K.-D.: Specification and Development of Correct Relational Database Programs. Technical report, Clausthal Technical University, Germany (1997)
Schewe, K.-D.: On the Unification of Query Algebras and their Extension to Rational Tree Structures. In: Orlowska, M., Roddick, J. (eds.) Proc. Australasian Database Conference 2001, pp. 52–59. IEEE Computer Society Press, Los Alamitos (2001)
Schewe, K.-D., Zhao, J.: ASM Ground Model and Refinement for Data Warehouses. In: Beauquier, D., Börger, E., Slissenko, A. (eds.) Proc. 12th International Workshop on Abstract State Machines – ASM 2005, Paris, France (2005)
Schewe, K.-D., Zhao, J.: Balancing Redundancy and Query Costs in Distributed Data Warehouses – An Approach based on Abstract State Machines. In: Hartmann, S., Stumptner, M. (eds.) Conceptual Modelling 2005 – Second Asia-Pacific Conference on Conceptual Modelling. CRPIT, vol. 43, pp. 97–105. Australian Computer Society (2005)
Schmidt, J.W.: Some High Level Language Constructs for Data of Type Relation. ACM Transactions on Database Systems 2(3), 247–261 (1977)
Tannen, V., Buneman, P., Wong, L.: Naturally Embedded Query Languages. In: Hull, R., Biskup, J. (eds.) ICDT 1992. LNCS, vol. 646, pp. 140–154. Springer, Heidelberg (1992)
Thomson, E.: OLAP Solutions: Building Multidimensional Information Systems. John Wiley & Sons, New York (2002)
Widom, J.: Research Problems in Data Warehousing. In: Proceedings of the 4th International Conference on Information and Knowledge Management, ACM Press, New York (1995)
Zamulin, A.V.: Typed Gurevich Machines Revisited. Joint Bulletin of NCC and IIS on Computer Science 5, 1–26 (1997)
Zhao, J., Ma, H.: ASM-Based Design of Data Warehouses and On-Line Analytical Processing Systems. Journal of Systems and Software 79, 613–629 (2006)
Zhao, J., Schewe, K.-D.: Using Abstract State Machines for Distributed Data Warehouse Design. In: Hartmann, S., Roddick, J. (eds.) Conceptual Modelling 2004 – First Asia-Pacific Conference on Conceptual Modelling. CRPIT, vol. 31, pp. 49–58. Australian Computer Society, Dunedin (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Link, S., Schewe, KD., Zhao, J. (2007). Refinements in Typed Abstract State Machines. In: Virbitskaite, I., Voronkov, A. (eds) Perspectives of Systems Informatics. PSI 2006. Lecture Notes in Computer Science, vol 4378. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70881-0_27
Download citation
DOI: https://doi.org/10.1007/978-3-540-70881-0_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70880-3
Online ISBN: 978-3-540-70881-0
eBook Packages: Computer ScienceComputer Science (R0)