Ir para o conteúdo PPGCC Ir para o menu PPGCC Ir para a busca no site PPGCC Ir para o rodapé PPGCC
  • Acessibilidade
  • Sítios da UFSM
  • Área restrita

Aviso de Conectividade Saber Mais

Início do conteúdo

Defesa de dissertacao – 18/04 – 09:00 – Sala 321 – Um Framework baseado em Padrões de Segurança para Transformações de Modelos



Título: Um Framework baseado em Padrões de Segurança para Transformações de Modelos
Data: 18/04/2012
Horário: 09hs
Local:  Sala 321 do Centro de Tecnologia da UFSM.

Aluno: Fábio Sarturi Prass
Orientadora: Profª. Drª. Lisandra Manzoni Fontoura
Co-Orientador: Prof. Dr. Osmar Marchi dos Santos

Banca Examinadora:
Lisandra Manzoni Fontoura, Drª. (UFSM) – Presidente/Orientadora
Osmar Marchi dos Santos, Dr. (UFSM) – Co-orientador
Eugênio de Oliveira Simonetto, Dr. (UFSM)
Rodrigo dos Santos Keller, Dr. (ULBRA)
Eduardo Kessler Piveta, Dr. (UFSM) – Suplente

Resumo:

O aumento da automatização nos processos de desenvolvimento de sistemas vem ganhando espaço no contexto atual devido ao aumento da complexidade. Com isto, cada vez mais surgem ferramentas baseadas na ideia de geração automática de código a partir de modelos. Por causa desta complexidade, os sistemas de informação estão sujeitos a erros e vulnerabilidades. Com isso, surgem as necessidades do aumento da automatização e do nível de abstração no desenvolvimento de software, permitindo assim uma maior segurança na aplicação. Essas necessidades são respondidas pela utilização da abordagem da Engenharia Dirigida por Modelos que permite a modelagem e aplicação de transformações sobre os modelos, visando à obtenção do software de forma automatizada. Este trabalho propõe um framework baseado em padrões de segurança orientado a modelo, fornecendo diretrizes para implementação do modelo, a validação correta do uso dos padrões. A segurança é inserida implicitamente no sistema por meio de transformação entre modelos e codificação automática, garantindo que a segurança não será violada em nenhum nível e não será suscetível a erros ou alterações do código. Estas transformações são definidas através de uma sintaxe XMI e um conjunto de regras implementadas em linguagem Java e ATL, e podem ser posteriormente executadas de maneira unidirecional, através da aplicação de transformações implementada para apoiar o uso da abordagem proposta. É apresentado também, um exemplo de transformação de modelos para a plataforma Java.


Publicações Recentes