Tratamento de exceções em ambientes modulares

Abstract

É estudado o problema de tratamento de exceções, com vistas a ambientes modulares. É feita uma caracterização inicial do problema, sendo identificados os requisitos que um mecanismo de tratamento de exceções em ambientes modulares deve possuir. A seguir, são discutidas e analisadas as propostas recentemente feitas para resolver o problema, sendo, cada uma delas, confrontada com os requisitos antes mencionados. É proposto, então, um mecanismo que assegura tais requisitos. A ênfase principal dada ao mecanismo proposto e a sua aplicabilidade a ambientes modulares e sua capacidade de verificação.

The exception handling problem is studied, especially in the case of modular environments. The problem is characterized, and the requirements that a mechanism for handling exceptions in such environments must have are identified. Current approaches for dealing with the problem are analized and evaluated with respect to those requirements. A mechanism for handling exceptional conditions in modular environments that fits the requirements is proposed. The main characteristics of the mechanism are its applicability in modular environments and the enforcement of verifiability.