Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/54396
Título: | Towards a formal validation of ETL patterns behaviour |
Autor(es): | Oliveira, Bruno Belo, Orlando Macedo, Nuno |
Palavras-chave: | Data Warehousing Systems ETL systems ETL patterns Component-reuse Alloy ETL systems formal specification |
Data: | Set-2016 |
Editora: | Springer International Publishing AG |
Revista: | Lecture Notes in Computer Science |
Resumo(s): | The development of ETL systems has been the target of many research efforts to support its development and implementation. In the last few years, we presented a pattern-oriented approach to develop these systems. Basically, patterns are comprised by a set of abstract components that can be configured to enable its instantiation for specific scenarios. Even when using high-level components, the ETL systems are very specific processes that represent complex data requirements and transformation routines. Several operational requirements need to be configured and system correctness is hard to validate, which can result in several implementation problems. In this paper, a set of formal specifications in Alloy is presented to express the structural constraints and behaviour of a slowly changing dimension pattern. Then, specific physical models can be generated based on formal specifications and constraints defined in an Alloy model, helping to ensure the correctness of the configuration provided. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/54396 |
ISBN: | 9783319455464 |
DOI: | 10.1007/978-3-319-45547-1_13 |
ISSN: | 0302-9743 |
Arbitragem científica: | yes |
Acesso: | Acesso restrito autor |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
2016-CI-MEDI-OliveiraEtAl-CRP.pdf Acesso restrito! | 496,75 kB | Adobe PDF | Ver/Abrir |