GO2S : GOals To Statecharts Processus pour les systèmes sensibles au contexte

Les systèmes sensibles au contexte utilisent le contexte afin de s'adapter aux besoins actuels de l'utilisateur ou à l'échec de ses exigences. Par conséquent, il est d'une importance capitale de spécifier et d'analyser le comportement prévu de ces systèmes avant qu'ils ne soient entièrement mis en oeuvre. Dans ce travail, nous proposons le processus GOals to Statecharts (GO2S) pour dériver systématiquement le comportement des systèmes sensibles au contexte, exprimé sous forme de statecharts, à partir de modèles d'exigences, décrits sous forme de modèles de buts. Le processus prend en compte l'impact des exigences non fonctionnelles de ces systèmes à travers leur opérationnalisation et la hiérarchisation des alternatives à utiliser au moment de l'exécution (variantes). Le GO2S est un processus itératif centré sur le refinement incrémental d'un modèle de but, en obtenant différentes vues du système (conception, contextuel, comportemental). En outre, nous avons mené une expérience contrôlée pour évaluer les statecharts produits en suivant le GO2S (groupe expérimental) par rapport à ceux élaborés en ne l'utilisant pas (groupe de contrôle). Les résultats de l'expérience ont montré que les sujets sont d'accord pour dire que le processus GO2S est facile à utiliser.

Autorentext

Jéssyka Vilela é engenheira informática e obteve o seu M.Sc. em Ciência Informática pela UFPE em 2015. É membro do grupo de investigação da LER e estudante de doutoramento na UFPE. Os seus interesses de investigação incluem engenharia de requisitos, sistemas sensíveis ao contexto e críticos para a segurança, bem como comunicação de requisitos.

Klappentext

Les systèmes sensibles au contexte utilisent le contexte afin de s'adapter aux besoins actuels de l'utilisateur ou à l'échec de ses exigences. Par conséquent, il est d'une importance capitale de spécifier et d'analyser le comportement prévu de ces systèmes avant qu'ils ne soient entièrement mis en uvre. Dans ce travail, nous proposons le processus GOals to Statecharts (GO2S) pour dériver systématiquement le comportement des systèmes sensibles au contexte, exprimé sous forme de statecharts, à partir de modèles d'exigences, décrits sous forme de modèles de buts. Le processus prend en compte l'impact des exigences non fonctionnelles de ces systèmes à travers leur opérationnalisation et la hiérarchisation des alternatives à utiliser au moment de l'exécution (variantes). Le GO2S est un processus itératif centré sur le re nement incrémental d'un modèle de but, en obtenant différentes vues du système (conception, contextuel, comportemental). En outre, nous avons mené une expérience contrôlée pour évaluer les statecharts produits en suivant le GO2S (groupe expérimental) par rapport à ceux élaborés en ne l'utilisant pas (groupe de contrôle). Les résultats de l'expérience ont montré que les sujets sont d'accord pour dire que le processus GO2S est facile à utiliser.