Submitted by Kleber Silva (kleberbs@ufba.br) on 2017-07-21T20:44:57Z No. of bitstreams: 1 dissertacao-mateus.pdf: 2862867 bytes, checksum: 9e64fec80f4c391286f91f1b09c290c3 (MD5) / Approved for entry into archive by NUBIA OLIVEIRA (nubia.marilia@ufba.br) on 2017-07-25T20:08:12Z (GMT) No. of bitstreams: 1 dissertacao-mateus.pdf: 2862867 bytes, checksum: 9e64fec80f4c391286f91f1b09c290c3 (MD5) / Made available in DSpace on 2017-07-25T20:08:12Z (GMT). No. of bitstreams: 1 dissertacao-mateus.pdf: 2862867 bytes, checksum: 9e64fec80f4c391286f91f1b09c290c3 (MD5) / Linhas de produtos de software promovem o reuso em larga escala,apoiando a criação, evolução e gerenciamento de portfólios de produtos que compartilham um núcleo comum de características e se diferenciam com base em características variáveis.Na Engenha ria de Linha de Produtos de Software,a arquitetura da linha de produtos é um ativo importante,que descreve os pontos de variabilidade da linha de produtos.Se estiver desatualizada ou ausente,pode ser parcialmente recuperada a partir da arquitetura implementada nos produtos da linha. As abordagens para recuperação de arquitetura de software existentes podem ser utilizadas para recuperar a arquitetura de cada produto da linha. Entretanto, técnicas e ferramentas de recuperação, especialmente concebidas para identificar e descrever pontos de variabilidade e comunalidade na arquitetura da linha de produtos propriamente dita, ainda são incipientes. Este trabalho apresenta uma abordagem para recuperação de arquitetura de linhas de produtos de software. A abordagem proposta inclui a técnica PLAR (Product Line Architecture Recovery) e a ferramenta PLAR Tool, que implementa a técnica PLAR. A t´ecnica PLAR permite a identificação de pontos de variabilidade e comunalidade da linha de produtos em nível arquitetural. A ferramenta PLAR Tool apóia a recuperação de arquitetura de linhas de produtos, bem como a avaliação de seu grau de reuso. A ferramenta PLAR Tool foi objeto de um estudo realizado com desenvolvedores de linhas de produtos de software, com o propósito de avaliar o resultado da recuperação, com base em visões arquiteturais geradas pela ferramenta, e coletar sugestões de melhoria. Os desenvolvedores não identificaram erros de classificação de elementos arquiteturais com pontos de variabilidade nas arquiteturas recuperadas. Por outro lado, alguns elementos que implementam a variabilidade não foram classificados, sugerindo a necessidade de melhorar a seleção de produtos da linha para uso no processo de recuperação de arquitetura. A ferramenta foi utilizada em dois estudos empíricos, um com o propósito de recuperar a arquitetura de linha de produtos de projetos de código aberto e avaliar sua qualidade, e outro com o propósito de comparar dois métodos de geração de produtos: Padrão x T-Wise. Os principais resultados destes estudos são: existe uma relação estatística entre o número de produtos da linha usados pela técnica PLAR e o grau de reuso da arquitetura recuperada e, o uso do método de geração de produtos T-Wise permitiu que um número reduzido de produtos da linha fosse usado na recuperação de arquitetura, sem comprometer a precisão da recuperação. / Software Product Lines promote large scale reuse, supporting creation, evolution and management of product portfolio that shares a common core of characteristics that differentiates from each other based on variable characteristics The product line architecture is an important active to the product line software engineering. If it is absent or outdated, it can be partially recovered from products architecture generated by the SPL. The existing techniques and tools can be used to recover the architecture from each SPL product. However, techniques and recovery tools, conceived to identify and document the variability and communality points on the product line architecture still incipient. This work presents an approach to product line architecture recovery that includes the PLAR technique (Product Line Architecture Recovery) and the PLAR Tool. The PLAR technique supports identification and documentation of SPL implemented variabilities and commonalities in architectural level. The PLAR Tool implements the technique and supports recovery and evaluation of the reuse rate of product line architectures. The PLAR Tool was the object of a study conducted with software product line developers, with the goal of evaluating the recovery results of architectural views generated by the tool and collect feedback to improve the tool. Product line developers did not identify errors on the classification of variability elements on the architectures of SPL projects. However, some architectural elements were not classified, suggesting the need of improvement on the selection of SPL products used on the recovery process. Then, the tool was used in two empirical studies, one with the purpose of recovering the SPL architecture of open source projects and evaluate the architectural quality based on the reuse rate of its components. And another with the purpose of comparing to product generation methods: Standard x T-Wise. The main results of these two studies are: there is an statistical relation between the number of products used on the PLAR technique to recover the product line architecture and the reuse rate and, the T-Wise method for product generation allowed to reduce the number of individual products analyzed without compromising the precision of the recovery process.

Submitted by Mayara Nascimento (mayara.nascimento@ufba.br) on 2017-05-31T12:41:20Z No. of bitstreams: 1 dissertacao-mateus.pdf: 2862867 bytes, checksum: 9e64fec80f4c391286f91f1b09c290c3 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-02T14:10:15Z (GMT) No. of bitstreams: 1 dissertacao-mateus.pdf: 2862867 bytes, checksum: 9e64fec80f4c391286f91f1b09c290c3 (MD5) / Made available in DSpace on 2017-06-02T14:10:15Z (GMT). No. of bitstreams: 1 dissertacao-mateus.pdf: 2862867 bytes, checksum: 9e64fec80f4c391286f91f1b09c290c3 (MD5) / Linhas de produtos de software promovem o reuso em larga escala, apoiando a criação, evolução e gerenciamento de portfólios de produtos que compartilham um núcleo comum de características e se diferenciam com base em características variáveis. Na Engenharia de Linha de Produtos de Software, a arquitetura da linha de produtos é um ativo importante, que descreve os pontos de variabilidade da linha de produtos. Se estiver desatualizada ou ausente, pode ser parcialmente recuperada a partir da arquitetura implementada nos produtos da linha. As abordagens para recuperação de arquitetura de software existentes podem ser utilizadas para recuperar a arquitetura de cada produto da linha. Entretanto, técnicas e ferramentas de recuperação, especialmente concebidas para identificar e descrever pontos de variabilidade e comunalidade na arquitetura da linha de produtos propriamente dita, ainda são incipientes. Este trabalho apresenta uma abordagem para recuperação de arquitetura de linhas de produtos de software. A abordagem proposta inclui a técnica PLAR (Product Line Architecture Recovery) e a ferramenta PLAR Tool, que implementa a técnica PLAR. A técnica PLAR permite a identificação de pontos de variabilidade e comunalidade da linha de produtos em nível arquitetural. A ferramenta PLAR Tool apóia a recuperação de arquitetura de linhas de produtos, bem como a avaliação de seu grau de reuso. A ferramenta PLAR Tool foi objeto de um estudo realizado com desenvolvedores de linhas de produtos de software, com o propósito de avaliar o resultado da recuperação, com base em visões arquiteturais geradas pela ferramenta, e coletar sugestões de melhoria. Os desenvolvedores não identificaram erros de classificação de elementos arquiteturais com pontos de variabilidade nas arquiteturas recuperadas. Por outro lado, alguns elementos que implementam a variabilidade não foram classificados, sugerindo a necessidade de melhorar a seleção de produtos da linha para uso no processo de recuperação de arquitetura. A ferramenta foi utilizada em dois estudos empíricos, um com o propósito de recuperar a arquitetura de linha de produtos de projetos de código aberto e avaliar sua qualidade, e outro com o propósito de comparar dois métodos de geração de produtos: Padrão x T-Wise. Os principais resultados destes estudos são: existe uma relação estatística entre o número de produtos da linha usados pela técnica PLAR e o grau de reuso da arquitetura recuperada e, o uso do método de geração de produtos T-Wise permitiu que um número reduzido de produtos da linha fosse usado na recuperação de arquitetura, sem comprometer a precisão da recuperação

MARINHO, Fabiana Gomes. PRECISE - Um processo de verificação formal para modelos de características de aplicações móveis e sensíveis ao contexto. 2012. 181 f. Tese (Doutorado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2012. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-12T19:42:02Z No. of bitstreams: 1 2012_tese_fgmarinho.pdf: 5103390 bytes, checksum: dd5da728cc7af5f3e122c8c7afaf49aa (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-25T11:39:31Z (GMT) No. of bitstreams: 1 2012_tese_fgmarinho.pdf: 5103390 bytes, checksum: dd5da728cc7af5f3e122c8c7afaf49aa (MD5) / Made available in DSpace on 2016-07-25T11:39:31Z (GMT). No. of bitstreams: 1 2012_tese_fgmarinho.pdf: 5103390 bytes, checksum: dd5da728cc7af5f3e122c8c7afaf49aa (MD5) Previous issue date: 2012 / SPLc have been used to develop different types of applications, including the ones that run on mobile devices and are able to adapt when the context elements in which they are located change. These applications can change due to variations in their execution environment and inconsistent adaptations can occur, compromising the expected behavior. Then there is a need for creating a verification process to check the correctness and consistency of these SPLs as well as to check the correctness of both derived products and adapted products from these SPLs. Thus, this work proposes PRECISE - A Formal Verification Process for Feature Models of Mobile and Context-Aware Applications. PRECISE helps to identify defects in the variability modeling of an SPL for mobile and context-aware applications, minimizing problems that can take place during the execution of products generated from this SPL. It is worth noting that PRECISE is defined based on a formal specification and a set of well-formedness properties developed using First-Order Logic, which are prerequisites for the achievement of an unambiguous variability modeling. To evaluate PRECISE, a validation is performed from the formal specification and well-formedness properties defined in the process. This validation intends to show that PRECISE is able to identify defects, anomalies and inconsistencies in a variability model of an SPL for mobile and context-aware applications. In this validation, five different techniques are used: UML Profile, OCL, Propositional Logic, Prolog and Simulation. While minimizing the defects and inconsistencies in the variability models of an SPL, PRECISE still benefits from the generality and flexibility intrinsic to the formal notation used in its specification. / As LPSs, além do seu uso em aplicações tradicionais, têm sido utilizadas no desenvolvimento de aplicações que executam em dispositivos móveis e são capazes de se adaptarem sempre que mudarem os elementos do contexto em que estão inseridas. Essas aplicações, ao sofrerem alterações devido a mudanças no seu ambiente de execução, podem sofrer adaptações inconsistentes e, consequentemente, comprometer o comportamento esperado. Por esse motivo, é essencial a criação de um processo de verificação que consiga checar a corretude e a consistência dessas LPSS, bem como checar a corretude tanto dos produtos derivados como dos produtos adaptados dessas LPSs. Sendo assim, nesta tese de doutorado é proposto o PRECISE - um Processo de Verificação Formal para Modelos de Características de Aplicações Móveis e Sensíveis ao Contexto. O PRECISE auxilia na identificação de defeitos na modelagem da variabilidade de uma LPS para aplicações móveis e sensíveis ao contexto e, assim, minimiza problemas que ocorreriam durante a execução dos produtos gerados a partir dessa LPS. É importante ressaltar que o PRECISE é definido com base em uma especificação formal e em um conjunto de propriedades de boa formação elaborados usando Lógica de Primeira Ordem. Essa especificação é um pré-requisito para a realização de uma modelagem da variabilidade sem ambiguidades. Para avaliar o PRECISE, uma validação é realizada a partir da especificação formal e das propriedades de boa formação definidas no processo. Essa validação tem como objetivo mostrar que o PRECISE consegue identificar defeitos, anomalias e inconsistências existentes em um modelo de variabilidades de uma LPS para aplicações móveis e sensíveis ao contexto. Nessa validação, cinco técnicas diferentes são utilizadas: Perfil UML, OCL, Lógica Proposicional, Prolog e Simulação. Além de minimizar os defeitos e inconsistências dos modelos de variabilidades das LPSs, o PRECISE ainda se beneficia da generalidade e flexibilidade intrínsecas à notação formal usada na sua especificação.

Made available in DSpace on 2016-06-02T19:05:59Z (GMT). No. of bitstreams: 1 4688.pdf: 9757048 bytes, checksum: 96d6db56757e5502ae7197266afabe0b (MD5) Previous issue date: 2010-07-07 / O conjunto de conceitos e tecnologias que caracterizam a Web 2.0 revolucionou e estendeu as práticas de comunicação assistidas por sistemas computacionais. Aplicações com comunicação multimídia síncrona, interfaces ricas, tendo a Web como plataforma são exemplos dessa revolução. No entanto, esse tipo de aplicação ainda é pouco explorada apesar do seu potencial. A maioria das comunicações apoiadas por meios computacionais acontece de forma textual através de blogs, wikis e redes sociais. Entende-se que com a evolução dos meios de transmissão de dados, as comunicações apoiadas por computador podem ser melhoradas com a incorporação de áudio e vídeo de qualidade, tornando essas comunicações mais próximas daquelas que fazemos quotidianamente de forma presencial. Neste trabalho, apresenta-se instrumentos tanto teóricos quanto tecnológicos para facilitar desenvolvimento de aplicações de comunicação síncrona com interfaces ricas usando a Web como plataforma. A experiência no domínio permite identificar desafios inerentes ao desenvolvimento desse tipo de aplicações e características comuns a essas aplicações. Este trabalho descreve uma abordagem de reúso de software para construção de aplicações de comunicação síncrona baseada nas idéias de linha de produtos de software para promover a racionalização do esforço de desenvolvimento. Essa abordagem, chamada de Linha de Produtos de Software para Comunicação Síncrona na Web (LPSCSW), é realizada em duas etapas: Engenharia de Domínio (ED) e Engenharia de Aplicação (EA). Na ED são construídos os assets ou ativos da linha de produtos, e na EA são construídos os diferentes produtos com reúso desses assets. Os assets incluem componentes, arquiteturas, padrões de projeto, técnicas e ferramentas que auxiliem tanto a ED como a EA.

Made available in DSpace on 2014-06-12T15:58:27Z (GMT). No. of bitstreams: 2 arquivo4304_1.pdf: 7145326 bytes, checksum: 4fe8c9f01fe37f5b27fb34b1356d093a (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Faculdade de Amparo à Ciência e Tecnologia do Estado de Pernambuco / O framework i* é uma abordagem orientada a objetivos amplamente utilizada na academia. Seu reconhecimento se dá pela sua rica capacidade semântica de descrever as dependências sociais e intencionais entre atores organizacionais, bem como os requisitos funcionais e não funcionais de um software em desenvolvimento. Embora vastamente Empregado, um dos principais desafios é a diversidade de linguagens de modelagem que foram propostas tendo como base o i* e definidas por diferentes grupos de pesquisa para atender as suas necessidades específicas. Como resultado, novas linguagens e/ou elementos de modelagem surgiram. Neste cenário, o desenvolvimento do suporte ferramental para algumas destas linguagens foi realizado de forma distinta entre os grupos de pesquisa que criaram tais linguagens. Em outros casos, não há suporte ferramental para algumas linguagens devido ao custo elevado pra o seu desenvolvimento. Considerando as variações do i*, é possível identificar um conjunto comum de características (elementos de modelagem), afinal, são linguagens baseadas i*, bem como um conjunto de características variáveis. A partir disto é possível desenvolver um núcleo comum entre estas linguagens, identificando os elementos de modelagem comuns e separando os que são variáveis, para, posteriormente, configurá-los a fim de definir o metamodelo de uma nova linguagem baseada no i*e reduzir o esforço do desenvolvimento da ferramenta de modelagem (editor gráfico) correspondente. Este trabalho como principal contribuição a definição de um processo automatizado de criação de linguagens de modelagem baseadas no i*, chamado de AGILE (Automatic Generation of i* Languages) e geração automática de editores gráficos que dêem suporte às linguagens criadas

Veículos Aéreos não Tripulados (VANTs) são aeronaves que voam sem tripulação e são capazes de realizar diversos tipos de missões, como vigilância, coleta de dados topográficos e monitoramento ambiental. Este é um domínio que tem muito a ganhar com a aplicação da abordagem de Linha de Produtos de Software (LPS), uma vez que é rico em variabilidades e cada modelo de VANT tem também muitas partes comuns. Neste trabalho é apresentada uma infraestrutura tecnológica e de configuração de ativos em Simulink, gerenciados pelas ferramentas Pure::variant e Hephaestos para uma LPS de VANTs. Um conjunto de padrões para especificação de variabilidades em Simulink é proposto, bem como uma extensão para a ferramenta Hephaestus. Uma comparação entre as ferramentas Pure::variants e Hephaestus é apresentada / Unmanned Aerial Vehicles (UAVs) are aircrafts that can fly without any crew and are capable to realize several types of missions such as surveillance, topographic data collection and environmental monitoring. This is a domain which can benefit very much with the adoption of the Software Product Lines (SPL) approach, as each UAV model is rich in variabilities and has many common parts. In this work it is presented a software asset configuration infrastructure for the Simulink environment, managed by the tools Pure::variants and Hephaestus for a UAV SPL. A set of patterns of variability specification in Simulink is proposed as well as an extension to Hephaestus to support a SPL product engineering for Simulink. A comparison between Pure::variants and Hephaestus is also presented

Linha de produtos de software (LPS) corresponde a uma das mais bem sucedidas formas de reúso, pois permite a reutilização de requisitos e arquitetura. Embora o desenvolvimento, manutenção e evolução de uma LPS ainda possua um custo alto quando comparado ao desenvolvimento de sistemas únicos (single systems), um lucro significativo pode ser obtido com a venda de diversos produtos derivados da LPS. No projeto de uma LPS analisa-se os sistemas coletivamente, ou seja, o domínio. Geradores de aplicações são ferramentas capazes de gerar artefatos a partir de uma especificação, e no caso de se ter a especificação de um domínio, é possível gerar aplicações para esse domínio. Web services representam uma tecnologia promissora para disponibilização de serviços na Web e desenvolvimento de software com arquitetura flexível e de fácil manutenção. Neste trabalho é proposta uma abordagem de desenvolvimento de linha de produtos com arquitetura orientada a serviços, na qual a geração de produtos é apoiada por um gerador de aplicações. A abordagem chama-se SoProL-WS e possui o objetivo de reduzir os custos e prazos de desenvolvimento da LPS e facilitar a sua manutenção, evolução e derivação de seus membros. SoProLWS apresenta as atividades e artefatos necessários para partir dos requisitos da LPS, projetar, implementar, configurar um gerador de aplicações e gerar seus membros a partir do gerador ou por meio de uma configuração manual. Além disso, é apresentado um estudo de caso com o desenvolvimento de uma linha de produtos de leilões Web seguindo os passos da abordagem, bem como são discutidas as alternativas de projeto relevantes para esse tipo de desenvolvimento / Software product lines (SPL) is a successful reuse technique that fosters requirements and architecture reuse. Although SPL costs with development, maintenance and evolution increases when compared to single system development, significant profit can be obtained by selling many products derived from SPL. In a SPL project, systems are analised collectively like a domain. Application generators are tools capable of generating artifacts based on an specification, in case of a domain specification, it is possible to generate applications in this domain. Web services represent a technology to make services available over a network and to develop a flexible and adaptable software architecture. This work presents an approach, called SoProL-WS, to develop SPL using service oriented architecture, where product derivation is supported by an applicator generator. The aim of this approach is to enhance flexibility, reuse and consequently decrease SPL development costs. In addition, this work presents a case study where SoProL-WS is applied to develop a Web auctions SPL

A popularização dos dispositivos móveis em todas as camadas sociais tem motivado o desenvolvimento de aplicações educacionais móveis, denominadas aplicações de m-learning. Neste cenário, as aplicações existentes, mesmo possuindo diversos benefícios e facilidades no que diz respeito ao ensino e aprendizagem, apresentam problemas e desafios relacionados, sobretudo no que se refere ao desenvolvimento, reuso e padronização arquitetural. Por outro lado, na vertente do reúso de software, percebe-se uma crescente adoção do conceito de Linha de Produtos de Software (LPS). Esse paradigma possibilita às organizações explorar as similaridades e variabilidades de seus produtos, aumentando a reutilização de artefatos e, como consequência, diminuindo custos e tempo de desenvolvimento. Neste trabalho é apresentada uma LPS voltada ao domínio das aplicações de m-learning, denominada M-SPLearning. A proposição da M-SPLearning envolveu desde o estudo inicial para a obtenção de uma análise de domínio efetiva, até a implementação dos componentes previamente analisados. A LPS concebida teve seus respectivos produtos avaliados experimentalmente no cenário industrial, fornecendo evidências de que sua utilização pode acelerar o time-to-market de produtos de m-learning, com um número reduzido de defeitos. / The popularity of mobile devices in all social classes has motivated the development of mobile educational applications, called m-learning applications. The existing applications, even having many benefits and facilities in relation to teaching and learning, also have problems and challenges, especially regarding the development, reuse and architectural standardization. Particularly, there is an increasing adoption of the concept of Software Product Line (SPL) in researches related to reuse. This paradigm enables organizations to explore the similarities and variabilities of their products, increasing the reuse of artifacts and, consequently, reducing costs and development time. This work presents an SPL focused on the domain of m-learning applications, named M-SPLearning. The development of M-SPLearning has comprised since the initial study for an effective domain analysis until the implementation of the components previously analyzed. Such SPL had its products experimentally evaluated in the industrial scenario, providing evidences that its use can accelerate the time-to-market of m-learning applications, with a reduced number of faults.

COSTA, Paulo Alexandre da Silva. Uma ferramenta para análise automática de modelos de características de linhas de produtos de software sensível ao contexto. 2012. 120 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2012. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-12T15:00:02Z No. of bitstreams: 1 2012_dis_pascosta.pdf: 4531402 bytes, checksum: d2d946bd5cd88cf8370f2db5df31f7d1 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-20T13:48:46Z (GMT) No. of bitstreams: 1 2012_dis_pascosta.pdf: 4531402 bytes, checksum: d2d946bd5cd88cf8370f2db5df31f7d1 (MD5) / Made available in DSpace on 2016-07-20T13:48:46Z (GMT). No. of bitstreams: 1 2012_dis_pascosta.pdf: 4531402 bytes, checksum: d2d946bd5cd88cf8370f2db5df31f7d1 (MD5) Previous issue date: 2012 / 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. / 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.

Made available in DSpace on 2014-12-17T14:56:03Z (GMT). No. of bitstreams: 1 TulioPMC_DISSERT.pdf: 1801045 bytes, checksum: 77adefdeea59e2db6076c8f805d6778f (MD5) Previous issue date: 2012-08-03 / E-learning, which refers to the use of Internet-related technologies to improve knowledge and learning, has emerged as a complementary form of education, bringing advantages such as increased accessibility to information, personalized learning, democratization of education and ease of update, distribution and standardization of the content. In this sense, this paper aims to develop a tool, named ISE-SPL, whose purpose is the automatic generation of E-learning systems for medical education, making use of concepts of Software Product Lines. It consists of an innovative methodology for medical education that aims to assist professors of healthcare in their teaching through the use of educational technologies, all based on computing applied to healthcare (Informatics in Health). The tests performed to validate the ISE-SPL were divided into two stages: the first was made by using a software analysis tool similar to ISE-SPL, called SPLOT and the second was performed through usability questionnaires to healthcare professors who used ISESPL. Both tests showed positive results, proving it to be an efficient tool for generation of E-learning software and useful for professors in healthcare / O e-learning, que se refere ao uso das tecnologias relacionadas ? Internet para aperfei?oar o conhecimento e a aprendizagem, surgiu como uma forma complementar de ensino, trazendo consigo vantagens como o aumento da acessibilidade da informa??o, aprendizado personalizado, democratiza??o do ensino e facilidade de atualiza??o, distribui??o e padroniza??o do conte?do. Neste sentido, o presente trabalho tem como objeto o desenvolvimento de uma ferramenta, intitulada de ISE-SPL, cujo prop?sito ? a gera??o autom?tica de sistemas e-learning para educa??o m?dica, utilizando para isso conceitos de Linha de Produtos de Software. Ela consiste em uma metodologia inovadora para a educa??o m?dica que visa auxiliar o docente da ?rea de sa?de na sua pr?tica pedag?gica por meio do uso de tecnologias educacionais, todas baseadas na computa??o aplicada ? sa?de (Inform?tica em Sa?de). Os testes realizados para validar a ISE-SPL foram divididos em duas etapas: a primeira foi feita atrav?s da utiliza??o de um software de an?lise de ferramentas semelhantes ao ISE-SPL, chamado de SPLOT; e a segunda foi realizada atrav?s da aplica??o de question?rios de usabilidade aos docentes da ?rea da sa?de que utilizaram o ISE-SPL. Ambos os testes demonstraram resultados positivos, comprovando que o ISE-SPL ? uma ferramenta de gera??o de softwares e-learning eficiente e ?til para o docente da ?rea da sa?de