Tese

Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas (2007)

• Authors:
  • Pereira, David Paulo
  • Melo, Ana Cristina Vieira de (Orientador)
• Autor USP: PEREIRA, DAVID PAULO - IME
• Unidade: IME
• Sigla do Departamento: MAC
• Subjects: TÉCNICAS DE PROGRAMAÇÃO; CORREÇÃO DE PROGRAMAS
• Language: Português
• Abstract: A adoção em larga escala de redes de computadores e gerenciadores de banco de dados contribuiu para o surgimento de sistemas de informação complexos. Atualmente, estes sistemas tornaram-se elementos essenciais na vida das pessoas, dando suporte a processos de negócio e serviços corporativos indispensáveis à sociedade, como automação bancária e telefonia. A utilização de componentes na estruturação destes sistemas promove maior qualidade e flexibilidade ao produto e agiliza o processo de desenvolvimento. Entretanto, para que estes benefícios sejam totalmente observados, é fundamental que os provedores de componentes de prateleira projetem especificações precisas, completas e consistentes. Geralmente, as especificações omitem ou negligenciam o comportamento dos componentes nas situações de falha. Desta forma, a utilização de componentes não confiáveis, cujos comportamentos não podem ser inteiramente previstos, compromete seriamente o projeto de sistemas tolerantes a falhas. Uma estratégia para a especificação de componentes tolerantes a falhas é informar a ocorrência de erros através de exceções e realizar a recuperação dos mesmos por rotinas de tratamento correspondentes. A especificação deve separar claramente o comportamento normal do excepcional, destinado à recuperação do erro. Entretanto, em sistemas concorrentes e distribuídos, a especificação apenas deste tratamento local não é suficiente. Uma exceção pode ser lançada em decorrência de erros sistêmicos(i.e. problemas de rede) que afetam todo o sistema. Assim, determinadas exceções devem ser tratadas em nível arquitetural, envolvendo os demais componentes no tratamento. O modelo conceitual de ações Atômicas Coordenadas (ações CA - Coordinated Atomic actions), bastante aplicado na estruturação de sistemas tolerantes a falhas, define um mecanismo geral para a coordenação do tratamento ) excepcional dos componentes, que cooperam na execução das atividades e competem por recursos compartilhados. Portanto, o modelo de ações CA oferece uma solução potencialmente viável para a especificação do tratamento de exceções em nível arquitetural. Este trabalho promete um framework para a especificação do tratamento de exceções em nível arquitetural, baseando-se no modelo de aninhamento de ações CA e utilizando a linguagem orientada a eventos CSP (Communicating Sequential Processes). Sua principal característica é prover um protocolo padronizado para a coordenação do tratamento de exceções, que envolve a cooperação dos componentes do sistema. Além disso, é apresentada uma estratégia para a verificação formal dos sistemas na ferramenta FDR (Failure Divergence Refinement), com base no modelo de refinamento por rastros
• Imprenta:
  • Publisher place: São Paulo
  • Date published: 2007
• Data da defesa: 09.03.2007


---

How to cite

A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

• ABNT

  PEREIRA, David Paulo. Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08052007-130443/. Acesso em: 26 jan. 2026.

• APA

  Pereira, D. P. (2007). Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08052007-130443/

• NLM

  Pereira DP. Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas [Internet]. 2007 ;[citado 2026 jan. 26 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08052007-130443/

• Vancouver

  Pereira DP. Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas [Internet]. 2007 ;[citado 2026 jan. 26 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08052007-130443/

Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

• A formal architectural model for exception handling coordination