Adriano Machado Pereira Orientador: Wagner Meira Jr. Co-orientador: Sérgio Campos

Transcrição

1 Adriano Machado Pereira Orientador: Wagner Meira Jr. Co-orientador: Sérgio Campos Universidade Federal de Minas Gerais Departamento de Ciência da Computação 5 de agosto de 2003 e-commerce, Systems Performance Evaluation, and Experimental Development Laboratory

2 Comércio eletrônico Popularização; Usuários web mais exigentes; Serviços cada vez mais complexos; Difícil projeto. Processo de concepção de sistemas de comércio eletrônico: maioria das abordagens são ad-hoc Sistemas menos confiáveis; Alto custo. 2

3 Garantir a corretude de sistemas de comércio eletrônico: Tarefa não trivial; Testes e simulações são pouco eficientes. Qual a solução? Metodologia específica (CAFE); Uso de métodos formais. 3

4 Erros existentes nos sites são empecilhos para um maior crescimento do comércio eletrônico, pois podem trazer prejuízos para os usuários web, site ou ambos, dependendo de sua natureza; Processos de engenharia de software voltados para sistemas genéricos (RUP, Praxis); Ausência de metodologia (grau de formalidade) específica para sistemas de comércio eletrônico. 4

5 Elaboração de uma metodologia que utiliza métodos formais, mais especificamente verificação de modelos, para projetar sistemas de comércio eletrônico e verificar automaticamente se suas regras de negócio são satisfeitas; Validação da metodologia através de estudos de caso de comércio eletrônico. 5

6 Baseia-se na metodologia CAFE de especificação de sistemas de comércio eletrônico; Utiliza métodos formais; Estende a CAFE definindo um método que possibilita a verificação de modelos de sistemas de comércio eletrônico; Incremental e dividida em 4 níveis. 6

7 Regras De Negócio Model. Model. Model. Sistema Correto Espec. Espec. Espec. Verif. Verif. Verif. 7

8 Estudo de caso: Livraria virtual 71 propriedades verificadas; Modelo com mais de estados. Tipos de erros observados: Completeza do modelo; Transitividade; Suporte transacional (Atomicidade, Consistência, Isolamento). Outro estudo de caso: leilão eletrônico.

9 Definição de uma metodologia que possibilita: Identificar antecipadamente erros no projeto; Projetar sistemas de comércio eletrônico mais confiáveis e robustos. Oportunidade de estender o trabalho a outras áreas de aplicação; Demonstração que a aplicação de técnicas formais pode ser útil e promissora. 9

10 Área pouco explorada; A aplicação de verificação de modelos em comércio eletrônico tem se mostrado promissora; Processo de verificação em sistemas de software não é trivial, porém a definição de uma metodologia para tal é necessária e tende a atrair pessoas para a área. 10

11 SBC WMF 02 (Gramado RS Brasil) Uma Metodologia para Verificação de Modelos de Sistemas de Comércio Eletrônico IEEE ICFEM 02 (Shanghai China) A Methodology to Specify e- Commerce Systems ICECR-5 (Montreal Canada) -CAFE Methodology: an E-commerce System's Case Study 11

12 EBR 02 (Rio de Janeiro Brasil) Model Checking Patterns for e-commerce Systems Electronic Commerce Research Journal (Kluwer - Submetido em Dez/2002) The -CAFE Methodology and Model Checking Patterns in the Specification of E- commerce Systems 12

13 Concluído: Definição de padrões para especificação formal de regras de negócio de comércio eletrônico; Definição de padrões para construção do modelo formal proposto pela metodologia; Em andamento: Definição de um processo unificado, que utilize a metodologia -CAFE e a linguagem UML (Processo UML-CAFE); Utilização de SPE (Software Performance Engineering) para sistemas de comércio eletrônico. 13

14