GO2S: GOals To Statecharts Process for context-sensitive systems

Context-sensitive systems use context in order to adapt to the user¿s current needs or requirements failure. Therefore, it is of paramount importance to specify and analyze the intended behavior of these systems before they are fully implemented. 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). The GO2S is an iterative process centered on the incremental re¿nement 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). The experiment results showed that the subjects agreed that the GO2S process is easy to use.