Resumo
A dissertação pretende analisar o problema de manutenção de restrições de integridade dinâmicas no contexto de automação de escritórios. O trabalho propõe uma metodologia para a especificação e manutenção de restrições de integridade dinâmica fundamentada em três níveis de abstração: - nível de informação onde são especificados os dados e restrições; - nível funcional onde são descritas a…