Abstract
The possibility to simulate hypothetical scenarios without harming the business using What-If analysis tools and to retrieve highly refined information is an interesting way of achieving such advantages. In a previous work, it was introduced a hybrid model that combines What-If analysis and OLAP usage preferences, which helps filtering the information, meeting the users’ needs and business requirements without losing data quality. In addition, it helps to overcome the lack of a user expertise using What-If analysis process. In this paper, we propose a formal verification of a hybridization model, integrating What-If analysis scenarios with OLAP usage preferences, which aim to suggest to the user enriched What-If scenarios based on the usage preferences of a specific user. For this, we used Alloy to specify and verify the referred model, which enables to analyze and verify our hybrid model, discovering possible ambiguity and inconsistencies.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Agrawal, R., Srikant, R.: Fast algorithms for mining association rules. In: Proceedings 20th International Conference Very Large Data Bases, VLDB, vol. 1215, pp. 487–499 (1994)
Alloy (2016). http://alloy.mit.edu/alloy/. Accessed 13 June 2016
Bleikertz, S., Vogel, C., Groß, T., Mödersheim, S.: Proactive security analysis of changes in virtualized infrastructures. In: Proceedings of the 31st Annual Computer Security Applications Conference, pp. 51–60. ACM (2015)
Golfarelli, M., Rizzi, S., Proli, A.: Designing What-If analysis: towards a methodology. In: DOLAP 2006, Arlington, Virginia, USA, pp. 51–58 (2006)
Harinarayan, V., Rajaraman, A., Ullman, J.: Implementing data cubes efficiently. ACM SIGMOD Record 25(2), 205–216 (1996)
Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT press, Cambridge (2012)
Kellner, M.I., Madachy, R., Raffo, D.: Software process simulation modeling: why? what? how? J. Syst. Softw. 46(2), 91–105 (1999)
Marcozzi, M., Vanhoof, W., Hainaut, J.L.: Test input generation for database programs using relational constraints. In: Proceedings of the Fifth International Workshop on Testing Database Systems, p. 6. ACM (2012)
Marcozzi, M., Vanhoof, W., Hainaut, J.L.: Relational symbolic execution of SQL code for unit testing of data-base programs. Sci. Comput. Program. 105, 44–72 (2015)
Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Engineering an efficient SAT solver. In: Proceedings of the 38th annual Design Automation Conference, pp. 530–535. ACM (2001)
Rungta, N., Brat, G., Clancey, W.J., Linde, C., Raimondi, F., Seah, C., Shafto, M.: Aviation safety: modeling and analyzing complex interactions between humans and automated systems. In: Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems, pp. 27–37. ACM (2013)
Salem, A., Triki, S., Ben-Abdallah, H., Harbi, N., Boussaid, O.: Verification of security coherence in data warehouse designs. In: International Conference on Trust, Privacy and Security in Digital Business, pp. 207–213. Springer, Heidelberg (2012)
Sen, S., Chaki, N., Cortesi, A.: Optimal space and time complexity analysis on the lattice of cuboids using galois connections for data warehousing. In: Fourth International Conference on Computer Sciences and Convergence Information Technology, ICCIT 2009, pp. 1271–1275. IEEE (2009)
Testa, A., Cinque, M., Coronato, A., De Pietro, G., Augusto, J.C.: Heuristic strategies for assessing wireless sensor network resiliency: an event-based formal approach. J. Heuristics 21(2), 145–175 (2015)
Wu, M.C., Buchmann, A.P.: Research issues in data warehousing. In: Datenbanksysteme in Büro, Technik und Wissenschaft, pp. 61–82. Springer, Heidelberg (1997)
Zhao, J., Ma, H.: Quality-assured design of on-line analytical processing systems using abstract state machines. In: Ehrich, H.-D., Schewe, K.-D. (eds.) Proceedings of the Fourth International Conference on Quality Software (QSIC 2004), Braunschweig, Germany, pp. 224–231. IEEE Computer Society Press (2004)
Zhao, J., Schewe, K.-D.: Using abstract state machines for distributed data warehouse design. In: Proceedings of the First Asian-Pacific conference on Conceptual Modelling-Volume 31, pp. 49–58. Australian Computer Society, Inc. (2004)
Zhao, J.Q.: Formal design of data warehouse and OLAP systems: a dissertation presented in partial fulfilment of the requirements for the degree of Doctor of Philosophy in Information Systems at Massey University, Palmerston North, New Zealand (2007)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Carvalho, M., Belo, O. (2018). Inception and Specification of What-If Scenarios Using OLAP Usage Preferences. In: Pérez García, H., Alfonso-Cendón, J., Sánchez González, L., Quintián, H., Corchado, E. (eds) International Joint Conference SOCO’17-CISIS’17-ICEUTE’17 León, Spain, September 6–8, 2017, Proceeding. SOCO ICEUTE CISIS 2017 2017 2017. Advances in Intelligent Systems and Computing, vol 649. Springer, Cham. https://doi.org/10.1007/978-3-319-67180-2_27
Download citation
DOI: https://doi.org/10.1007/978-3-319-67180-2_27
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-67179-6
Online ISBN: 978-3-319-67180-2
eBook Packages: EngineeringEngineering (R0)