progetto e realizzazione di un componente software programmabile per la pianificazione di...
TRANSCRIPT
![Page 1: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/1.jpg)
PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE
PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA
FACOLTA’ DI INGEGNERIA
Corso di Laurea in Ingegneria Informatica
Ingegneria del Software L-A
Tesi di Laurea di:
Roberto RossiRelatore:
Chiar.mo Dott. Ing. Giuseppe Bellavia
![Page 2: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/2.jpg)
Scopo del Progetto
Creazione di un componente software per la pianificazione automatica di commissioni di laurea.
Il componente deve potersi integrare con il sistema software sviluppato per la gestione delle commissioni.
Partendo da opportuni dati in ingresso esso deve elaborare e restituire piani per la creazione delle commissioni.
![Page 3: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/3.jpg)
Requisiti di progetto
Richieste in sede di analisi dei requisiti:
Vincoli primari:Creazione di commissioni che rispettano la struttura richiestaConfigurabilità della struttura delle commissioni da creare
Vincoli secondari:Bilanciamento degli orari di proclamazioneInserimento di relatore e rispettivi laureandi nella medesima commissioneImposizione di un orario massimo per la proclamazioneGestione delle presenze
![Page 4: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/4.jpg)
Configurabilità
specifiche per la creazione delle commissioni spesso soggette a cambiamenti
necessità di creare componente in grado di gestire modifiche nella struttura delle commissioni da creare
…gestione tramite descrittori:
Un descrittore dice al componente come deve essere strutturata una commissione di laurea
Tipologie di docenti che vi possono comparire Corsi di Laurea associati alla commissione Tipi di tesi presentate Numero totale di professori Numero minimo di professori con docenza
![Page 5: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/5.jpg)
Caratteristiche comportamentali
Funzionalità offerte dal componente:
Valutazione delle possibili ipotesi di soluzione Stima della durata di una commissione Stima del numero di commissioni
Creazione delle commissioni relative ad un ipotesi valutata Inserimento docenti Inserimento laureandi
![Page 6: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/6.jpg)
L’Interfaccia
Il metodo valutaIpotesiSoluzione : Si occupa di valutare le possibili ipotesi per la creazione
delle commissioni.
Il metodo creaCommissioni: Produce in uscita le commissioni relative ad un’ipotesi.
Algoritmo
+ … valutaIpotesiSoluzione(…)
+ … creaCommissioni(…)
![Page 7: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/7.jpg)
+ … valutaIpotesiSoluzione(…)
Parametri in ingresso: Descrittore di commissione Lista di docenti e relative disponibilità Lista di laureandi Numero massimo di commissioni al mattino Numero massimo di commissioni al pomeriggio Durata massima di una commissione
Restituisce: Lista di ipotesi di soluzione
![Page 8: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/8.jpg)
+ … creaCommissioni(…)
Parametri in ingresso: Ipotesi di soluzione
Restituisce Lista di commissioni
![Page 9: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/9.jpg)
Il contratto
1. Il sistema software principale richiede al metodo …valutaIpotesiSoluzione(…) le possibili ipotesi relative ai dati in ingresso forniti.
2. Il componente elabora i dati e, se trova soluzioni lecite, restituisce le ipotesi relative.
3. Il sistema software principale richiede all’utente di valutare le ipotesi proposte dal componente.
4. Il sistema software principale richiede al componente la creazione delle commissioni relative ad un’ipotesi tramite il metodo …creaCommissioni(…).
I passi per connettersi al componente sono stati fissati nel contratto di comunicazione con il sistema software per la gestione delle commissioni di laurea.
![Page 10: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/10.jpg)
L’implementazione
Possibili strategie di pianificazione:politiche esatte
politiche approssimate
Criteri di scelta:cosa si intende per soluzione ammissibile
cosa si intende per soluzione ottima
qualità dell’ottimo da trovare
ordine dei tempi di elaborazione
![Page 11: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/11.jpg)
Le scelte
Scelta operata nell’implementazione:algoritmi approssimati: cercano una soluzione ammissibile, possibilmente anche vicina all’ottimo
Strategia:esplorazione in backtracking delle disposizioni di docenti usate per produrre soluzioni. implementazione a stack di stati di commissioni
esplorazione limitata da un parametro che ne indica la profondità
![Page 12: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/12.jpg)
L’algoritmo implementato
Gli strumenti…
una procedura che attua l’esplorazione in backtracking delle possibili disposizioni di inserimento dei docenti in commissione.
una procedura che verifica se un docente può essere inserito o meno in una commissione, in base ai docenti già inseriti in essa e ai dati contenuti nel descrittore.
una procedura che verifica se una commissione è completa
![Page 13: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/13.jpg)
L’algoritmo implementato
Utilizzando tali strumenti è possibile:
esplorare le possibili disposizioni di docenti, ricercando un ordine di inserimento che produca una soluzione ammissibile.
creare esclusivamente commissioni valide
verificare se la soluzione trovata è ammissibile i.e. tutte le commissioni sono complete
![Page 14: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/14.jpg)
L’esplorazione di una soluzione
Le azioni svolte nell’esplorazione di una soluzione:
…supponendo di voler creare m commissioni:creazione delle m commissioni vuote
esplorazione della successiva disposizione di inserimento dei docenti in commissioneverifica dell’ammissibilità
[se ammissibile]inserimento dei laureandi
[se non ammissibile]ritorna al punto 2
![Page 15: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/15.jpg)
L’esplorazione di una soluzione
Supponendo di avere:m = commissioni da creare
DpC = docenti per commissione
d = docenti
… e di aver già creato le commissioni vuote.
Le azioni svolte:1. Esplorazione
della disposizione…
![Page 16: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/16.jpg)
L’esplorazione di una soluzione
Le azioni svolte:1. Esplorazione
della disposizione…
d
Diagramma ad albero
radice
Commissioni:
m
DpC
Inserimento OK
d
1 d
Lista di docenti restanti:
![Page 17: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/17.jpg)
L’esplorazione di una soluzione
Le azioni svolte:1. Esplorazione
della disposizione…
d
radice
Commissioni:
m
DpC
Inserimento non OK
d
1 d
Lista di docenti restanti: Diagramma ad albero
![Page 18: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/18.jpg)
L’esplorazione di una soluzione
Le azioni svolte:1. Esplorazione
della disposizione…
d
radice
Commissioni:
m
DpC
Inserimento OK
d
1 d
Lista di docenti restanti: Diagramma ad albero
![Page 19: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/19.jpg)
L’esplorazione di una soluzione
Le azioni svolte:1. Esplorazione
della disposizione…
d
foglia
disposizioneradice
Commissioni:
m
DpC
Inserimento OK
Slot vuoti
Soluzione non Ammissibile
Diagramma ad alberod
1 d
Lista di docenti restanti:
![Page 20: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/20.jpg)
L’esplorazione di una soluzione
Le azioni svolte:2. Esplorazione
della successiva disposizione…
d
foglia esplorata
radice
Commissioni:
m
DpC
d
1 d
Lista di docenti restanti:
Diagramma ad albero
![Page 21: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/21.jpg)
L’esplorazione di una soluzione
Le azioni svolte:2. Esplorazione
della successiva disposizione…
d
foglia esplorata
radice
Commissioni:
m
DpC
d
1 d
Lista di docenti restanti:
Diagramma ad albero
![Page 22: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/22.jpg)
L’esplorazione di una soluzione
Le azioni svolte:2. Esplorazione
della successiva disposizione…
d
foglia esplorata
radice
Commissioni:
m
DpC
Primo nodo di branching trovato
d
1 d
Lista di docenti restanti:
Diagramma ad albero
![Page 23: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/23.jpg)
L’esplorazione di una soluzione
Le azioni svolte:2. Esplorazione
della successiva disposizione…
d
foglia esplorata
radice
Commissioni:
m
DpC
Inserimento non OK
d
1 d
Lista di docenti restanti:
Diagramma ad albero
![Page 24: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/24.jpg)
L’esplorazione di una soluzione
Le azioni svolte:2. Esplorazione
della successiva disposizione…
d
foglia esplorata
radice
Commissioni:
m
DpC
Inserimento OK
Diagramma ad albero
![Page 25: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/25.jpg)
L’esplorazione di una soluzione
Le azioni svolte:2. Esplorazione
della successiva disposizione…
d
foglia esplorata
disposizione
foglia
radice
Commissioni:
m
DpC
Slot vuoti
Soluzione non Ammissibile
d
1 d
Lista di docenti restanti:
Diagramma ad albero
![Page 26: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/26.jpg)
L’esplorazione di una soluzione
Le azioni svolte:3. Esplorazione
della disposizione ammissibile…
Commissioni:
m
DpC
d
radice
n-esimo nodo di branching
Diagramma ad albero
![Page 27: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/27.jpg)
L’esplorazione di una soluzione
Le azioni svolte:3. Esplorazione
della disposizione ammissibile…
Commissioni:
m
DpC
d
OK
disposizione
La soluzione è Ammissibile
Stop
d
radice
soluzioni non ammissibili
Diagramma ad albero
![Page 28: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/28.jpg)
Il partizionamento per priorità
partizionamento dei docenti per priorità di inserimento
… docenti titolari di insegnamento – non titolari … disponibilità … presenze (partizioni elementari)
Esempio: vi è un vincolo di minimo sui docenti titolari di insegnamento per commissione
so che esiste una soluzione dovrò inserire per primi i non titolari
aumento della probabilità di trovare subito una soluzione ammissibile
priorità crescente di inserimento
0
d-k
(d-k)-j
d
![Page 29: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/29.jpg)
Il workflow implementatoI passi concettuali seguiti dal workflow:
Analisi deterministica del numero massimo di commissioni ottenibile sulla base di: Numero dei docenti disponibili Tipologie dei docenti disponibili Numero di docenti disponibili titolari di un corso
Generazione di commissioni vuoteRicerca di una soluzioneMemorizzazione della soluzione trovata (se esiste)Decremento del numero massimo di commissioni ottenibileRitorno al punto 2
Al termine si ottiene:Elenco di soluzioni che differiscono per numero di commissioni
nMax commissioni … 1 commissione
![Page 30: PROGETTO E REALIZZAZIONE DI UN COMPONENTE SOFTWARE PROGRAMMABILE PER LA PIANIFICAZIONE DI COMMISSIONI DI LAUREA FACOLTA’ DI INGEGNERIA Corso di Laurea](https://reader035.vdocuments.pub/reader035/viewer/2022070313/5542eb76497959361e8df861/html5/thumbnails/30.jpg)
Sviluppi futuri
Gestione di ulteriori parametri non ancora considerati nella creazione delle commissioni anche se
presenti nei dati in ingresso.
Introduzione di algoritmi con maggiori livelli di ottimizzazione per le attività svolte
Remoting delle procedure in ambiente .NET distribuito attualmente le procedure sono invocabili in ambiente locale tramite
Reflection.