Banca de DEFESA: KEIVILANY JANIELLE DE LIMA COELHO

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE: KEIVILANY JANIELLE DE LIMA COELHO
DATA: 06/02/2012
LOCAL: Sala de Reuniões do DIMAp
TÍTULO:

Dos Requisitos à Arquitetura em Linhas de Produtos de Software: Uma Estratégia de Transformações entre Modelo

PALAVRAS-CHAVES:

linha de produtos de software, transformação entre modelos, requisitos de software, arquitetura de software

PÁGINAS: 95
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
SUBÁREA: Metodologia e Técnicas da Computação
ESPECIALIDADE: Engenharia de Software
RESUMO:

O rastreamento entre modelos das fases de requisitos e arquitetura é uma estratégia que busca evitar a perda de informações, reduzindo o gap entre essas duas fases iniciais do ciclo de vida do software. No contexto das Linhas de Produto de Software (LPS), é importante que haja um suporte a esse rastreamento, que permita a correspondência entre as duas atividades, com um gerenciamento satisfatório das variabilidades. Buscando atender a essa questão, este trabalho apresenta um processo de mapeamento bi-direcional, definindo regras de transformação entre elementos de modelo de requisitos orientado a objetivos (descrito em PL-AOVgraph) e elementos de descrição arquitetural (definida em PL-AspectualACME). A ferramenta MaRiPLA (Mapping Requirements to Product Line Architecture) automatiza essa transformação, que é implementada através de técnicas do desenvolvimento dirigido a modelos (Model-driven Development – MDD), incluindo a linguagem de transformações entre modelos Atlas Transformation Language (ATL) – com especificação de metamodelos do tipo Ecore –  em conjunto com os frameworks Xtext, de definição DSL, e Acceleo, de geração código, em ambiente Eclipse. As regras são validadas através de um estudo de caso, a LPS Ginga ForAll.

MEMBROS DA BANCA:
Presidente - 1213777 - THAIS VASCONCELOS BATISTA
Interno - 1754430 - LYRENE FERNANDES DA SILVA
Externo à Instituição - SÉRGIO CASTELO BRANCO SOARES - UFPE