Um Framework baseado em Padrões de Segurança para Transformações de Modelos. Esse é o título da Dissertação de autoria de Fábio Sarturi Prass, que sob a orientação do professores Lisandra Manzoni Fontoura (orientadora) e Osmar Marchi dos Santos (co-orientador), defende sua pesquisa nesta quarta-feira (18), às 9h, na sala 321 do Centro de Tecnologia da UFSM.

A Banca Examinadora está composta pelos docentes Lisandra Manzoni Fontoura, Osmar Marchi dos Santos, Eugênio de Oliveira Simonetto, Rodrigo dos Santos Keller (ULBRA), e Eduardo Kessler Piveta.

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.

Daniel Biasoli , por sua vez, defende sua Dissertação, Avaliação de Ações Preventivas de Riscos utilizando Teoria de Decisão e Redes de Petri Coloridas, às 14h desta quarta (18), também na sala 321 do Centro de Tecnologia. Sob a orientação e presidência da professora Lisandra Manzoni Fontoura, o trabalho será avaliado pela Banca constituída ainda pelos professores Rodrigo dos Santos Keller (ULBRA), Luis Felipe Dias Lopes, e Marcos Cordeiro d'Ornellas.

Resumo: O gerenciamento de riscos em projetos de software envolve a definição de ações para  prevenir riscos identificados para o projeto, visando minimizar seus efeitos ou eliminá-los. A definição de ações preventivas e, principalmente, a avaliação da eficácia destas na eliminação de um risco, não é uma tarefa trivial. O objetivo desta pesquisa é identificar e propor um método de avaliação de ações preventivas para mitigar ou eliminar riscos, em projetos de software. Esta avaliação tem como base de sustentação uma análise quantitativa orientada pela Teoria de Decisão e modelada e simulada por meio de redes de Petri coloridas. A opção pelo tema revela a importância de prever o impacto e a eficácia da utilização de ações preventivas em projetos de software, antecipando seus possíveis resultados e potencializando suas utilizações. A elaboração desta pesquisa implicou em três etapas de estudos distintas, complementares entre si e realizadas em períodos distintos: a) definir uma abordagem para modelar e simular processos que fosse amplamente aceito pela comunidade científica; b) identificar uma base teórica que fosse capaz de estabelecer um critério para apoiar o processo decisório e, consequentemente avaliar o impacto de ações preventivas de riscos em projetos de desenvolvimento de software; c) avaliar os resultados da simulação baseados na modelagem de ações preventivas de riscos utilizando a base teórica previamente estabelecida. O estudo realizado é de natureza exploratória, analítica e descritiva, combinado com análise documental em fontes bibliográficas, a partir de documentos e informações extraídas na literatura. O método proposto consiste na introdução de uma etapa formal ao processo de avaliação de ações preventivas de riscos. A simulação com redes de Petri coloridas, auxiliada pela Teoria de  Decisão por meio do Teorema de Bayes, além de ter tornado os processos mais compreensíveis, proporcionou uma participação mais efetiva por parte de especialistas envolvidos, além de permitir uma representação matemática formal acoplada a mecanismos de análise para inspecionar riscos em processos adaptados.