Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Learning Bayesian Network to Predict Group Emotion in Kindergarten by Evolutionary Computation Read chapter Read first chapter

2018 | OriginalPaper | Chapter

Inception and Specification of What-If Scenarios Using OLAP Usage Preferences

Authors : Mariana Carvalho, Orlando Belo

Published in: International Joint Conference SOCO’17-CISIS’17-ICEUTE’17 León, Spain, September 6–8, 2017, Proceeding

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter A Data-Driven Approach to Dialog Structure Modeling
next chapter Analysing the Effect of Recent Anti-pollution Policies in Madrid City Through Soft-Computing
Literature
1.
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)
2.
3.
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)
4.
Golfarelli, M., Rizzi, S., Proli, A.: Designing What-If analysis: towards a methodology. In: DOLAP 2006, Arlington, Virginia, USA, pp. 51–58 (2006)
5.
Harinarayan, V., Rajaraman, A., Ullman, J.: Implementing data cubes efficiently. ACM SIGMOD Record 25(2), 205–216 (1996)CrossRef
6.
Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT press, Cambridge (2012)
7.
Kellner, M.I., Madachy, R., Raffo, D.: Software process simulation modeling: why? what? how? J. Syst. Softw. 46(2), 91–105 (1999)CrossRef
8.
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)
9.
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)CrossRef
10.
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)
11.
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)
12.
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)
13.
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)
14.
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)CrossRef
15.
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)
16.
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)
17.
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)
18.
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)
Metadata
Title
Inception and Specification of What-If Scenarios Using OLAP Usage Preferences
Authors
Mariana Carvalho
Orlando Belo
Copyright Year
2018
Book
International Joint Conference SOCO’17-CISIS’17-ICEUTE’17 León, Spain, September 6–8, 2017, Proceeding

Print ISBN: 978-3-319-67179-6

Electronic ISBN: 978-3-319-67180-2

Copyright Year: 2018

DOI
https://doi.org/10.1007/978-3-319-67180-2_27

Premium Partner

    Image Credits