Check&SODA: Analisi e sviluppo di uno strumento di verifica di consistenza a supporto della metodologia SODA
 |
 |
 |
@mastersthesis{checksoda08,
abstract = {Scopo di questa tesi \`{e} analizzare e sviluppare la parte preposta al controllo dell’integrit\`{a} dei dati (Check&SODA), facente parte di un nuovo plugin per piattaforma Eclipse che supporti il progettista durante le attivit\`{a} di progettazione con SODA, tramite una componente grafica Graph&SODA. Parallelamente il controllo (check) deve mettere a disposizione le risorse necessarie al fine di agevolare lo sviluppo ed il mantenimento delle tabelle SODA, che manualmente vengono manutenute tramite il modulo di gestione tabelle (Kit&SODA). vii Le caratteristiche finali del dello strumento, che si viene a progettare, dovranno essere quelle di portabilit\`{a} ed estendibilit\`{a}, in un contesto completamente open-source. A seguito di quanto detto, la tesi si compone del primo capitolo, in cui viene data una descrizione della piattaforma Eclipse relazionata al concetto di plug-in, che rappresenta l’elemento atomico, utile a definire nuovi strumenti di sviluppo che si integrano nella piattaforma stessa, aumentandone le funzionalit\`{a}. Successivamente, nel secondo capitolo, viene descritta la metodologia SODA. La definizione dei concetti sviluppati nei primi due capitoli, serve come base, per la progettazione del modulo di controllo, che troviamo definito nel terzo e quarto capitolo. Seguono le conclusioni nel capitolo 5.},
amseprint = {3504},
author = {Foligatti, Alan},
available = {2008-04-17},
contact = {Molesini, Ambra},
cosupervisor = {Molesini, Ambra and Denti, Enrico},
cycle = {L},
description = {Check&SODA \`{e} un tool per la verifica di consistenza del sistema realizzato come plug-in di Eclipse. Questo tool deve essere fortemente integrabile con il tool [Kit&SODA|Theses.ToolkitSoda08] in quanto quest' ultimo funge da sorgente per Check&SODA. Check&SODA infatti deve controllare che il progettista stia lavorando in modo consistente: * i nomi delle astrazioni sono chiavi primarie nel sistema e quindi devono essere unici * le tabelle non devono contenere nessuna entry vuota (pu\`{o} capitare quando le tabelle sono riempite in automatico per mezzo di [Graph&SODA|Theses.GraphSoda08]) * i vincoli di foreign key devono essere tutti rispettati * non ci devono essere relazioni tra diversi layer a meno di quelle gestite dai meccanismi di zoom e proiezione Al verificarsi di una mancanza di consistenza il sistema deve segnalare errore all'utente e attendere che questo lo risolva prima di consentire qualsiasi altra operazione. Check&SODA dovr\`{a} prevedere due modalit\`{a} di funzionamento: * automatica: Check&SODA dovr\`{a} controllare periodicamente la consistenza del sistema. L'intervallo di tempo deve poter essere impostato dal progettista * on demand: Check&SODA potr\`{a} essere invocato anche manualmente su richiesta del progettista L'analisi e la progettazione di Check&SODA devono essere fatti in modo molto accurato e documentato (cos\`{i} come il codice) in modo che il processo di progettazione sia chiaro.},
month = mar,
start = {2010-11-08},
supervisor = {Omicini, Andrea},
title = {Check&SODA: Analisi e sviluppo di uno strumento di verifica di consistenza a supporto della metodologia SODA},
type = {Bachelor's thesis},
year = 2012
}
abstract = {Scopo di questa tesi \`{e} analizzare e sviluppare la parte preposta al controllo dell’integrit\`{a} dei dati (Check&SODA), facente parte di un nuovo plugin per piattaforma Eclipse che supporti il progettista durante le attivit\`{a} di progettazione con SODA, tramite una componente grafica Graph&SODA. Parallelamente il controllo (check) deve mettere a disposizione le risorse necessarie al fine di agevolare lo sviluppo ed il mantenimento delle tabelle SODA, che manualmente vengono manutenute tramite il modulo di gestione tabelle (Kit&SODA). vii Le caratteristiche finali del dello strumento, che si viene a progettare, dovranno essere quelle di portabilit\`{a} ed estendibilit\`{a}, in un contesto completamente open-source. A seguito di quanto detto, la tesi si compone del primo capitolo, in cui viene data una descrizione della piattaforma Eclipse relazionata al concetto di plug-in, che rappresenta l’elemento atomico, utile a definire nuovi strumenti di sviluppo che si integrano nella piattaforma stessa, aumentandone le funzionalit\`{a}. Successivamente, nel secondo capitolo, viene descritta la metodologia SODA. La definizione dei concetti sviluppati nei primi due capitoli, serve come base, per la progettazione del modulo di controllo, che troviamo definito nel terzo e quarto capitolo. Seguono le conclusioni nel capitolo 5.},
amseprint = {3504},
author = {Foligatti, Alan},
available = {2008-04-17},
contact = {Molesini, Ambra},
cosupervisor = {Molesini, Ambra and Denti, Enrico},
cycle = {L},
description = {Check&SODA \`{e} un tool per la verifica di consistenza del sistema realizzato come plug-in di Eclipse. Questo tool deve essere fortemente integrabile con il tool [Kit&SODA|Theses.ToolkitSoda08] in quanto quest' ultimo funge da sorgente per Check&SODA. Check&SODA infatti deve controllare che il progettista stia lavorando in modo consistente: * i nomi delle astrazioni sono chiavi primarie nel sistema e quindi devono essere unici * le tabelle non devono contenere nessuna entry vuota (pu\`{o} capitare quando le tabelle sono riempite in automatico per mezzo di [Graph&SODA|Theses.GraphSoda08]) * i vincoli di foreign key devono essere tutti rispettati * non ci devono essere relazioni tra diversi layer a meno di quelle gestite dai meccanismi di zoom e proiezione Al verificarsi di una mancanza di consistenza il sistema deve segnalare errore all'utente e attendere che questo lo risolva prima di consentire qualsiasi altra operazione. Check&SODA dovr\`{a} prevedere due modalit\`{a} di funzionamento: * automatica: Check&SODA dovr\`{a} controllare periodicamente la consistenza del sistema. L'intervallo di tempo deve poter essere impostato dal progettista * on demand: Check&SODA potr\`{a} essere invocato anche manualmente su richiesta del progettista L'analisi e la progettazione di Check&SODA devono essere fatti in modo molto accurato e documentato (cos\`{i} come il codice) in modo che il processo di progettazione sia chiaro.},
month = mar,
start = {2010-11-08},
supervisor = {Omicini, Andrea},
title = {Check&SODA: Analisi e sviluppo di uno strumento di verifica di consistenza a supporto della metodologia SODA},
type = {Bachelor's thesis},
year = 2012
}