Framework de Padrões de Segurança para Transformações de Modelos

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 geração automática de código a partir de modelos. Devido a esta complexidade, os sistemas de informação estão sujeitos a erros e vulnerabilidades. Assim, surgem as necessidades do aumento da automatização e do nível de abstração no desenvolvimento de software, permitindo 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 e a validação correta do uso dos padrões. A segurança é inserida implicitamente no sistema por meio de transformação entre modelose 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.