Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/54390
Título: | Using alloy for verifying the integration of OLAP preferences in a hybrid what-if scenario application |
Autor(es): | Carvalho, Mariana Belo, Orlando |
Palavras-chave: | Alloy Analysis systems specification Decision support systems On-Line Analytical Processing Usage preferences What-If analysis |
Data: | 2018 |
Editora: | Springer |
Revista: | Smart Innovation Systems and Technologies |
Resumo(s): | 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. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/54390 |
ISBN: | 978-3-319-59420-0 |
e-ISBN: | 978-3-319-59421-7 |
DOI: | 10.1007/978-3-319-59421-7_4 |
ISSN: | 2190-3018 |
e-ISSN: | 2190-3026 |
Arbitragem científica: | yes |
Acesso: | Acesso restrito UMinho |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
2017-CI-KES-IDT-CarvalhoBelo-CRP.pdf Acesso restrito! | 546,98 kB | Adobe PDF | Ver/Abrir |