Il trasformismo parlamentare alla Camera dei Deputati durante la "Seconda Repubblica"

La mobilità parlamentare è un indicatore dello stato di salute del sistema politico italiano. Dopo un brvee excursus storico della mobilità in Italia dal Regno d'Italia ai giorni nostri, si mostra un'analisi dei dati inerenti la Prima e la Seconda Repubblica italiana che dimostrano un fenomeno ora molto intenso per numero e modalità di migrazioni fra gruppi parlamentari. Vengono illustrate le principali sanzioni previste dalla normativa di altri Paesi europei ed extraeuropei, per concludere con l'illustrazione delle modifiche proposte alla Camera (e al Senato ) per far fronte a questo fenomeno. Al momento le proposte pur convergendo su alcuni punti, non sembrano ancora pronte per poter essere attuate.

Teoria dei giochi ed evoluzione La selezione naturale

La tesi fornisce una chiave di lettura del rapporto che si instaura tra la biologia e la matematica, nello specificio nell'analisi della Teoria dell'Evoluzione proposta da Charles Darwin e del processo di Selezione Naturale attraverso l'utilizzo di modelli matematici forniti dalla Teoria dei giochi e la Teoria dei giochi Evolutivi.

La risposta cellulare ai diversi tipi di radiazione tramite espressione genica e radiobiologia sistemica

Questo progetto ha confrontato gli effetti indotti da diversi tipi di radiazioni, diversa intensità delle dosi, diverso rateo di dose su sistemi cellulari differenti. In particolare sono stati seguiti due studi differenti, finalizzati all’indagine degli effetti e dei meccanismi indotti da trattamenti radioterapici su cellule in coltura. Nel primo studio -EXCALIBUR- sono stati investigati i meccanismi di induzione e trasmissione del danno a basse dosi di radiazioni, in funzione della qualità della radiazione (raggi gamma e protoni) e della dose. Cellule di glioblastoma umano (T98G) sono state irraggiate con raggi gamma e protoni a due diverse dosi (0,25 Gy e 2 Gy); in questo studio è stata valutata e analizzata la variazione di espressione genica rilevata utilizzando la tecnologia dei microarray. Per mezzo dell’analisi statistica, con due software diversi, si è osservato come nelle cellule irraggiate si attivino i geni legati alla senescenza cellulare; questo risultato è significativo, visto che potrebbe rappresentare una prospettiva terapeutica interessante per molte neoplasie. Il secondo studio –Plasma Focus- ha lo scopo di ampliare le applicazioni nel settore medicale di una sorgente radiante che produce raggi X ad altissimo rateo di dose (plasma focus). In questo studio, l’attenzione è stata posta sulla preparazione dei campioni biologici per l’irraggiamento. Cellule di adenocarcinoma mammario (MCF7) sono state coltivate in laboratorio e posizionate all’interno di appositi portacampioni pronte per essere irraggiate con raggi X ad alto e a basso rateo di dose. Per mezzo della microscopia ottica e della citometria a flusso in fluorescenza, si è osservato come un rateo di dose elevato provochi danni cellulari superiori. L’analisi quantitativa ha mostrato che, nelle cellule trattate con il plasma focus, il 18% risulti danneggiato rispetto al 7% delle cellule di controllo; con i raggi X convenzionali risulta danneggiato l'8% di cellule, rispetto al 3% delle cellule di controllo.

Studi sul guadagno dei fotomoltiplicatori per il luminometro LUCID dell'esperimento ATLAS a LHC

Dall'inizio del 2013 il Large Hadron Collider (LHC) non produce dati (fase di shut down) per effettuare operazioni di consolidamento e manutenzione. Nella primavera del 2015 ritornerà in funzione con energia e luminosità maggiori. La fase di shut down è sfruttata anche per migliorare le prestazioni dei vari rivelatori che operano in LHC, così che possano acquisire dati in modo efficiente alla riaccensione. Per quanto riguarda il monitor di luminosità LUCID, che fa parte dell'esperimento ATLAS, sono stati sostituiti i rivelatori principali (i fotomoltiplicatori) e l'elettronica. Numerosi considerazioni rispetto alla durata dei nuovi sensori nell'ambiente di LHC tra il 2015 e il 2018, nonché sulla misura della luminosità durante il run II, hanno portato alla conclusione che i nuovi PMT dovranno operare ad un guadagno di math 10^5. E' stato dunque necessario, una volta identificati ed acquistati i nuovi sensori, qualificarne il funzionamento individuale e determinare la tensione di lavoro corrispondente al guadagno desiderato. La prima parte di tali misure, effettuate interamente a Bologna, riguarda la misura della corrente di buio e l'andamento della dipendenza del guadagno dei PMT dalla tensione applicata. La seconda parte riguarda invece lo studio di diversi metodi per le misure del guadagno assoluto, e la loro applicabilità durante la fase di funzionamento di LHC. Durante la presa dati, infatti, sarà essenziale essere in grado di monitorare continuamente il guadagno di ciascun sensore al fine di mantenerlo costante. Le misure di guadagno assoluto presentate in questa tesi sono state effettuate in parte a Bologna, sfruttando il metodo del singolo fotoelettrone, e in parte presso il CERN, utilizzando una sorgente radioattiva, il Bismuto 207.

Confronto di due metodologie per la stima del potenziale di liquefazione nel sito di Isola Serafini (Monticelli d'Ongina, Piacenza)

Lo scopo di questa tesi è lo studio, inizialmente a livello teorico, del fenomeno della liquefazione tramite testi di letteratura e manuali tecnici. Da questi sono state acquisite le conoscenze basilari e necessarie per la stima del potenziale di liquefazione, che in seguito sono state applicate ad un caso reale. In questa seconda parte del lavoro sono stati elaborati i dati sperimentali ottenuti dalle indagini in sito, SPT ed CPT eseguite nel sito di Isola Serafini, ottenendo la stima del potenziale di liquefazione dei terreni. L’obiettivo generale è quello di confrontare e commentare le differenze tra i risultati ottenuti con le prove SPT e CPT. Le analisi sono state condotte considerando la sismicità dell’area e cercando di simulare la situazione presente durante l’evento sismico dell’Emilia risalente al 20 maggio 2012.

Rilevamento geologico-strutturale lungo la Linea di Belluno nella zona di Monte Piad (Provincia di Belluno)

Il prodotto principale del lavoro è la Carta Geologica alla scala 1:5.000 che ha portato un avanzamento delle conoscenze nella zona in esame. Dal punto di vista stratigrafico il Gruppo dei Calcari Grigi è stato suddiviso nelle formazioni già distinte nei Fogli CARG Tione, Malè, Trento e Asiago: la Formazione di Monte Zugna, Fm. Di Loppio, Fm. Di Rotzo, Fm. Di Grigno. È stato possibile anche rilevare e cartografare l’Oolite di S. Vigilio, anche detta Encrinite di Monte Agaro, con uno spessore di circa 5 m sino alla zona di Sass de Falares, cioè più ad est di quanto noto in letteratura. E’ stato osservato che la Linea di Belluno non è un piano unico, ma comprende altre due faglie: la Linea di Monte Piad che consiste in una faglia inversa che taglia in cerniera l’Anticlinale del Monte Coppolo, e poco a sud la Linea di Sasso Falares che rappresenta la faglia che ha generato la piega per propagazione di faglia del Coppolo, e proseguendo poi verso l’alto ha tagliato tutta la piega emergendo in superficie. In tal modo si forma il duplex di Sasso Falares, arrangiato in una blanda coppia anticinale-sinclinale tipica della geometria di queste strutture, che risulta delimitato a nord dalla linea omonima e a sud dalla L. di Belluno s.s. che si incontrano a quota circa 700 m. Si è potuta anche ricostruire la cinematica del piano principale del thrust di Belluno studiando l’affioramento eccezionale messo a nudo di recente. Gli assi degli sforzi, agenti in compressione, ricostruiti tramite l’analisi meso-strutturale, testimoniano una compressione orientata NNW-SSE, correlabile con l’Evento Valsuganese del Serravalliano-Tortoniano, legato ad un asse compressivo N340 che rappresenta l’evento principale nella regione sudalpina. Anche l’Evento compressivo del Cattiano-Burdigalliano con asse N30 ed una compressione orientata circa E-W correlabile con l’Evento Scledense del Messiniano-Pliocene risultano dall’analisi strutturale.

Rilevamento geologico – strutturale lungo la Linea di Belluno nella zona di Sass de Falares (Provincia di Belluno)

Il lavoro si propone di definire l’assetto geologico strutturale dell’area compresa tra la Valle del Torrente Cismon ed il Sass de Falares, a nord di Lamon (BL). Le novità che si sono potute aggiungere alla cartografia esistente, dal punto di vista stratigrafico sono: 1) La suddivisione del gruppo dei Calcari Grigi in quattro formazioni presenti più a occidente, quali la formazione di Monte Zugna, la formazione di Loppio, la formazione di Rotzo e la formazione del Grigno che in queste zone non erano ancora state evidenziate. La presenza di diffusi noduli di selce grigio-giallastra presenti nella parte medio-alta della formazione di Monte Zugna che testimoniano la persistenza di un ambiente subtidale nel Lias al passaggio tra Alto di Trento e Bacino Bellunese. 2) La presenza dell’Encrinite di Monte Agaro (Oolite di S.Vigilio) con uno spessore esiguo di 5 m sul Monte Coppolo ed anche in cresta a Sass de Falares. In ambito tettonico: 1) Si è accertato che l’anticlinale del Monte Coppolo è tagliata dalla faglia inversa del M.Piad con direzione circa E – O e immergente a N con un’inclinazione di circa 70° spezzando la piega quasi in cerniera; la si può riconoscere sul versante S ed E del M. Coppolo dove disloca la Fm. di M. Zugna e la Dolomia Principale. 2) Si è ricostruito l’assetto tettonico del Sass de Falares, che risulta essere una scaglia tettonica (duplex) compresa tra la Linea di Sass de Falares e la Linea di Belluno. 3) L’Anticlinale del M. Coppolo si è generata per propagazione di una faglia che corrisponde alla Linea di Sass de Falares che in seguito ha tagliato l’anticlinale con meccanismi di fault bend folding. Infine per ultima si è formata la Linea di Belluno s.s. a basso angolo con un raccorciamento maggiore di 2 km. Il sovrascorrimento di Belluno pertanto non è una struttura unica ma si sfrangia in 3 strutture tettoniche separate: Linea di M.Piad, Linea di Sass de Falares e Linea di Belluno s.s. 4) In Val della Selva è stato invece fatta la scoperta più importante di questo lavoro, visto che si è potuto osservare direttamente il piano principale della Linea di Belluno affiorante sulla strada forestale che porta verso la località Pugnai e quindi studiarlo e tracciarlo con precisione sulla carta. Esso ha direzione N68 ed un inclinazione di 30° verso NNW; mette a contatto la Fm. di M. Zugna con la Maiolica. Nell’affioramento si è potuta definire l’anatomia della zona di taglio con associazioni di piani R, R’, P e tettoniti S-C. 5) La ricostruzione della sezione geologica ci ha permesso di riconoscere l’organizzazione degli strati coinvolti nella deformazione. Attraverso programmi appositi quali Georient e Software Carey sono stati ricostruiti gli assi di massima compressione tramite l’analisi meso-strutturale: essi testimoniano una compressione orientata NNW-SSE, in accordo con l’Evento Valsuganese del Serravalliano-Tortoniano, legato ad un asse compressivo N340 che rappresenta l’evento principale nella regione sudalpina, ma sono stati riconosciuti anche assi di compressione orientati NE-SW e circa E-W correlabili con l’Evento Insubrico del Miocene inf. e con l’Evento Scledense del Messiniano - Pliocene.

La valutazione del rischio di incidente rilevante per i depositi di fitosanitari

I prodotti fitosanitari sono sostanze attive e preparati, contenenti una o più sostanze attive, destinati a proteggere i vegetali, a favorire e regolare i loro processi vitali, a conservarli, a eliminare le parti non necessarie, a frenare o evitare un loro indesiderato accrescimento, ad eliminare le piante indesiderate. Il prodotto fitosanitario è composto normalmente da tre tipologie di sostanze: sostanza attiva, coadiuvante e coformulante. Le sostanze attive rappresentano la parte del prodotto fitosanitario che serve a combattere l’avversità che si vuole controllare, cioè la sostanza tossica che, a seconda della pericolosità e della concentrazione presente nella formulazione, concorre a determinare la classe di tossicità e quindi di pericolosità del prodotto. Gli stabilimenti che detengono fitosanitari sono suddivisi in depositi e siti produttivi. Secondo la classificazione dell’ISPRA, i depositi di fitosanitari costituiscono una delle 15 categorie di attività a rischio di incidente rilevante, mentre, i siti produttivi rientrano nella categoria degli stabilimenti chimici e/o petrolchimici. Il presente lavoro di tesi ha riguardato la valutazione del rischio di incidente rilevante per i depositi di fitosanitari, con particolare attenzione al rischio associato alla produzione di composti tossici a seguito di scenari incidentali di incendio. È stata in primo luogo effettuata una ricerca approfondita finalizzata a comprendere che cosa sono i prodotti fitosanitari, a quale scopo servono e quali sono i rischi ad essi associati. Successivamente, è stato effettuato un approfondimento delle norme a cui i siti che producono e detengono fitosanitari sono soggetti. È stato quindi effettuato un censimento per individuare quali e quanti sono i depositi e i siti di produzione di prodotti fitosanitari suscettibili di causare incidenti rilevanti in Italia. Si è poi proceduto all’analisi storica sulle banche dati MHIDAS, E-MARS ed ARIA, al fine di individuare gli eventi incidentali che hanno interessato depositi e siti produttivi di fitosanitari. Successivamente, si è analizzato il Regolamento CPR-15, quale metodo raccomandato dal ministero olandese VROM (Ministerie van Volkshuisvesting, Ruimtelijke Ordening en Milieu) per la valutazione del rischio associato a depositi di fitosanitari. Come applicazione della metodologia per la valutazione del rischio descritta dal Regolamento CPR 15, è stata effettuata la modellazione di uno scenario di incendio in un deposito reale di fitosanitari attraverso il Warehouse Model, implementato nel software PHAST 6.54. La simulazione ha portato a definire l’estensione delle aree di danno associate alla dispersione dei fumi tossici prodotti dall’incendio.

Un'applicazione iOS per la gestione delle designazioni arbitrali

L’obiettivo della tesi è quello di sviluppare un’applicazione mobile per iOS al fine di creare un servizio all’utente che semplifichi il processo di consultazione della designazione della gara. Ho iniziato la mia esperienza arbitrale nell’Ottobre del 2008, quando per curiosità mi sono iscritto al corso gratuito organizzato dalla sezione di Bologna; da quel momento fare l’arbitro è diventata una passione. L’idea di sviluppare un’applicazione mobile è nata nel momento in cui ho riscontrato difficoltà, insieme ai miei colleghi, nel consultare il portale Web ogni qualvolta si presentasse la necessità di visualizzare la designazione arbitrale. In mancanza di un’applicazione mobile che permettesse l’accesso al portale Web dell’associazione, denominato Sinfonia 4 You, ho preso in considerazione la possibilità di sviluppare questo servizio. Per rendere concreta l’idea, ho avuto bisogno del supporto informatico dell’Associazione Italiana Arbitri. Nel corso della mia carriera da arbitro, ho avuto modo di conoscere i responsabili informatici nazionali dell’associazione, così da renderli partecipi della mia idea. Intuendo le potenzialita` del lavoro che volevo sviluppare, ho avuto la possibilità di essere invitato, attraverso il responsabile informatico della sezione di Bologna, nonché mio correlatore Luca Lipparini, di essere invitato a Coverciano (FI) per confrontarmi con il comitato informatico dell’associazione. All’incontro, ho avuto modo di far vedere una simulazione del prototipo che fino ad allora avevo sviluppato. Da quel momento, la collaborazione è stata concreta e fine ad un obiettivo comune. I responsabili hanno esposto la loro idea di volere già sviluppare un’applicazione mobile simile per le piattaforme Android e Windows Mobile. Tuttavia, la mia grande passione per il mondo Apple mi ha permesso di focalizzarmi sullo sviluppo dell’applicazione su iOS.

Meccanismi neurali per la rappresentazione semantica e lessicale: modello di una rete neurale per apprendere il significato di oggetti e parole

Lo studio della memoria semantica attraverso modelli teorici (qualitativi o matematici) gioca un ruolo importante nelle neuroscienze cognitive. In questa tesi viene presentato un modello della memoria semantica e lessicale. Il principio alla base del modello è che la semantica di un oggetto è descritta attraverso una collezione di proprietà, che sintetizzano la percezione dell’oggetto nelle diverse regioni corticali. Gli aspetti semantici e lessicali sono memorizzati in regioni separate del cervello, ma reciprocamente connesse sulla base dell’esperienza passata, secondo un meccanismo di apprendimento Hebbiano. L’obiettivo del lavoro è indagare i meccanismi che portano alla formazione di categorie, analizzare il ruolo delle diverse proprietà nella costruzione di un concetto e le connessioni tra queste proprietà e la parola corrispondente al nome dell’oggetto. Durante l’addestramento per ogni oggetto sono presentate alcune proprietà in input, con una data frequenza: alcune sono condivise, cioè appartengono a più di un concetto e permettono la formazione di categorie, altre sono distintive, cioè sono tipiche di un concetto e consentono la rappresentazione dei membri di una categoria. Un ulteriore aspetto riguardante le proprietà è la distinzione fra proprietà salienti, che sono spontaneamente evocate, e proprietà marginali. E’ stata utilizzata una tassonomia composta da 11 parole che identificano 11 animali. La salienza è stabilita dalla frequenza con cui si verifica ciascuna proprietà. La distinzione tra proprietà condivise e distintive, e tra proprietà salienti e non salienti, è stata ottenuta mediante l’uso della regola di Hebb con una diversa soglia presinaptica e postsinaptica, producendo patterns di sinapsi asimmetriche all’interno della rete semantica (auto-associazione) e tra la rete semantica e lessicale (etero-associazione). La rete addestrata è in grado di risolvere compiti di riconoscimento e denominazione di oggetti, mantenendo una distinzione tra le categorie e i suoi membri, e fornendo un diverso ruolo per le proprietà salienti rispetto alle proprietà marginali.

Il castello di pianetto. Strategie per la conservazione attiva di un manufatto allo stato di rudere

Questa tesi affronta il tema di un possibile progetto di restauro e di valorizzazione del paesaggio per i ruderi del Castello di Pianetto. La tesi si confronta così con diversi temi (in primis la conservazione dei manufatti superstiti, gli interventi sulla struttura vegetale, il progetto di fruizione dell’area) che, dato lo stato prolungato e persistente di abbandono del castello, si presentano come correlati l’uno all’altro, ponendo una serie di interrogativi. Tra questi, uno dei più importanti deriva dal fatto che il castello non sia mai stato oggetto di una campagna di scavo archeologico tesa a esplorarne l’eventuale deposito sepolto: come, dunque, coniugare un progetto di fruizione e di interventi sulla struttura vegetale con l’eventualità futura che il sito venga sottoposto ad una campagna di indagine archeologica?

La valutazione del rischio di incidente rilevante per le acque superficiali

L’elaborato di Tesi esamina gli strumenti proposti nella letteratura tecnica per effettuare un’analisi di rischio di incidente rilevante per le acque superficiali. In Italia, nel 1988, è stata introdotta una normativa apposita per la prevenzione dei grandi rischi industriali, che definisce l’indicente rilevante come: “un evento quale un’emissione, un incendio o un’esplosione di grande entità, dovuto a sviluppi incontrollati che si verificano durante l’attività di uno stabilimento e che dia luogo a un pericolo grave, immediato o differito, per la salute umana o per l’ambiente, all’interno o all’esterno dello stabilimento, e in cui intervengano una o più sostanze pericolose”. Tuttavia, in mancanza di metodologie comprensive per il calcolo del rischio ambientale di incidente rilevante, la normativa italiana richiede di valutare il rischio per l’ambiente solamente in maniera qualitativa. Vengono quindi analizzati in questo elaborato metodi semplificati di valutazione del rischio. Questi metodi sono descritti nel Rapporto ISPRA 2013, che elenca alcune metodologie formulate in ambito europeo e propone un nuovo metodo a indici, utilizzabile per una valutazione preliminare di analisi di rischio per i siti del territorio nazionale. In particolare, in questo elaborato vengono illustrati nel dettaglio: il metodo proposto dal predetto Rapporto, basato sull’Indice di Propensione al Rilascio di uno stabilimento e sulla sensibilità ambientale dei corpi idrici posti nelle sue immediate vicinanze; e un metodo a indici proposto dalle autorità svedesi, l’Environmental Accident Index, che fornisce un’analisi preliminare del rischio intrinseco di uno stabilimento. Vengono poi presi in rassegna software che implementino modelli di dispersione degli inquinanti in acqua, utilizzabili per la valutazione delle conseguenze ambientali di un rilascio che coinvolga un corpo idrico superficiale. Si analizza nel dettaglio ADIOS 2, software gratuito distribuito dalla National Oceanic and Atmospheric Administration, specifico per la modellazione della dispersione di idrocarburi in mari ed estuari. Per effettuare una validazione delle metodologie sopraelencate, se ne è considerata l’applicazione ad un caso di studio reale, costituito da un deposito costiero di prodotti petroliferi. Innanzitutto si è calcolato per il deposito l’indice EAI; si è poi applicato il metodo qualitativo proposto dal Rapporto ISPRA 2013 e si è effettuata la simulazione di un rilascio di gasolio in acqua con il software ADIOS 2. A conclusione del lavoro svolto è possibile affermare che l’indice EAI non è adatto agli stabilimenti a rischio di incidente rilevante, in quanto è pesato per stoccaggi di sostanze pericolose di piccole dimensioni. Invece, sia il metodo ad indici del Rapporto ISPRA che il software ADIOS 2 sono strumenti utili per una prima valutazione del rischio di contaminazione delle acque superficiali.

Sistema di controllo ad anello chiuso per eliostati

Tra le numerose tecnologie che impiegano l'energia solare per la produzione di elettricità una tra le più promettenti è quella degli impianti a Central Receiving System (CRS). Tale sistema consiste in un campo di specchi altamente riflettenti, detti eliostati, che concentrano la radiazione solare su una superficie assorbente posizionata in cima a una torre. La quantità di radiazione concentrabile da un sistema CRS, e quindi l'energia effettivamente prodotta, dipende in maniera cruciale dalla precisione del puntamento degli eliostati. I sistemi attualmente disponibili sono in grado di ottenere un'alta effcienza ma necessitano di componenti meccanici ad alto costo, che siano in grado di ottenere precisioni di puntamento molto elevate. Le molte sorgenti di errore presenti nel sistema possono però portare a un decremento significativo di tale efficienza. Alcuni di questi errori (tolleranze meccaniche dell'installazione, agenti atmosferici) possono essere compensati mediante opportuni sistemi di controllo ad anello chiuso. Il risultato è di aumentare il potere di concentrazione dell'impianto, riducendo al contempo i costi, vista la possibilità di utilizzo di componenti meccanici meno precisi. Questa tesi si propone di sviluppare un sistema di controllo a basso costo in retroazione per orientare nello spazio tridimensionale un eliostato. Tale sistema deve essere in grado di soddisfare le specifiche sulla precisione di puntamento fornite dalla modellistica degli impianti CRS. Sono illustrati i metodi per ottenere le quantità necessarie a determinare l'orientazione da misure statiche di accelerazione e campo magnetico.Sono stati esaminati i modelli teorici di accelerometri e magnetometri e le procedure, presenti nella letteratura, per una loro corretta calibrazione. Si sono quindi confrontate le prestazioni delle differenti calibrazioni in una misura con un sensore reale. Si è valutato l'impatto di vari tipi di filtraggio digitale nel diminuire l'incertezza di determinazione degli angoli caratteristici fino ai valori forniti dalle specifiche.

Determinazione sperimentale del coefficiente d'attrito di collegamenti bullonati e relativa analisi statistica

Nel presente documento verrà affrontata la messa a punto del banco di prova per la caratterizzazione del coefficiente d’attrito globale dei collegamenti bullonati, analizzando i parametri che influenzano la buona o cattiva realizzazione della prova e verrà stabilito se essi hanno influenza oppure no sulla prova; una volta ricavati e analizzati i parametri che influenzano la prova verranno effettuate prove per vedere l’intervallo di incertezza della misura del coefficiente d’attrito per comprendere l’affidabilità della prova; successivamente verrà studiata la differente lubrificazione nelle viti e analizzata quale zona di attrito ha un’incidenza maggiore e se è significativa, poi verranno analizzati due tipi di lubrificante e stabilito quale dei due da un migliore effetto e infine verranno analizzati alcuni parametri per vedere la loro influenza sul coefficiente d’attrito, verrà valutata se è significativa oppure no, e si valuterà quale ha più o meno effetto sul coefficiente d’attrito.

Sviluppo e verifica di un framework basato su logica computazionale per la selezione dinamica di web services tramite informazioni

La presenza sempre più massiccia di fornitori di servizi basati su web service ha portato in rilievo uno dei limiti di questo approccio, l’impossibilità di rendere automatizzabili i task di ricerca, invocazione e orchestrazione dei servizi. Il raggiungimento di questo obiettivo risulta impossibile a causa della mancanza di informazioni comprensibili ad una macchina attraverso le quali un agente software può effettuare delle scelte tra vari servizi esposti. Il fallimento della “ricerca intelligente” di un servizio pubblicato sta nella stessa modellazione dei servizi. I linguaggi attualmente disponibili permettono di modellare un servizio solo dal punto di vista sintattico. Definire le operazioni proposte, il tipo di parametri accettati e il tipo di output prodotto non è sufficiente a comprendere cosa il servizio può fare. I web services semantici consentono di superare questo limite fornendo uno stack semantico, il quale ha il compito di racchiudere le informazioni relative ai servizi, il loro funzionamento e gli obiettivi raggiungibili organizzando la conoscenza in ontologie. La formalizzazione dei modelli ontologici e la loro integrazione con i servizi esistenti è uno dei problemi più interessanti che ha catturato l’attenzione di numerosi studi di settore. Negli ultimi anni numerose sono state le soluzioni proposte. Tra queste si possono considerare due principali vie di sviluppo che hanno visto un’intensa attività sperimentale. Il primo scenario è volto a modellare in maniera formale la conoscenza legata ai servizi esposti, il secondo integra i servizi già esistenti con nuove strutture semantiche in modo da conservare le infrastrutture presenti. Entrambi i filoni hanno come scopo quello di fornire la conoscenza adatta a sistemi esperti che consentano di automatizzare la ricerca dei servizi in base ai desideri dei clienti, permettendo la loro composizione dinamica basata su un’interazione utile e indipendente dai protocolli che vincolano il trasporto delle informazioni.