Publicação
Especificação e validação de processos ETL em Alloy
| Resumo: | O desenvolvimento de processos ETL é uma tarefa dispendiosa e complexa. Não admira, pois, o cuidado que os seus implementadores têm, em particular, durante as suas fases de planeamento e análise. Muito trabalho tem sido desenvolvido em prol do estabelecimento de novos e melhores métodos e técnicas de modelação conceptual e lógica destes processos. Todavia, ainda ocorrem inúmeros problemas durante as primeiras fases de execução dos processos de ETL, muitos deles provocados por erros de análise, de desenvolvimento, ou de simples esquecimento. Como tal, é vital que antes da entrada destes processos em produção, eles sejam submetidos a algum tipo de mecanismo que permita validá-los e comprovar a sua correção, relativamente àquilo que se espera que eles realizem. A utilização da linguagem Alloy na especificação e validação de processos ETL oferece esse tipo de validação. Neste trabalho de dissertação, suportado por um caso de estudo específico, Alloy é estudada, utilizada e avaliada quanto à sua aplicação na especificação formal e validação de processos ETL. |
|---|---|
| Autores principais: | Capelo, Mariana Almeida Brandão |
| Assunto: | Data warehousing Sistemas de ETL Especificação e verificação de sistemas de ETL Alloy ETL systems Specification and Validation of ETL |
| Ano: | 2018 |
| País: | Portugal |
| Tipo de documento: | dissertação de mestrado |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade do Minho |
| Idioma: | português |
| Origem: | RepositóriUM - Universidade do Minho |
| Resumo: | O desenvolvimento de processos ETL é uma tarefa dispendiosa e complexa. Não admira, pois, o cuidado que os seus implementadores têm, em particular, durante as suas fases de planeamento e análise. Muito trabalho tem sido desenvolvido em prol do estabelecimento de novos e melhores métodos e técnicas de modelação conceptual e lógica destes processos. Todavia, ainda ocorrem inúmeros problemas durante as primeiras fases de execução dos processos de ETL, muitos deles provocados por erros de análise, de desenvolvimento, ou de simples esquecimento. Como tal, é vital que antes da entrada destes processos em produção, eles sejam submetidos a algum tipo de mecanismo que permita validá-los e comprovar a sua correção, relativamente àquilo que se espera que eles realizem. A utilização da linguagem Alloy na especificação e validação de processos ETL oferece esse tipo de validação. Neste trabalho de dissertação, suportado por um caso de estudo específico, Alloy é estudada, utilizada e avaliada quanto à sua aplicação na especificação formal e validação de processos ETL. |
|---|