Made available in DSpace on 2014-12-17T15:47:59Z (GMT). No. of bitstreams: 1
KeivilanyJLC_DISSERT.pdf: 3136956 bytes, checksum: 58f2931b21ff1ab0cd5e4e065e0d1aa4 (MD5)
Previous issue date: 2012-02-06 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / The tracking between models of the requirements and architecture activities
is a strategy that aims to prevent loss of information, reducing the gap between
these two initial activities of the software life cycle. In the context
of Software Product Lines (SPL), it is important to have this support, which allows
the correspondence between this two activities, with management of variability.
In order to address this issue, this paper presents a process of bidirectional
mapping, defining transformation rules between elements of a goaloriented
requirements model (described in PL-AOVgraph) and elements of an architectural
description (defined in PL-AspectualACME). These mapping rules are
evaluated using a case study: the GingaForAll LPS. To automate this transformation,
we developed the MaRiPLA tool (Mapping Requirements to Product
Line Architecture), through MDD techniques (Modeldriven
Development), including Atlas Transformation Language (ATL)
with specification of Ecore metamodels jointly with Xtext , a DSL definition
framework, and Acceleo, a code generation tool, in Eclipse environment. Finally,
the generated models are evaluated based on quality attributes such as variability,
derivability, reusability, correctness, traceability, completeness, evolvability and
maintainability, extracted from the CAF? Quality Model / O rastreamento entre modelos das atividades de requisitos e arquitetura ? uma estrat?gia
que busca evitar a perda de informa??es, reduzindo o gap entre essas duas atividades
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). Essas regras de
mapeamento s?o avaliadas em um estudo de caso: a LPS Ginga ForAll. Para automatizar
essa transforma??o, implementamos a ferramenta MaRiPLA (Mapping Requirements
to Product Line Architecture), 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 de c?digo, em ambiente Eclipse. Por fim, os
modelos gerados s?o avaliados, com base em atributos de qualidade como variabilidade,
derivabilidade, reusabilidade, corretude, rastreabilidade, completude, evolutibilidade
e manutenibilidade, extra?dos do Modelo de Qualidade CAF?
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufrn.br:123456789/18040 |
Date | 06 February 2012 |
Creators | Coelho, Keivilany Janielle de Lima |
Contributors | CPF:56765614400, http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4784543T8, Silva, Lyrene Fernandes da, CPF:02097798454, Soares, Sergio Castelo Branco, CPF:61679011391, http://lattes.cnpq.br/6456667887502521, Batista, Thais Vasconcelos |
Publisher | Universidade Federal do Rio Grande do Norte, Programa de P?s-Gradua??o em Sistemas e Computa??o, UFRN, BR, Ci?ncia da Computa??o |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | English |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
Format | application/pdf |
Source | reponame:Repositório Institucional da UFRN, instname:Universidade Federal do Rio Grande do Norte, instacron:UFRN |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0024 seconds