Ricerca di contatti, progetti,
corsi e pubblicazioni

Un framework per la modellizzazione formale delle interazioni web e il suo utilizzo per monitorare e migliorare le applicazioni web

Persone

 

Ceri S.

(Responsabile)

Demaldè V.

(Collaboratore)

Abstract

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.

Informazioni aggiuntive

Data d'inizio
01.05.2004
Data di fine
01.05.2006
Durata
24 Mesi
Enti finanziatori
SNSF
Stato
Concluso
Categoria
Swiss National Science Foundation / Project Funding / Division II - Mathematics, Natural and Engineering Sciences