GO2S: a systematic process to derive the behavior of contextsensitive systems from requirements models

Autor: VILELA, Jéssyka Flavyanne Ferreira
Jazyk: angličtina
Rok vydání: 2015
Předmět:
Zdroj: Repositório Institucional da UFPEUniversidade Federal de PernambucoUFPE.
Druh dokumentu: masterThesis
Popis: 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.
Databáze: Networked Digital Library of Theses & Dissertations
Externí odkaz: