Tolerância a Falhas em Soluções de Integração de Aplicações Projetadas Com a Tecnologia Guaraná

Programas/Linhas de Pesquisa (Mestrados/Doutorados):
Modelagem Matemática/ Modelagem Matemática e Computacional, Otimização e Controle de Sistemas

Grupos/Linhas de pesquisa:
Grupo de Pesquisa em Computação Aplicada - GCA/ Engenharia de Software

Duração: 01/09/2013 até 31/10/2019

Acesse o Site do Projeto

Participantes:

• Coordenador
  • Sandro Sawicki ( 01/09/2013 à 31/12/2018)
• Estudante de pós-graduação
  • Alexsandro Queiroz Lencina ( 01/04/2015 à 28/02/2017)
  • Jussiano Regis Pacheco ( 01/01/2017 à 01/05/2018)
• Pesquisador institucional
  • Fabricia Carneiro Roos Frantz ( 01/09/2013 à 31/12/2018)
  • Rafael Zancan Frantz ( 01/09/2013 à 31/12/2018)

Resumo:

A demanda pela integração de aplicações tem motivado o desenvolvimento de novas ferramentas de projeto e implementação, tais como Camel, Spring Integration, Mule e Guaraná. Como uma aplicação qualquer, uma solução de integração pode falhar durante sua execução. No que tange o conhecimento dos autores, a tecnologia Guaraná é a única proposta que fornece um mecanismo de detecção de erros com base em um sistema de monitoramento externo que pode ser configurado usando uma linguagem baseada em regras para auxiliar na detecção de erros. Essa linguagem possibilita a inserção de restrições para expressar o comportamento da solução de integração. Por outro, entende-se que a construção de um modelo que descreva precisamente uma solução de integração deve ser implementado por meio da formalização matemática. Apesar de todas as características e funcionalidades da tecnologia Guaraná, ela ainda não foi formalizada. Baseado nessas informações, este projeto de pesquisa propõe a formalização da linguagem de domínio específico da tecnologia Guaraná. Com a formalização dessa tecnologia será possível, não só validar as regras escritas pelos engenheiros de software para detectar erros, como cobrir todas as possibilidades de falha em uma determinada solução de integração. Além disso, será possível gerar de forma automatizada todas as regras com base na semântica da solução.

Obs: Essas informações são de responsabilidade do coordenador do projeto.