Meccanismi e tecniche per il supporto di operazioni undo e redo

Sebbene i sistemi informatici siano stati a lungo progettati per proteggere gli utenti dagli errori di sistema, solo recentemente hanno fornito sofisticati strumenti di recupero atti a supportare la correzione dei propri errori. Le funzionalità di UNDO e REDO sono diventate una caratteristica importante in molti sistemi interattivi, poiché la possibilità di recuperare da errori imprevisti offre agli utenti più libertà di sperimentare operazioni o comandi avanzati. L'obbiettivo di questa tesi è quello di descrivere i due principali tipi di categorie di modelli che permettono di implementare operazioni di UNDO e REDO, Linear undo e Non linear undo. Verranno descritti nel dettaglio i vari modelli che ne fanno parte. Nel caso del linear undo viene descritto il modello e i due tipi di implementazione che si possono fare, con due stack o con un solo stack. Per quanto riguarda il non linear undo vengono descritti i modelli principali che ne fanno parte, Script Model, US&R Model, Triadic Model e Direct Selective Model. Viene discussa la programmazione reversibile applicata alla robotica industriale, particolare caso di utilizzo di operazioni UNDO e REDO applicata ai processi industriali che permette di ottenere numerosi vantaggi. Grazie alla reversibilità applicata alla robotica i macchinari industriali sono in grado di memorizzare le operazioni effettuate e, in caso di errore, di tornare automaticamente indietro rieseguendo all'inverso le operazioni svolte e permettendo al sistema di uscire dallo stato di errore. In conclusione vengono descritti vantaggi e svantaggi che queste operazioni comportano.