Tratamento de exceções no desenvolvimento de sistemas tolerantes a falhas baseadas em componentes

Detalhes bibliográficos
Ano de defesa: 2006
Autor(a) principal: Lima Filho, Fernando Jose Castor de
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: [s.n.]
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: https://hdl.handle.net/20.500.12733/1606176
Resumo: Orientador: Cecilia Mary Fischer Rubira
id UNICAMP-30_79af1c54779c12d984b8bc8c4c00815f
oai_identifier_str oai::415406
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Tratamento de exceções no desenvolvimento de sistemas tolerantes a falhas baseadas em componentesException handling in the development of fault-tolerant component-based systemsTolerância à falha (Computação)Arquitetura de softwareComponente de softwareFault tolerance (Computing)Software componentsSoftware - ArchitectureOrientador: Cecilia Mary Fischer RubiraTese (doutorado) - Universidade Estadual de Campinas, Instituto de ComputaçãoResumo: Mecanismos de tratamento de exceções foram concebidos com o intuito de facilitar o gerenciamento da complexidade de sistemas de software tolerantes a falhas. Eles promovem uma separação textual explícita entre o código normal e o código que lida com situações anormais, afim de dar suporte a construção de programas que são mais concisos fáceis de evoluir e confáveis. Diversas linguagens de programação modernas e a maioria dos modelos de componentes implementam mecanismos de tratamento de exceções. Apesar de seus muitos benefícios, tratamento de exceções pode ser a fonte de diversas falhas de projeto se usado de maneira indisciplinada. Estudos recentes mostram que desenvolvedores de sistemas de grande escala baseados em infra-estruturas de componentes têm hábitos, no tocante ao uso de tratamento de exceções, que tornam suas aplicações vulneráveis a falhas e difíceis de se manter. Componentes de software criam novos desafios com os quais mecanismos de tratamento de exceções tradicionais não lidam, o que aumenta a probabilidade de que problemas ocorram. Alguns exemplos são indisponibilidade de código fonte e incompatibilidades arquiteturais. Neste trabalho propomos duas técnicas complementares centradas em tratamento de exceções para a construção de sistemas tolerantes a falhas baseados em componentes. Ambas têm ênfase na estrutura do sistema como um meio para se reduzir o impacto de mecanismos de tolerância a falhas em sua complexidade total e o número de falhas de projeto decorrentes dessa complexidade. A primeira é uma abordagem para o projeto arquitetural dos mecanismos de recuperação de erros de um sistema. Ela trata do problema de verificar se uma arquitetura de software satisfaz certas propriedades relativas ao fluxo de exceções entre componentes arquiteturais, por exemplo, se todas as exceções lançadas no nível arquitetural são tratadas. A abordagem proposta lança de diversas ferramentas existentes para automatizar ao máximo esse processo. A segunda consiste em aplicar programação orientada a aspectos (AOP) afim de melhorar a modularização de código de tratamento de exceções. Conduzimos um estudo aprofundado com o objetivo de melhorar o entendimento geral sobre o efeitos de AOP no código de tratamento de exceções e identificar as situações onde seu uso é vantajoso e onde não éAbstract: Exception handling mechanisms were conceived as a means to help managing the complexity of fault-tolerant software. They promote an explicit textual separation between normal code and the code that deals with abnormal situations, in order to support the construction of programs that are more concise, evolvable, and reliable. Several mainstream programming languages and most of the existing component models implement exception handling mechanisms. In spite of its many bene?ts, exception handling can be a source of many design faults if used in an ad hoc fashion. Recent studies show that developers of large-scale software systems based on component infrastructures have habits concerning the use of exception handling that make applications vulnerable to faults and hard to maintain. Software components introduce new challenges which are not addressed by traditional exception handling mechanisms and increase the chances of problems occurring. Examples include unavailability of source code and architectural mismatches. In this work, we propose two complementary techniques centered on exception handling for the construction of fault-tolerant component-based systems. Both of them emphasize system structure as a means to reduce the impactof fault tolerance mechanisms on the overall complexity of a software system and the number of design faults that stem from complexity. The ?rst one is an approach for the architectural design of a system?s error handling capabilities. It addresses the problem of verifying whether a software architecture satis?es certain properties of interest pertaining the ?ow of exceptions between architectural components, e.g., if all the exceptions signaled at the architectural level are eventually handled. The proposed approach is based on a set of existing tools that automate this process as much as possible. The second one consists in applying aspect-oriented programming (AOP) to better modularize exception handling code. We have conducted a through study aimed at improving our understanding of the efects of AOP on exception handling code and identifying the situations where its use is advantageous and the ones where it is notDoutoradoDoutor em Ciência da Computação[s.n.]Rubira, Cecília Mary Fischer, 1964-Borba, Paulo Henrique MonteiroZorzo, Avelino FranciscoBusato, Luiz EduardoMartins, ElianeUniversidade Estadual de Campinas (UNICAMP). Instituto de ComputaçãoPrograma de Pós-Graduação em Ciência da ComputaçãoUNIVERSIDADE ESTADUAL DE CAMPINASLima Filho, Fernando Jose Castor de20062006-11-30T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf222p. : il.(Broch.)https://hdl.handle.net/20.500.12733/1606176LIMA FILHO, Fernando Jose Castor de. Tratamento de exceções no desenvolvimento de sistemas tolerantes a falhas baseadas em componentes. 2006. 222p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1606176. Acesso em: 27 fev. 2025.https://repositorio.unicamp.br/acervo/detalhe/415406porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T05:02:53Zoai::415406Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T05:02:53Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Tratamento de exceções no desenvolvimento de sistemas tolerantes a falhas baseadas em componentes
Exception handling in the development of fault-tolerant component-based systems
title Tratamento de exceções no desenvolvimento de sistemas tolerantes a falhas baseadas em componentes
spellingShingle Tratamento de exceções no desenvolvimento de sistemas tolerantes a falhas baseadas em componentes
Lima Filho, Fernando Jose Castor de
Tolerância à falha (Computação)
Arquitetura de software
Componente de software
Fault tolerance (Computing)
Software components
Software - Architecture
title_short Tratamento de exceções no desenvolvimento de sistemas tolerantes a falhas baseadas em componentes
title_full Tratamento de exceções no desenvolvimento de sistemas tolerantes a falhas baseadas em componentes
title_fullStr Tratamento de exceções no desenvolvimento de sistemas tolerantes a falhas baseadas em componentes
title_full_unstemmed Tratamento de exceções no desenvolvimento de sistemas tolerantes a falhas baseadas em componentes
title_sort Tratamento de exceções no desenvolvimento de sistemas tolerantes a falhas baseadas em componentes
author Lima Filho, Fernando Jose Castor de
author_facet Lima Filho, Fernando Jose Castor de
author_role author
dc.contributor.none.fl_str_mv Rubira, Cecília Mary Fischer, 1964-
Borba, Paulo Henrique Monteiro
Zorzo, Avelino Francisco
Busato, Luiz Eduardo
Martins, Eliane
Universidade Estadual de Campinas (UNICAMP). Instituto de Computação
Programa de Pós-Graduação em Ciência da Computação
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Lima Filho, Fernando Jose Castor de
dc.subject.por.fl_str_mv Tolerância à falha (Computação)
Arquitetura de software
Componente de software
Fault tolerance (Computing)
Software components
Software - Architecture
topic Tolerância à falha (Computação)
Arquitetura de software
Componente de software
Fault tolerance (Computing)
Software components
Software - Architecture
description Orientador: Cecilia Mary Fischer Rubira
publishDate 2006
dc.date.none.fl_str_mv 2006
2006-11-30T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv (Broch.)
https://hdl.handle.net/20.500.12733/1606176
LIMA FILHO, Fernando Jose Castor de. Tratamento de exceções no desenvolvimento de sistemas tolerantes a falhas baseadas em componentes. 2006. 222p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1606176. Acesso em: 27 fev. 2025.
identifier_str_mv (Broch.)
LIMA FILHO, Fernando Jose Castor de. Tratamento de exceções no desenvolvimento de sistemas tolerantes a falhas baseadas em componentes. 2006. 222p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1606176. Acesso em: 27 fev. 2025.
url https://hdl.handle.net/20.500.12733/1606176
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/415406
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
222p. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1829137291564548096