GO2S: GOals To Statecharts Processo per sistemi sensibili al contesto

I sistemi sensibili al contesto utilizzano il contesto per adattarsi alle esigenze attuali dell'utente o al fallimento dei requisiti. Pertanto, è di fondamentale importanza specificare e analizzare il comportamento previsto di questi sistemi prima della loro completa implementazione. In questo lavoro, proponiamo il processo GOals to Statecharts (GO2S) per derivare sistematicamente il comportamento dei sistemi sensibili al contesto, espresso come statecharts, dai modelli di requisiti, descritti come modelli di obiettivi. Il processo prende in considerazione l'impatto dei requisiti non funzionali di questi sistemi attraverso la loro operazionalizzazione e la prioritizzazione delle alternative da utilizzare a tempo di esecuzione (varianti). Il GO2S è un processo iterativo incentrato sul ri¿nanziamento incrementale di un modello di obiettivi, ottenendo diverse viste del sistema (progettuale, contestuale, comportamentale). Inoltre, abbiamo condotto un esperimento controllato per valutare gli statechart prodotti seguendo il GO2S (gruppo sperimentale) rispetto a quelli elaborati non utilizzandolo (gruppo di controllo). I risultati dell'esperimento hanno mostrato che i soggetti concordano sulla facilità d'uso del processo GO2S.