Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho...
Transcript of Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho...
![Page 1: Orientadora: Prof a. Daniela Barreiro Claro Graduando: Anderson Tiago Barbosa de Carvalho Universidade Federal da Bahia Instituto de Matemática Departamento.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/1.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/2.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/3.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/4.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/5.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/6.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/7.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/8.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/9.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/10.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/11.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/12.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/13.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/14.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/15.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/16.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/17.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/18.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/19.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/20.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/21.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/22.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/23.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/24.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/25.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/26.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/27.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/28.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/29.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/30.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/31.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/32.jpg)
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.](https://reader033.fdocumentos.tips/reader033/viewer/2022050816/552fc154497959413d8e4652/html5/thumbnails/33.jpg)
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/.