Submitted by Natalia de Souza Gonçalves (natalia.goncalves@ufpe.br) on 2015-05-25T15:16:54Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação Jéssyka Vilela.pdf: 3958193 bytes, checksum: 154c564f050ed8568309e62b4ac5c7f2 (MD5) / Made available in DSpace on 2015-05-25T15:16:54Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação Jéssyka Vilela.pdf: 3958193 bytes, checksum: 154c564f050ed8568309e62b4ac5c7f2 (MD5) Previous issue date: 2015-02-26 / FACEPE / Context: Context-sensitive systems use context in order to adapt to the user’s current needs or requirements failure. Therefore, they need to dynamically adapt their behavior. It is of paramount importance to specify and analyze the intended behavior of these systems before they are fully implemented. The behavioral specification can be used for requirements validation in order to verify if these systems will be able to achieve their goals. Moreover, the reasoning about properties of these systems, such as deadlocks, reachability, completeness and correctness of the system, can be supported. Therefore, the dynamic behavior of the context-sensitive systems requires an approach to specify it from their requirements. Objective: In this work, we propose the GOals to Statecharts (GO2S) process to systematically derive the behavior of context-sensitive systems, expressed as statecharts, from requirements models, described as goal models. The process takes into consideration the impact of non-functional requirements of these systems through their operationalization and prioritization of alternatives to be used at runtime (variants). Method: The research presented in this dissertation followed the engineering approach to define the GO2S (GOals to Statecharts) process and its suitability was empirically evaluated. Results: The GO2S process addresses the specification of the tasks required for monitoring of the requirements satisfaction as well as the system adaptation according to the context, the operationalization of non-functional requirements and prioritization of variants. This is an iterative process centered on the incremental refinement of a goal model, obtaining different views of the system (design, contextual, behavioral). Furthermore, we conducted a controlled experiment to evaluate the statecharts produced following the GO2S (experimental group) in relation to the ones elaborated by not using it (control group). Conclusions: The experiment results show that the structural complexity of the statecharts of the group that used the GO2S approach was lower in relation to the control group. Moreover, the average of functionalities whose behavior was modeled according to the specification and the time spent to produce the models of the experimental group were higher in relation to the control group. Besides, the subjects agreed that the GO2S process is easy to use. / Contexto: Sistemas sensíveis ao contexto utilizam contexto com o intuito de se adaptar as necessidades atuais dos usuários ou falha de requisitos. Portanto, eles necessitam adaptar seu comportamento dinamicamente. É de suma importância especificar e analisar o comportamento desejado desses sistemas antes de serem totalmente implementados. A especificação do comportamento pode ser utilizada para validação dos requisitos de forma a verificar se estes sistemas serão capazes de alcançar os seus objetivos. Além disso, o raciocínio sobre propriedades desses sistemas, tais como deadlocks, alcançabilidade, completude e corretude do sistema, pode ser apoiado. Portanto, o comportamento dinâmico dos sistemas sensíveis ao contexto exige uma abordagem para sua especificação a partir de seus requisitos. Objetivo: Nesse trabalho é proposto o processo GO2S (Goals to Statecharts) para derivar sistematicamente o comportamento de sistemas sensíveis a contexto, expresso em statecharts, a partir de modelos de requisitos, descritos em modelo de objetivos. O processo considera o impacto dos requisitos não-funcionais desses sistemas através da sua operacionalização e priorização de alternativas a serem utilizadas em tempo de execução (variantes). Método: A pesquisa apresentada nessa dissertação seguiu a abordagem de engenharia para definir o processo GO2S e sua adequabilidade foi avaliada empiricamente. Resultados: O processo GO2S aborda a especificação das tarefas necessárias para o monitoramento da satisfação dos requisitos bem como a adaptação do sistema de acordo com o contexto, a operacionalização dos requisitos não-funcionais e priorização de variantes. Este é um processo iterativo centrado no refinamento incremental de um modelo de objetivo, obtendo diferentes visões do sistema (design, contextual, comportamental). Além disso, foi realizado um experimento controlado para avaliar os statecharts produzidos seguindo o GO2S (grupo experimental) com aqueles elaborados sem utilizá-lo (grupo de controle). Conclusões: Os resultados do experimento mostraram que a complexidade estrutural dos statecharts do grupo que usou a abordagem GO2S foi inferior ao grupo de controle. Além disso, a média do número de funcionalidades cujo comportamento foi modelado de acordo com a especificação e o tempo gasto para produzir os modelos do grupo experimental foram maiores em relação ao grupo de controle. Finalmente, os participantes concordaram que o processo GO2S é fácil de usar.

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2016-04-05T15:42:49Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação - Jean Poul Varela.pdf: 3797900 bytes, checksum: fa011df68d9bf4b963c64b5a5b22c945 (MD5) / Made available in DSpace on 2016-04-05T15:42:49Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação - Jean Poul Varela.pdf: 3797900 bytes, checksum: fa011df68d9bf4b963c64b5a5b22c945 (MD5) Previous issue date: 2015-02-23 / FACEPE / O processo GS2SPL (Goals and Scenarios to Software Product Lines) visa obter, de maneira sistemática, o modelo de features e a especificação de cenários de caso de uso, a partir de modelos de objetivos de uma linha de produto de software (LPS). Além disso, esse processo permite realizar a configuração desses artefatos de requisitos para um produto da LPS, com base no atendimento de requisitos nãofuncionais (RNFs). Contudo, essa configuração é realizada sem considerar o estado do contexto do ambiente no qual a aplicação gerada será implantada. Isso é uma limitação, pois uma configuração pode não atender as necessidades do stakeholders. Por outro lado, o processo E-SPL (Early Software Product Line) permite configurar o modelo de objetivos de um produto visando maximizar o atendimento de RNFs e levando em consideração o estado do contexto. Para superar a limitação do processo GS2SPL, o presente trabalho propõe uma extensão do processo GS2SPL para incorporar a atividade de configuração do E-SPL. O novo processo é chamado de GSC2SPL (Goals, Scenarios and Contexts to Software Product Lines), o qual possibilita a obtenção do modelo de features e cenários de caso de uso, a partir de modelos de objetivos contextuais. O processo também permite realizar a configuração desses artefatos de requisitos com base nas informações sobre o contexto e visando aumentar o atendimento dos requisitos nãofuncionais. O processo é apoiado pela ferramenta GCL-Tool (Goal and Context for Product Line - Tool). O processo foi aplicado à especificação de duas LPS: o Media@ e o Smart Home. / GS2SPL (Goals and Scenarios to Software Product Lines) is a process aimed at systematically obtaining a feature model and the specification of use case scenarios from goal models of a Software Product Line (SPL). Moreover, this process allows configuring specific applications of an SPL based on the fulfillment of non-functional requirements (NFRs). However, this configuration is performed without considering the context state in which the system will be deployed. This is a limitation because a configuration may not meet the needs of stakeholders. On the other hand, E-SPL (Early Software Product Line) is a process that allows configuring a product aimed maximizing the fulfillment of NFRs and taking into account the context state. To overcome the limitation of the GS2SPL process, in this work we propose extension of the GS2SPL process, to incorporate the configuration activity of the E-SPL. The new process is called GSC2SPL (Goals, Scenarios and Contexts to Software Product Lines), which allows obtaining a feature model and use case scenarios from contextual goal models. The process will also allow the configuration of such requirements artifacts based on the information about the context and aiming to maximize the fulfillment of non-functional requirements. The process is supported by the GCL-Tool (Goal and Context for Product Line - Tool). The process was applied to the specification of two LPS: Media@ and the Smart Home.