33
Trabalho Final de Curso Orientadora: Prof a . Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento de Ciência da Computação Simulador de Serviços Web Semânticos com Injeção e Recuperação de Falhas Salvador, 15 de julho de 2011

Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

Embed Size (px)

Citation preview

Page 1: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

Trabalho Final de Curso

Orientadora: Profa. Daniela Barreiro ClaroGraduando: Anderson Tiago Barbosa de Carvalho

Universidade Federal da BahiaInstituto de Matemática

Departamento de Ciência da Computação

Simulador de Serviços Web Semânticos com Injeção e Recuperação de Falhas

Salvador, 15 de julho de 2011

Page 2: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

2/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

SumárioContextualização

Motivação

O Trabalho

Serviços Web

Injeção de falhas

Implementação do simulador

Trabalhos relacionados

Experimentos

Conclusão

Page 3: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

3/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Contextualizando

• Constituem uma forma de disponibilização de funcionalidades de um sistema de informação na Web por meio de tecnologias padronizadas (ALONSO et al., 2003).Serviços Web

• “Explosão” do uso da internet

• Comunicação entre aplicações distintas XML

• Autogerenciamento Descrição semântica

Page 4: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

4/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Motivação

• É difícil prever o funcionamento de um serviço ou composição

• Qualidade de Serviço (QoS)- Situação se agrava em sistemas autonômicos

• Importância da existência de um ambiente onde serviços possam ter seus ciclos de vida testados e avaliados

• Simulação

Page 5: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

5/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

O TrabalhoSimulador de Serviços e Composições Web Semânticas

Injeção de Falhas

Recuperação de Falhas

Estatísticas de execuções

Page 6: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

6/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Serviços Web

Interligar aplicações

Conectar programasatravés de diferentes pontos do mundo e

transportar informações de maneira mais

eficiente ebarata (NEWCOMER,

2002)

Necessidade de padrão de desenvolvimento

CORBADCOM

JAVA RMI

Page 7: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

7/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Serviços Web

Arquitetura SOA • SOAP – Padrão de troca de

mensagens XML

• WSDL – Linguagem de descrição de serviços

Page 8: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

8/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Serviços Web

Figura: Arquitetura SOA (HAAS, 2003)

Page 9: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

9/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Serviços Web Semânticos

Web Semântica

Extensão da web convencional

Criada com o objetivo principal de estruturar dados

Interpretação por máquinas

Serviços Web Semânticos

Page 10: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

10/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Serviços Web Semânticos•WSDL – Acesso aos serviços•Descrição Semântica

▫OWL-S -> Descrever de forma semântica um serviço (MARTIN et al., 2004)

Figura: Ontologias do OWL-S (MARTIN et al., 2004)

Page 11: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

11/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Composições de Serviços Web Semânticos

Junção de dois ou mais serviços

Objetivos Complexos

Otimização e integração de negócios

Alta Complexidade

Falhas e Recuperação

Page 12: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

12/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Introdução intencional e controlada de falhas em

uma aplicação alvo para observar seu comportamento (ARLAT et al., 1990).

Falhas ocasionais

podem demorar ou

nunca ocorrer

Aceleração do processo

Injeção de Falhas

Page 13: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

13/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Injeção de Falhas

A

F

MR

Page 14: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

14/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Injeção de Falhas

•O que é uma falha ?

Falha Erro Defeito

Page 15: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

15/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Injeção de Falhas

•Tipos de FalhasQueda

• Servidor para de responder

Omissão

• Recepção• Envio

Temporização

• Resposta fora do intervalo de tempo definido

Resposta

• Resposta incorreta

Arbitrária

• Respostas arbitrárias

Page 16: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

16/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Injeção de Falhas via Software

Não necessita de Hardware específico

Adaptável

Baixo custo de desenvolvimento

Page 17: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

17/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Injeção de Falhas via Software

•Tipos

•Código fonte alterado

Compilação

•Gatilhos baseados no tempo

•Gatilhos baseados em interrupções

•Inserção de código

Execução

•Corrupção, perda ou reordenação de pacotes

Rede

Page 18: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

18/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Recuperação de Falhas

Reexecução

Substituição

Salto

• Igual• Equivalent

e

Page 19: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

19/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Implementação do simulador•Projeto Estrutural

MVC

• Model• View• Controlle

r

Injeção

• Tempo de execução• Inserçã

o de código

Recuperação

• Estrutura MDR

Page 20: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

20/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Implementação do simulador•Projeto Estrutural

Figura: MVC Simulador

Page 21: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

21/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Funcionamento do simulador

Page 22: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

22/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Trabalhos relacionados

MB-XP FIRE

JACA FIAT

Page 23: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

23/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Trabalhos relacionados

Tabela: Comparação entre ferramentas

Page 24: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

24/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Experimentos

Objetivos

Funcionamento elementos interface

Execução correta de Serviços

Injeção de FalhasRecuperação de Falhas

Escalabilidade

Page 25: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

25/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Experimentos

Experimento 1 – Execução Sem Falhas

Experimento 2 – Falha e Recuperação do tipo Retry

Experimento 3 – Falha e Recuperação do tipo Replace By Equal

Experimento 4 – Falha e Recuperação do tipo Replace By Equivalent

Experimento 5 – Falha e Recuperação do tipo Skip

Experimento 6 – Escalabilidade

Page 26: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

26/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Experimentos

•Resultados

Execução correta

Injeção e recuperação

(*Similaridade Semântica)

Funcionamento correto dos

elementos de interface

Suporte a crescimento do

número de requisições

Page 27: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

27/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Conclusão

Contribuições de ambientes de simulação• Validação• Desempenho

Simulador implementado• Oferece oportunidade de execução, injeção

e recuperação de falhas em Serviços Web Semânticos

• Fornece informações estatísticas

Page 28: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

28/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Conclusão

Dificuldades encontradas• Falta de documentação

• Falta de domínio da tecnologia

Page 29: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

29/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Conclusão

Trabalho Futuros

Melhoria em elementos gráficos da interface (layout)Outros métodos de injeçãoOutros métodos de recuperaçãoTestes comparativosModificação em estrutura do OWL-S Discovery

Page 30: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

30/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Agradecimentos

• Deus e minha família

• Orientadora: Daniela Barreiro Claro

• Professores do IM/DCC

• Amigos

Page 31: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

31/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Perguntas ?

OBRIGADO PELA PRESENÇA !

Page 32: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

32/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Referências• ALONSO, G.; CASATI, F.; KUNO, H.; MACHIRAJU, V. Web

Services - Concepts, Architectures and Applications. 1. ed. [S.l.]: Springer, 2003.

• ARLAT, J.; AGUERA, M.; AMAT, L.; CROUZET, Y.; FABRE, J.-C.; LAPRIE, J.-C.; MARTINS, E.; POWELL, D. Fault injection for dependability validation: a methodology and some applications. IEEE Transactions on Software Engineering, IEEE, 1990.

• HAAS, H. Designing the architecture for Web services. Maio 2003. Último acesso 08 de Julho de 2011. Disponível em: http://www.w3.org/2003/Talks/0521-hh-wsa/slide5-0.html.

• NEWCOMER, E. Understanding Web Services: XML, WSDL, SOAP and UDDI. [S.l.]:Addison-Wesley Longman Publishing, 2002.

Page 33: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento

33/33

Anderson Carvalho MATA67 - Projeto Final de Curso II

Referências• MARTIN, D.; BURSTEIN, M.; HOBBS, J.; LASSILA, O.;

MCDERMOTT, D.; MCILRAITH, S.; NARAYANAN, S.; PAOLUCCI, M.; PARSIA, B.; PAYNE, T.; SIRIN, E.; SRINIVASAN, N.; SYCARA, K. OWL-S Semantic Markup for Web Services. Novembro 2004. Último acesso em 09 de Julho de 2011. Disponível em: http://www.w3.org/Submission/OWL-S/.

• FERREIRA, M. R.; CLARO, D. B.; LOPES, D. C. P. Integração do mecanismo de self-healing no tratamento das composição de sistemas de informação através dos serviços web semânticos. In: VII Simpósio Brasileiro de Sistemas de Informação. [S.l.: s.n.], 2011.

• AMORIM, R.; CLARO, D. B.; LOPES, D.; ALBERS, P.; ANDRADE, A. International conference on web services. In: IEEE 9th International Conference on Web Services. [s.n.], 2011. Disponível em: http://conferences.computer.org/icws/2011/.