Especificação e validação de processos ETL em Alloy

Abstract

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.

The development of ETL processes is an expensive and complex task, hence the attention and care given by its developers, especially during the planning and analysis stages. A lot of effort has been put into establishing new and improved methods and techniques for ETL processes logical and conceptual modelling. However, even with the given attention, several problems occur during the first stages of the execution of ETL processes, a lot of them caused by analysis errors, development errors, or simply due to forgetfulness. Thus, it is vital that, before these processes are deployed into production, they are submitted to some mechanism which enables their validation and offers proofs about their correctness. The use of Alloy language for the specification and validation of ETL processes provides this kind of validation. In this dissertation work, supported by a specific study case, the Alloy language is studied, applied and evaluated regarding its application in the formal specification and validation of ETL processes.