A Framework for the Formal Modeling of Web Interactions and its use for Monitoring and Enhancing Web Applications

Lo scopo del progetto è lo sviluppo di un framework formale per la specifica, la modellazione e la misurazione dei comportamenti degli utenti durante le interazioni con le applicazioni web. Questo framework verrà definito in modo preciso e sistematico in termini di sintassi, semantica e potere espressivo; descriverà le interazioni tra utente e applicazione in termini di state chart, dove i nodi rappresentano lo stato in cui si trova l´utente e gli archi rappresentano le transizioni fra gli stati. L´obiettivo successivo sarà quello di sviluppare un evaluator capace di computare le istanze del modello, riconoscendo quali interazioni degli utenti corrispondono appunto alle istanze del modello. Infine, il modello sarà utilizzato come base per costruire applicazioni web, più precisamente reactive Web applications, ovvero applicazioni che riconoscono un dato comportamento dell´utente e si adattano di conseguenza ad esso. Il modello verrà impiegato come un event monitor e verrà aggiunta ad esso la specifica delle azioni che possono realizzare una ristrutturazione significativa dell´applicazione stessa. Secondo il paradigma evento-condizione-azione (event-condition-action), le azioni sono eseguite quando certi eventi sono rilevati e certe condizioni soddisfatte.