Uso de semântica de ações na especificação de um sistema de data warehousing
Keywords:
Data warehouse, Semântica de Ações, especificação formalAbstract
Data warehouses são grandes repositórios de dados integrados, construídos para armazenar informações para auxiliar no processo de tomada de decisão. Na Universidade Federal do Paraná, UFPR, foi desenvolvido o projeto SAGU (Sistema de Apoio ao Gerenciamento Universitário), que é um sistema de suporte à decisão, que tem por objetivo prover os administradores daquela universidade com informações que auxiliarão na direção de seus objetivos. O principal componente deste sistema é um data warehouse. Neste artigo nós apresentamos a especificação formal (utilizando Semântica de Ações) do componente Integrador do data warehouse no contexto do projeto SAGU. A especificação obtida foi utilizada para auxiliar no processo de construção do data warehouse e pode ser considerada parte da documentação do projeto de um data warehouse real.
Downloads
Published
Issue
Section
License
Authors keep copyrights and conced to the magazine the right of first publication, with the paper also licensed up Creative Commons Attribution License, wich alows sharing the paper with credits to the author and initial publication in this magazine.
This journal provides open access to all of it content on the principle that making research freely available to the public supports a greater global exchange of knowledge. Such access is associated with increased readership and increased citation of an author's work. For more information on this approach, see the Public Knowledge Project, which has designed this system to improve the scholarly and public quality of research, and which freely distributes the journal system as well as other software to support the open access publishing of scholarly resources. The names and email addresses entered in this journal site will be used exclusively for the stated purposes of this journal and will not be made available for any other purpose or to any other party.
