GO2S: GOals To Statecharts Processo para sistemas sensíveis ao contexto

Os sistemas sensíveis ao contexto utilizam o contexto a fim de se adaptarem às necessidades actuais do utilizador ou a falhas nos requisitos. Por conseguinte, é da maior importância especificar e analisar o comportamento pretendido destes sistemas antes de serem totalmente implementados. Neste trabalho, propomos o processo GOals to Statecharts (GO2S) para derivar sistematicamente o comportamento dos sistemas sensíveis ao contexto, expressos como statecharts, de modelos de requisitos, descritos como modelos de objectivos. O processo tem em consideração o impacto dos requisitos não funcionais destes sistemas através da sua operacionalização e priorização de alternativas a serem utilizadas em tempo de execução (variantes). O GO2S é um processo iterativo centrado no modelo incremental re¿nement de um modelo de objectivo, obtendo diferentes visões do sistema (concepção, contexto, comportamento). Além disso, realizámos uma experiência controlada para avaliar os gráficos de estado produzidos segundo o GO2S (grupo experimental), em relação aos elaborados por não o utilizar (grupo de controlo). Os resultados da experiência mostraram que os sujeitos concordaram que o processo do GO2S é fácil de utilizar.