DEFESA DE DISSERTAÇÃO DE MESTRADO Nº 110 Mestrado em Engenharia de Computação Aluno: Josenildo Alanio de Souza Melo Título: Diagnóstico sobre a Especificação de Sistemas Embarcados Orientadora: Profa. Fernanda Ribeiro de Alencar Data-hora: 4/agosto/2015 (15:00 h) Local: Escola Politécnica de Pernambuco – SALA I-4 Resumo: Devido à concorrência acirrada, as empresas precisam construir soluções (ou fazer manutenções nas já existentes) de forma rápida e eficaz, abrangendo as necessidades dos clientes sem desprezar os requisitos de qualidade. Para modelar essas soluções existem diversos padrões, sendo a Unified Modeling Language (UML) um dos mais utilizados. Entretanto, a UML não é preparada para capturar os requisitos de domínio em relação à qualidade. Para atingir esse objetivo, modelos baseados na Goal-Oriented Requirements Engineering (GORE) são utilizados, como o i* (i-star). Nesta dissertação, apresentamos uma formalização de regras de mapeamento de i* para diagrama de classes no contexto de Model Driven Development (MDD), objetivando a criação de diagrama de classes mais completos, onde os requisitos de qualidade são atendidos. A formalização foi efetuada utilizando a linguagem de transformação ATL. Para obter o artefato de entrada, foi utilizada a ferramenta iStarTool, que realiza a modelagem i* e gera um arquivo XMI necessário para dar início à transformação. O metamodelo i* utilizado foi o metamodelo presente na iStarTool, e o metamodelo da UML (para gerar o modelo de saída) foi obtido online a partir da ferramenta Eclipse, utilizada para a execução da transformação entre modelos. Palavras-chave: iStar, Diagramas de Classe UML, Model-Driven Development, Regras de mapeamento.