Uso de semântica de ações na especificação de um sistema de data warehousing

Resumo

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.