GO2S: Proceso GOals To Statecharts para sistemas sensibles al contexto

Los sistemas sensibles al contexto utilizan éste para adaptarse a las necesidades actuales del usuario o al fracaso de los requisitos. Por lo tanto, es de suma importancia especificar y analizar el comportamiento previsto de estos sistemas antes de que se implementen por completo. En este trabajo, proponemos el proceso GOals to Statecharts (GO2S) para derivar sistemáticamente el comportamiento de los sistemas sensibles al contexto, expresado como statecharts, a partir de modelos de requisitos, descritos como modelos de objetivos. El proceso tiene en cuenta el impacto de los requisitos no funcionales de estos sistemas a través de su operacionalización y priorización de las alternativas a utilizar en tiempo de ejecución (variantes). El GO2S es un proceso iterativo centrado en el re¿namiento incremental de un modelo de objetivos, obteniendo diferentes vistas del sistema (de diseño, contextual, de comportamiento). Además, realizamos un experimento controlado para evaluar los statecharts producidos siguiendo el GO2S (grupo experimental) en relación con los elaborados al no utilizarlo (grupo de control). Los resultados del experimento mostraron que los sujetos estaban de acuerdo en que el proceso GO2S es fácil de usar.