CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / As Linhas de produtos de software sÃo uma forma de maximizar o reuso de software, dado que proveem a customizaÃÃo de software em massa. Recentemente, Linhas de produtos de software (LPSs) tÃm sido usadas para oferecer suporte ao desenvolvimento de aplicaÃÃes sensÃveis ao contexto nas quais adaptabilidade em tempo de execuÃÃo à um requisito importante. Neste caso, as LPSs sÃo denominadas Linhas de produtos de software sensÃveis ao contexto (LPSSCs). O sucesso de uma LPSSC depende, portanto, da modelagem de suas caracterÃsticas e do contexto que lhe à relevante. Neste trabalho, essa modelagem à feita usando o diagrama de caracterÃsticas e o diagrama de contexto. Entretanto, um processo manual para construÃÃo e configuraÃÃo desses modelos pode facilitar a inclusÃo de diversos erros, tais como duplicaÃÃo de caracterÃsticas, ciclos, caracterÃsticas mortas e falsos opcionais sendo, portanto, necessÃrio o uso de tÃcnicas de verificaÃÃo de consistÃncia. A verificaÃÃo de consistÃncia neste domÃnio de aplicaÃÃes assume um papel importante, pois as aplicaÃÃes usam contexto tanto para prover serviÃos como para auto-adaptaÃÃo caso seja necessÃrio. Neste sentido, as adaptaÃÃes disparadas por mudanÃas de contexto podem levar a aplicaÃÃo a um estado indesejado. AlÃm disso, a descoberta de que algumas adaptaÃÃes podem levar a estados indesejados sà pode ser atestada durante a execuÃÃo pois o erro à condicionado à configuraÃÃo atual do produto. Ao considerar que tais aplicaÃÃes estÃo sujeitas a um grande volume de mudanÃas contextuais, a verificaÃÃo manual torna-se impraticÃvel. Logo, à interessante que seja possÃvel realizar a verificaÃÃo da consistÃncia de forma automatizada de maneira que uma entidade computacional possa realizar essas operaÃÃes. Dado o pouco suporte automatizado oferecido a esses processos, o objetivo deste trabalho à propor a automatizaÃÃo completa desses processos com uma ferramenta, chamada FixTure (FixTure), para realizar a verificaÃÃo da construÃÃo dos modelos de caracterÃsticas para LPSSC e da configuraÃÃo de produtos a partir desses modelos. A ferramenta FixTure tambÃm provà uma simulaÃÃo de situaÃÃes de contexto no ciclo de vida de uma aplicaÃÃo de uma LPSSC, com o objetivo de identificar inconsistÃncias que ocorreriam em tempo de execuÃÃo. / Software product lines are a way to maximize software reuse once it provides mass software customization. Software product lines (SPLs) have been also used to support contextaware applicationâs development where adaptability at runtime is an important issue. In this case, SPLs are known as Context-aware software product lines. Context-aware software product line (CASPL) success depends on the modelling of their features and relevant context. However, a manual process to build and configure these models can add several errors such as replicated features, loops, and dead and false optional features. Because of this, there is a need of techniques to verify the model consistency. In the context-aware application domain, the consistency verification plays an important role, since application in this domain use context to both provide services and self-adaptation, when it is needed. In this sense, context-triggered adaptations may lead the application to undesired state. Moreover, in some cases, the statement that a contex-triggered adaptation is undesired only can be made at runtime, because the error is conditioned to the current product configuration. Additionally, applications in this domain are submitted to large volumes of contextual changes, which imply that manual verification is virtually not viable. So, it is interesting to do consistency verification in a automated way such that a computational entity may execute these operations. As there is few automated support for these proccesses, the objective of this work is to propose the complete automation of these proccesses with a software tool, called FixTure, that does consistency verification of feature diagrams during their development and product configuration. FixTure tool also supports contextual changes simulation during the lifecycle of a CASPL application in order to identify inconsistencies that can happen at runtime.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-02-25T17:40:15Z No. of bitstreams: 1 gevaschaeferpereiramartins.pdf: 2682934 bytes, checksum: 33ec1a1ae839b115cb034d5d0518f377 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-03-03T13:32:32Z (GMT) No. of bitstreams: 1 gevaschaeferpereiramartins.pdf: 2682934 bytes, checksum: 33ec1a1ae839b115cb034d5d0518f377 (MD5) / Made available in DSpace on 2016-03-03T13:32:32Z (GMT). No. of bitstreams: 1 gevaschaeferpereiramartins.pdf: 2682934 bytes, checksum: 33ec1a1ae839b115cb034d5d0518f377 (MD5) Previous issue date: 2014-09-03 / As vantagens da utilização de jogos com objetivos educacionais podem ser consideradas como um consenso entre professores e alunos. No entanto, jogos sérios constituem-se objetos multimídia complexos e caros de se produzir. A natureza multidisciplinar dos jogos educacionais pressupõe o envolvimento e coordenação de uma equipe especializada. Com o objetivo de auxiliar no desenvolvimento de jogos educacionais é proposto o modelo computacional BROAD-PLG. O modelo é composto por uma arquitetura de alto nível, modelagens de domínio baseadas em características que descrevem três diferentes tipos dos jogos educacionais, e uma ferramenta de engenharia de aplicação, que permite instanciação de um arcabouço pronto para ser utilizado no desenvolvimento desses tipos de jogos. A separação de interesses divide o domínio de jogos educacionais em conjuntos de características que englobam aspectos educacionais, mecânica de jogos e elementos de gamificação. Ao final do trabalho são construídos três exemplos distintos de aplicações demonstrando esses três aspectos. Avaliando-se os exemplos pode-se concluir que o BROAD-PLG, apesar de estar na versão inicial, demonstra grande potencial para ser utilizado como uma ferramenta tanto na forma de geração de aplicações, quanto como referência na modelagem de domínio do problema. / The advantages of using games for educational purposes can be considered as a consensus among teachers and students. However, serious games constitute complex and expensive to produce multimedia objects. The multidisciplinary nature of educational games requires the involvement and coordination of a specialized team. With the objective of assisting in the development of educational games is proposed the computational model BROAD-PLG. The model consists of a high-level architecture, domain modeling based on features that describe three different faces of educational games and application engineering tool that allows instantiation of a framework ready to be used in game development. The separation of concerns splits the domain of educational games into sets of features that include educational aspects of game mechanics and gamification elements. At the end of the work three different application examples are constructed demonstrating these three aspects. In reviewing the examples it can be concluded that the broad-PLG despites being in the initial stage shows great potential to be used as a tool in generating applications as reference in modeling the problem domain.