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

Detalhes bibliográficos
Autor(a) principal: Capelo, Mariana Almeida Brandão
Data de Publicação: 2018
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/1822/64111
Resumo: Dissertação de mestrado em Engenharia Informática
id RCAP_86500f0f5b97205f37c630c8893817bf
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/64111
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Especificação e validação de processos ETL em AlloySpecification and validation of ETL processes in AlloyData warehousingSistemas de ETLEspecificação e verificação de sistemas de ETLAlloyETL systemsSpecification and Validation of ETLEngenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e InformáticaDissertação de mestrado em Engenharia InformáticaO 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.Belo, OrlandoUniversidade do MinhoCapelo, Mariana Almeida Brandão20182018-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/1822/64111por202335631info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:09:44Zoai:repositorium.sdum.uminho.pt:1822/64111Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:01:13.458824Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Especificação e validação de processos ETL em Alloy
Specification and validation of ETL processes in Alloy
title Especificação e validação de processos ETL em Alloy
spellingShingle Especificação e validação de processos ETL em Alloy
Capelo, Mariana Almeida Brandão
Data warehousing
Sistemas de ETL
Especificação e verificação de sistemas de ETL
Alloy
ETL systems
Specification and Validation of ETL
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
title_short Especificação e validação de processos ETL em Alloy
title_full Especificação e validação de processos ETL em Alloy
title_fullStr Especificação e validação de processos ETL em Alloy
title_full_unstemmed Especificação e validação de processos ETL em Alloy
title_sort Especificação e validação de processos ETL em Alloy
author Capelo, Mariana Almeida Brandão
author_facet Capelo, Mariana Almeida Brandão
author_role author
dc.contributor.none.fl_str_mv Belo, Orlando
Universidade do Minho
dc.contributor.author.fl_str_mv Capelo, Mariana Almeida Brandão
dc.subject.por.fl_str_mv Data warehousing
Sistemas de ETL
Especificação e verificação de sistemas de ETL
Alloy
ETL systems
Specification and Validation of ETL
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
topic Data warehousing
Sistemas de ETL
Especificação e verificação de sistemas de ETL
Alloy
ETL systems
Specification and Validation of ETL
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
description Dissertação de mestrado em Engenharia Informática
publishDate 2018
dc.date.none.fl_str_mv 2018
2018-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/64111
url http://hdl.handle.net/1822/64111
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv 202335631
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132410561953792

Registros relacionados