Ingegnerizzazione di uno strumento di supporto alle teorie etichettate per l'interprete tuProlog in ambiente NetBeans
 |
 |
 |
@mastersthesis{coccinigailli_teorieetichettatenetbeans,
abstract = {Partendo dalla versione tuprolog 1.4.0 (che supporta le teorie logiche etichettate - ex tesi Nanetti), progettare e costruire un plugin NetBeans che integri ed estenda il pre-esistente, aggiungendo il supporto al concetto di teoria logica etichettata},
author = {Luca Coccini Gailli},
available = {2010-03-17},
contact = {Denti, Enrico},
cosupervisor = {Piancastelli, Giulio},
cycle = {LM},
description = {Contesto: - Versione tuprolog: 1.4.0 (che supporta le teorie logiche etichettate - ex tesi Nanetti) - caratteristiche di tuprolog 1.4.0: teoria logica globale = insieme di teorie etichettate, supporto per istanze multiple di una stessa teoria etichettata nelle teoria globale, operazioni di gestione (aggiunta di una teoria in fondo alla lista teoria, rimozione dell?ultima teoria con un dato nome, recupero dell?insieme delle teorie, impostazione di un?unica teoria logica) Obiettivo: - progettare e costruire un plugin NetBeans che integri ed estenda il pre-esistente, aggiungendo il supporto al concetto di teoria logica etichettata Aspetti chiave: - interazione dell?utente con l?engine, persistenza delle teorie - gestione della persistenza: plug-in indipendente da essa, introduzione dell?elenco delle teorie disponibili da cui importare/esportare teorie verso il supporto alla persistenza e da/al set delle teorie correntemente attive, etc - gestione librerie: possibilit\`{a} per l?utente di includere/escludere una data libreria nella valutazione di una query, librerie tuprolog incapsulate in appositi moduli - automatizzazione della gestione librerie nell?ambiente: l'installazione/rimozione di un modulo contenente una libreria tuProlog dall'ambiente NetBeans comporter\`{a} l'aggiunta/rimozione di una libreria tuProlog dal plug-in. Processo di sviluppo - articolato su 6 milestone/prototipi a complessit\`{a} e funzionalit\`{a} crescenti - primi due prototipi implementati, gli altri solo progettati (future work); - ogni prototipo estende il precedente o richiede al pi\`{u} riprogettazioni mirate Cosa ha fatto: - motore prolog incapsulato in un library wrapper - incapsulamento dei componenti del plugin in un modulo a parte, separato, onde dare la possibilita di sostituire il motore (nuove versioni) senza fatica - possibilit\`{a} di distribuisce quindi una module suite fatta da due parti distinte - modifiche a tuProlog: aggiunte funzionalit\`{a} di notifica e precisamente: notifica di rimozione libreria, notifica di esecuzione di assert/retract, correzione bug in gestione listener eventi interni del motore (NB: permane bug su comportamento anomalo di assert/retract)},
language = {it},
month = oct,
start = {2006-04-15},
supervisor = {Denti, Enrico},
title = {Ingegnerizzazione di uno strumento di supporto alle teorie etichettate per l'interprete tuProlog in ambiente NetBeans},
type = {Master's thesis},
year = 2006
}
abstract = {Partendo dalla versione tuprolog 1.4.0 (che supporta le teorie logiche etichettate - ex tesi Nanetti), progettare e costruire un plugin NetBeans che integri ed estenda il pre-esistente, aggiungendo il supporto al concetto di teoria logica etichettata},
author = {Luca Coccini Gailli},
available = {2010-03-17},
contact = {Denti, Enrico},
cosupervisor = {Piancastelli, Giulio},
cycle = {LM},
description = {Contesto: - Versione tuprolog: 1.4.0 (che supporta le teorie logiche etichettate - ex tesi Nanetti) - caratteristiche di tuprolog 1.4.0: teoria logica globale = insieme di teorie etichettate, supporto per istanze multiple di una stessa teoria etichettata nelle teoria globale, operazioni di gestione (aggiunta di una teoria in fondo alla lista teoria, rimozione dell?ultima teoria con un dato nome, recupero dell?insieme delle teorie, impostazione di un?unica teoria logica) Obiettivo: - progettare e costruire un plugin NetBeans che integri ed estenda il pre-esistente, aggiungendo il supporto al concetto di teoria logica etichettata Aspetti chiave: - interazione dell?utente con l?engine, persistenza delle teorie - gestione della persistenza: plug-in indipendente da essa, introduzione dell?elenco delle teorie disponibili da cui importare/esportare teorie verso il supporto alla persistenza e da/al set delle teorie correntemente attive, etc - gestione librerie: possibilit\`{a} per l?utente di includere/escludere una data libreria nella valutazione di una query, librerie tuprolog incapsulate in appositi moduli - automatizzazione della gestione librerie nell?ambiente: l'installazione/rimozione di un modulo contenente una libreria tuProlog dall'ambiente NetBeans comporter\`{a} l'aggiunta/rimozione di una libreria tuProlog dal plug-in. Processo di sviluppo - articolato su 6 milestone/prototipi a complessit\`{a} e funzionalit\`{a} crescenti - primi due prototipi implementati, gli altri solo progettati (future work); - ogni prototipo estende il precedente o richiede al pi\`{u} riprogettazioni mirate Cosa ha fatto: - motore prolog incapsulato in un library wrapper - incapsulamento dei componenti del plugin in un modulo a parte, separato, onde dare la possibilita di sostituire il motore (nuove versioni) senza fatica - possibilit\`{a} di distribuisce quindi una module suite fatta da due parti distinte - modifiche a tuProlog: aggiunte funzionalit\`{a} di notifica e precisamente: notifica di rimozione libreria, notifica di esecuzione di assert/retract, correzione bug in gestione listener eventi interni del motore (NB: permane bug su comportamento anomalo di assert/retract)},
language = {it},
month = oct,
start = {2006-04-15},
supervisor = {Denti, Enrico},
title = {Ingegnerizzazione di uno strumento di supporto alle teorie etichettate per l'interprete tuProlog in ambiente NetBeans},
type = {Master's thesis},
year = 2006
}
