Skip to main content
SpringerLink
Log in
Book cover

International Conference on Intelligent Decision Technologies

IDT 2017: Intelligent Decision Technologies 2017 pp 37–47Cite as

Using Alloy for Verifying the Integration of OLAP Preferences in a Hybrid What-If Scenario Application

  • Conference paper
  • First Online:

  • 912 Accesses

Part of the book series: Smart Innovation, Systems and Technologies ((SIST,volume 72))

Abstract

Owning the right and high quality set of information is a crucial factor for developing business activities and consequently gaining competitive advantages. However, retrieving information is not enough. 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. Based on this, we designed and developed a specific piece of software especially oriented for discovering the best recommendations for What-If analysis scenarios’ parameters, using OLAP usage preferences. In this paper, we propose a formal description and verification of one of the phases of the hybridization model we developed related to the extraction of OLAP usage preferences. We used Alloy to specify and verify the viability of the process, and discover possible ambiguity and inconsistencies cases.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Agrawal, R., Srikant, R.: Fast algorithms for mining association rules. In: Proceedings of the 20th International Conference on Very Large Data Bases, VLDB, vol. 1215, pp. 487–499 (1994)

    Google Scholar 

  2. Aligon, J., Golfarelli, M., Marcel, P., Rizzi, S., Turricchia, E.: Mining Preferences from OLAP Query Logs for Proactive Personalization. Advances in Databases and Information Systems. Springer, Heidelberg (2011)

    Book  Google Scholar 

  3. AWC: Microsoft Adventure Works Database Example (2017). https://msftdbprodsamples.codeplex.com. Accessed 17 Mar 2017

  4. Bimonte, S., Negre, E.: Evaluation of user satisfaction with OLAP recommender systems: an application to RecoOLAP on an agricultural energetic consumption datawarehouse. Int. J. Bus. Inf. Syst. 21(1), 117–136 (2016)

    Google Scholar 

  5. Clarke, E.M., Wing, J.: Formal methods: state of the art and future directions. ACM Comput. Surv. (CSUR) 28(4), 626–643 (1996)

    Article  Google Scholar 

  6. Giacometti, A., Marcel, P., Negre, E., Soulet, A.: Query recommendations for OLAP discovery driven analysis. In: Proceedings of the ACM Twelfth International Workshop on Data Warehousing and OLAP (2009)

    Google Scholar 

  7. Golfarelli, M., Rizzi S.: Expressing OLAP preferences. In: Scientific and Statistical Database Management. Springer, Heidelberg (2009)

    Google Scholar 

  8. Han, J.: OLAP mining: an integration of OLAP with data mining. In: Proceedings of the 7th IFIP, pp. 1–9 (1997)

    Google Scholar 

  9. Harinarayan, V., Rajaraman, A., Ullman, J.: Implementing data cubes efficiently. ACM SIGMOD Rec. 25(2), 205–216 (1996)

    Article  Google Scholar 

  10. Jackson, D.: Alloy, a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. (TOSEM) 11(2), 256–290 (2002)

    Article  Google Scholar 

  11. Jerbi, H., Ravat, F., Teste, O., Zurfluh, G.: Preference-Based Recommendations for OLAP Analysis. Springer, Heidelberg (2009)

    Book  Google Scholar 

  12. Kießling, W.: Foundations of preferences in database systems. In: Proceedings of the 28th International Conference on Very Large Data Bases, pp. 311–322. VLDB Endowment (2002)

    Google Scholar 

  13. Kozmina, N.: Producing report recommendations from explicitly stated user preferences. Baltic J. Mod. Comput. 3(2), 110 (2015)

    Google Scholar 

  14. Mezzanzanica, M., Boselli, R., Cesarini, M., Mercorio, F.: A model-based approach for developing data cleansing solutions. J. Data Inf. Qual. (JDIQ) 5(4), 13 (2015)

    Google Scholar 

  15. Salem, A., Triki, S., Ben-Abdallah, H., Harbi, N., Boussaid, O.: Verification of security coherence in data warehouse designs. In: Trust, Privacy and Security in Digital Business, pp. 207–213. Springer, Heidelberg (2012)

    Google Scholar 

  16. Sen, S., Chaki, N., Cortesi, A.: Optimal space and time complexity analysis on the lattice of cuboids using galois connections for data warehousing. In: 4th International Conference Computer Sciences and Convergence Information Technology (ICCIT 2009), pp. 1271–1275. IEEE (2009)

    Google Scholar 

  17. Stefanov, G.: Formal methods for conflict detection during multi-dimensional data mart integration. In: International Conference on Application of Information and Communication Technology and Statistics in Economy and Education (ICAICTSEE), p. 232 (2013)

    Google Scholar 

  18. Varga, J., Romero, O., Pedersen, T. B., Thomsen, C.: Towards next generation BI systems: the analytical metadata challenge. In: Data Warehousing and Knowledge Discovery, pp. 89–101 (2014)

    Google Scholar 

  19. Zhao, J., Ma, H.: Quality-assured design of on-line analytical processing systems using abstract state machines. In: Proceedings of the Fourth International Conference on Quality Software (QSIC 2004), Braunschweig, Germany, pp. 224–231 (2004)

    Google Scholar 

Download references

Acknowledgments

This work has been supported by COMPETE: POCI-01-0145-FEDER-007043 and FCT - Fundação para a Ciência e Tecnologia within the Project Scope: UID/CEC/00319/2013. Our thanks to Nuno Macedo, from HASLab R&D Centre, for the comments and suggestions he did during the specification of this work.

Author information

Authors and Affiliations

  1. School of Engineering, ALGORITMI R&D Center, University of Minho, 4710-057, Braga, Portugal

    Mariana Carvalho & Orlando Belo

Authors
  1. Mariana Carvalho
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Orlando Belo
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Orlando Belo .

Editor information

Editors and Affiliations

  1. Maritime University , Gdynia, Poland

    Ireneusz Czarnowski

  2. Bournemouth University and KES International, Poole, Dorset, United Kingdom

    Robert J. Howlett

  3. University of Canberra, Canberra, Aust Capital Terr, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Cite this paper

Carvalho, M., Belo, O. (2018). Using Alloy for Verifying the Integration of OLAP Preferences in a Hybrid What-If Scenario Application. In: Czarnowski, I., Howlett, R., Jain, L. (eds) Intelligent Decision Technologies 2017. IDT 2017. Smart Innovation, Systems and Technologies, vol 72. Springer, Cham. https://doi.org/10.1007/978-3-319-59421-7_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-59421-7_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-59420-0

  • Online ISBN: 978-3-319-59421-7

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation