Especificação Formal de Instâncias Excepcionais

• Ana Paula Ambrósio UFPE
• Décio Fonseca UFPE

DOI: https://doi.org/10.5753/sbes.1990.24165

Resumo

Ao modelar-se um sistema que representa o mundo real geralmente não é possível prever todos os casos que podem surgir em determinada situação. Querer incluir casos excepcionais na modelagem do sistema pode levar à generalizações desnecessárias visto que eles podem eventualmente nem ocorrer. Além disto, esta prática fere um dos princípios básicos da engenharia de software — a abstração. Neste trabalho apresentamos uma forma de tratarmos ocorrências atípicas que podem surgir quando se utiliza um sistema de banco de dados e faremos a especificação formal de um tratamento de exceções para instâncias atípicas dentro do Modelo Estático/Dinâmico.

Referências

Mônica Bandeira. Modelo Estático/Dinâmico (E/D) de Dados. Master's thesis, Universidade Federal de Pernambuco, December 1989.

Alexander Borgida. Features of languages for the development of information systems at the conceptual level. IEEE Software, January 1985.

L. Cardelli and J. Donahue et al. Modula-3 Report. Technical Report, Digital Systems Research Center, August 1988.

Décio Fonseca. Une Mecanisme d'Activation et Controle de Declencheurs Orienteé Objets. PhD thesis. Univeridade PARIS VI, 1987.

Décio Fonseca. Projeto APOIO: um Ambiente para Concepção de Banco de Dados. Technical Report, Universidade Federal de Pernambuco, 1989.

Valerie Issarny. Le Traitement d'Exceptions: Aspects Theoriques et Pratiques. Technical Report, INRIA, November 1989.