Workflow Patterns for Service Oriented Computing in JOLIE

Il presente lavoro di tesi ha come punto focale la descrizione, la verifica e la dimostrazione della realizzabilità dei Workflow Patterns di Gestione del Flusso(Control-Flow) e Risorse (Resource) definiti da parte della Workflow Pattern Initiative (WPI)in JOLIE, un innovativo linguaggio di programmazione orientato ai servizi nato nell'ambito del Service Oriented Computing. Il Service Oriented Computing (SOC) è un nuovo modo di pensare la programmazione di applicazioni distribuite, i cui concetti fondamentali sono i servizi e la composizione. L’approccio SOC definisce la possibilità di costruire un’applicazione in funzione dei servizi che ne realizzano il comportamento tramite una loro composizione, definita secondo un particolare flusso di lavoro. Allo scopo di fornire la necessaria conoscenza per capire la teoria, le meccaniche e i costrutti di JOLIE utilizzati per la realizzazione dei pattern, il seguente lavoro di tesi è stato diviso in quattro parti, corrispondenti ad altrettanti capitoli. Nel primo capitolo viene riportata una descrizione generale del SOC e della Business Process Automation (BPA), che costituisce l’ambiente in cui il SOC è inserito. Per questo viene fatta una disamina della storia informatica sui sistemi distribuiti, fino ad arrivare ai sistemi odierni, presentando in seguito il contesto del BPA e delle innovazioni derivanti dalle sue macro-componenti, di cui il SOC fa parte. Continuando la descrizione dell’approccio Service Oriented, ne vengono presentati i requisiti (pre-condizioni) e si cerca di dare una definizione precisa del termine “servizio”, fino all'enunciazione dei principi SOC declinati nell’ottica delle Service Oriented Architectures, presentando in ultimo i metodi di composizione dei servizi, tramite orchestrazione e coreografia. L’ultima sezione del capitolo prende in considerazione il SOC in un’ottica prettamente industriale e ne evidenzia i punti strategici. Il secondo capitolo è incentrato sulla descrizione di JOLIE, gli aspetti fondamentali dell’approccio orientato ai servizi, che ne caratterizzano profondamente la definizione concettuale (SOCK), e la teoria della composizione dei servizi. Il capitolo non si pone come una descrizione esaustiva di tutte le funzionalità del linguaggio, ma considera soprattutto i concetti teorici, le strutture di dati, gli operatori e i costrutti di JOLIE utilizzati per la dimostrazione della realizzabilità dei Workflow Pattern del capitolo successivo. Il terzo capitolo, più lungo e centrale rispetto agli altri, riguarda la realizzazione dei workflow pattern in JOLIE. All'inizio del capitolo viene fornita una descrizione delle caratteristiche del WPI e dei Workflow Pattern in generale. In seguito, nelle due macro-sezioni relative ai Control-Flow e Resource pattern vengono esposte alcune nozioni riguardanti le metodologie di definizione dei pattern (e.g. la teoria sulla definizione delle Colored Petri Nets) e le convezioni adottate dal WPI, per passare in seguito al vero e proprio lavoro (sperimentale) di tesi riguardo la descrizione dei pattern, l’analisi sulla loro realizzabilità in JOLIE, insieme ad un codice di esempio che esemplifica quanto affermato dall'analisi. Come sommario delle conclusioni raggiunte sui pattern, alla fine di ognuna delle due sezioni definite in precedenza, è presente una scheda di valutazione che, con lo stesso metodo utilizzato e definito dalla WPI, permette di avere una rappresentazione generale della realizzabilità dei pattern in JOLIE. Il quarto capitolo riguarda gli esiti tratti dal lavoro di tesi, riportando un confronto tra le realizzazioni dei pattern in JOLIE e le valutazioni del WPI rispetto agli altri linguaggi da loro considerati e valutati. Sulla base di quanto ottenuto nel terzo capitolo vengono definite le conclusioni del lavoro portato avanti sui pattern e viene delineato un’eventuale scenario riguardante il proseguimento dell’opera concernente la validazione ed il completamento della studio. In ultimo vengono tratte alcune conclusioni sia riguardo JOLIE, nel contesto evolutivo del linguaggio e soprattutto del progetto open-source che è alla sua base, sia sul SOC, considerato nell’ambito del BPA e del suo attuale ambito di sviluppo dinamico.

Studio reologico avanzato di bitumi modificati ed additivati:proposta di una nuova procedura di aging

Le problematiche ambientali e socio – economiche legate alla costruzione di nuove infrastrutture viarie, impongono la progettazione e costruzione di strade che combinino ad elevati standard prestazionali, la riduzione dell’impatto ambientale in fase realizzativa e manutentiva. Quanto detto avvalora il crescente utilizzo di materiali bituminosi modificati con polimeri ed additivati con cere. I primi conferiscono alla miscela maggiore elastoplasticità, incrementandone la durabilità e la resistenza a fatica. Nei secondi la presenza del materiale paraffinico contribuisce a ridurre la viscosità del bitume, il che consente il notevole abbassamento della temperatura di produzione e stesa della miscela. Numerosi studi inoltre hanno dimostrato che le caratteristiche meccaniche della pavimentazione sono fortemente influenzate dal grado di ossidazione delle componenti organiche del bitume, ovvero dal fenomeno dell’invecchiamento o aging. Risulta pertanto fondamentale affiancare allo studio reologico del bitume, prove di simulazione dell’ invecchiamento nel breve e lungo termine. Nel corso della seguente ricerca si provvederà pertanto ad analizzare leganti modificati ed additivati secondo la teoria della viscoelasticità, simulando le reali condizioni di carico ed invecchiamento alle quali il bitume è sottoposto. Tutte le prove di caratterizzazione reologica avanzata prevederanno l’utilizzo del DSR (Dynamic Shear Rheometer) in varie configurazioni di prova e si simulerà l’invecchiamento a breve termine mediante RTFOT (Rolling thin film oven test). Si proporrà inoltre una nuova procedura di aging invecchiando il bitume alla temperatura di equiviscosità o Twork , ovvero a quel valore della temperatura tale per cui, in fase di messa in opera, si avrà una distribuzione molecolare omogenea del modificante all’interno del bitume. Verranno quindi effettuate ulteriori prove reologiche sui leganti invecchiati a tale temperatura. Si darà infine supporto ai risultati della ricerca effettuando prove chimiche con la tecnica analitica FTIR (Fourier Transform Infrared Spectroscopy), analizzando i cambiamenti molecolari avvenuti nel bitume a seguito dell’aggiunta del modificante e dell’invecchiamento.

Strati, piano, rizoma. John Cage e la filosofia di Gilles Deleuze e Félix Guattari

In base ad una recensione esaustiva dei riferimenti alla musica e al sonoro nella produzione filosofica di Gilles Deleuze e Félix Guattari, la presente ricerca s’incentra sulla posizione che il pensiero musicale di John Cage occupa in alcuni testi deleuziani. Il primo capitolo tratta del periodo creativo di Cage fra il 1939 e il 1952, focalizzandosi su due aspetti principali: la struttura micro-macrocosmica che contraddistingue i suoi primi lavori, e i quattro elementi che in questo momento sintetizzano per Cage la composizione musicale. Questi ultimi sono considerati in riferimento alla teoria della doppia articolazione che Deleuze e Guattari riprendono da Hjelmslev; entrambi gli aspetti rimandano al sistema degli strati e della stratificazione esposta su Mille piani. Il secondo capitolo analizza la musica dei decenni centrali della produzione cagiana alla luce del luogo in Mille piani dove Cage è messo in rapporto al concetto di “piano fisso sonoro”. Un’attenzione particolare è posta al modo in cui Cage concepisce il rapporto fra durata e materiali sonori, e al grado variabile in cui sono presenti il caso e l’indeterminazione. Le composizioni del periodo in questione sono inoltre viste in riferimento al concetto deleuzo-guattariano di cartografia, e nelle loro implicazioni per il tempo musicale. L’ultimo quindicennio della produzione di Cage è considerata attraverso il concetto di rizoma inteso come teoria delle molteplicità. In primo luogo è esaminata la partitura di Sylvano Bussotti che figura all’inizio di Mille piani; in seguito, i lavori testuali e musicali di Cage sono considerati secondo le procedure compositive cagiane del mesostico, delle parentesi di tempo che concorrono a formare una struttura variabile, e dell’armonia anarchica dell’ultimo Cage.

La traduzione letteraria in Unione Sovietica (1930-1955)

In Unione Sovietica il partito mette in atto un sistema di istituzioni per controllare il mondo culturale e la produzione scritta: il Glavlit, il massimo istituto censorio, l’Unione degli scrittori, un’editoria centralizzata e statalizzata e un unico metodo creativo possibile, il realismo socialista. Il settore della traduzione letteraria e della ricezione della letteratura straniera vengono ugualmente posti sotto controllo. All’interno dell’Unione degli scrittori operano la Sezione dei Traduttori, a cui spetta la formazione dei nuovi traduttori sovietici, e la Commissione Straniera, che stabilisce quali autori e quali libri occidentali debbano essere tradotti. Il Reparto straniero del Glavlit controlla il materiale a stampa proveniente dall’estero, la sua distribuzione e le modalità di consultazione e si occupa di effettuare una censura sia sul testo in lingua straniera che su quello tradotto in lingua russa. Parallelamente, il codice estetico e normativo del realismo socialista comincia a influenzare lo sviluppo della teoria della traduzione. La traduttologia si allinea alla critica letteraria ufficiale e promuove un approccio libero al testo che permetta l’introduzione di modifiche testuali arbitrarie da parte del traduttore o del redattore.

Le reologia dei leganti bituminosi stradali: studio delle proprietà meccaniche a seguito di processi di “aging” in laboratorio

Lo studio effettuato pone le sue basi sulla ricerca di materiali stradali che combinino ad elevati standard prestazionali, la riduzione dell’impatto ambientale in fase realizzativa e manutentiva. In particolare il seguente lavoro si occupa dello studio di 7 leganti modificati con polimeri ed additivati con cere. I primi infatti conferiscono alla miscela maggiore elastoplasticità, incrementandone la durabilità e la resistenza a fatica. Nei secondi la presenza del materiale paraffinico contribuisce a ridurre la viscosità del bitume, consentendo un notevole abbassamento della temperatura di produzione e stesa della miscela. Numerosi studi hanno dimostrato che le caratteristiche meccaniche della pavimentazione sono fortemente influenzate dal grado di ossidazione delle componenti organiche del bitume, ovvero dal fenomeno dell’invecchiamento o aging. Pertanto allo studio reologico del bitume, si sono affiancate prove di simulazione dell’ invecchiamento nel breve e lungo termine. In fase di ricerca sperimentale si sono analizzati i leganti modificati ed additivati secondo la teoria della viscoelasticità, simulando le reali condizioni di carico ed invecchiamento alle quali il bitume è sottoposto. Tutte le prove di caratterizzazione reologica avanzata sono state effettuate mediante l’utilizzo del DSR (Dynamic Shear Rheometer - UNI EN 14770 ) in varie configurazioni di prova e l’invecchiamento a breve termine è stato simulato mediante RTFOT (Rolling thin film oven test -UNI EN 12607-1). Si è proposto inoltre una nuova procedura di aging invecchiando il bitume alla temperatura di Twork, ovvero a quel valore della temperatura tale per cui, in fase di messa in opera, si avrà una distribuzione molecolare omogenea del modificante all’interno del bitume.

Ernesto Nathan Rogers e le preesistenze ambientali. Itinerario teorico, 1948-1964

La tesi indaga il significato del concetto di “preesistenze ambientali” nel pensiero teorico dell’architetto Ernesto Nathan Rogers. Il tema è scelto come punto di vista privilegiato per indagare il contributo di Rogers al dibattito sull’eredità del Movimento Moderno in un momento, il secondo dopoguerra, in cui si intensifica la necessità di soffermare l’attenzione delle riflessioni teoriche sulle relazioni tra ambiente e progetto. Il problema fu inteso come la ricerca di un linguaggio adeguato all’era macchinista e di un ordine formale per lo sviluppo urbano recente da costruire in funzione del suo rapporto con la città consolidata. Esso fu sviluppato, all’interno dell’opera teorica rogersiana, come riflessione sulla dialettica contrapposizione tra intuizione e trasmissione del sapere, contingenza e universalità. La tesi mostra le ricche connessioni culturali tramite cui tale dialettica è capace di animare un discorso unitario che va dall’insegnamento del Movimento Moderno alle ricerche tipologiche e urbane della cultura italiana degli anni Sessanta. Riportando il concetto di preesistenze ambientali alla sua accezione originale, da un lato attraverso la ricostruzione delle relazioni intellettuali instaurate da Rogers con il Movimento Moderno e i CIAM, dall’altro mediante l’approfondimento del progetto editoriale costruito durante la direzione della rivista “Casabella continuità”, la tesi intende conferire alla nozione il valore di un contributo importante alla teoria della progettazione architettonica urbana. Il concetto di preesistenze ambientali diventa così la chiave analitica per indagare, in particolare, l’influenza del dibattito dell’VIII CIAM su Il Cuore della città e della partecipazione di Rogers al lavoro di redazione dell’Estudio del Plan di Buenos Aires nel 1948-1949 nella maturazione del progetto editoriale di “Casabella continuità” (1954-1965) attraverso l’attribuzione di un preciso valore all’archetipo, alla fenomenologia e alla tradizione nella definizione del rapporto architettura e storia.

Einstein e Minkowski sulla relatività ristretta

La tesi è relativa al confronto tra Minkowski e Einstein in merito all'esposizione della teoria della relatività.

Characterization of mode I disbonding behaviour of carbon/epoxy composites bonded with two adhesion qualities

La mancanza di procedure standard per la verifica delle strutture in compositi, al contrario dei materiali metallici, porta all’esigenza di una continua ricerca nel settore, al fine di ottenere risultati significativi che culminino in una standardizzazione delle procedure. In tale contesto si colloca la ricerca svolta per la stesura del presente elaborato, condotta presso il laboratorio DASML del TU Delft, nei Paesi Bassi. Il materiale studiato è un prepreg (preimpregnated) costituito da fibre di carbonio (M30SC) e matrice epossidica (DT120) con la particolare configurazione [0°/90°/±45°/±45°/90°/0°]. L’adesivo utilizzato per l’incollaggio è di tipo epossidico (FM94K). Il materiale è stato assemblato in laboratorio in modo da ottenere i provini da testare, di tipo DCB, ENF e CCP. Due differenti qualità dello stesso materiale sono state ottenute, una buona ottenuta seguendo le istruzione del produttore, ed una povera ottenuta modificando il processo produttivo suggerito, che risulta in un incollaggio di qualità nettamente inferiore rispetto al primo tipo di materiale. Lo scopo era quello di studiare i comportamenti di entrambe le qualità sotto due diversi modi di carico, modo I o opening mode e modo II o shear mode, entrambi attraverso test quasi-statici e a fatica, così da ottenere risultati comparabili tra di essi che permettano in futuro di identificare se si dispone di un materiale di buona qualità prima di procedere con il progetto dell’intera struttura. L’approccio scelto per lo studio dello sviluppo della delaminazione è un adattamento della teoria della Meccanica della Frattura Lineare Elastica (LEFM)

Simbolismi etno-antropologici nell'opera di Elsa Morante

La ricerca sviluppa le più recenti proposte teoriche dell'antropologia interpretativa, applicandole alla teoria della letteratura. Si concentra sull'ipotesto antropologico attivo nell'opera di Elsa Morante, con particolare riferimento alla produzione successiva agli anni Sessanta (Il mondo salvato dai ragazzini, 1968; La Storia, 1974; Aracoeli, 1982), in cui si verifica la concentrazione del materiale etno-antropologico di derivazione demartiniana. La tesi si propone di sondare la prolificità del rapporto intertestuale Morante-De Martino, soprattutto mediante la ricorrenza di alcuni luoghi significanti che accomunano la ricerca poetica e quella scientifica degli autori, uniti da una fondamentale rielaborazione del concetto di "umanesimo". Centrale, a questo proposito, diviene la nozione di "crisi" della persona, direttamente collegata al vissuto da "fine del mondo" e alla percezione apocalittica post-atomica. Alla crisi del soggetto contemporaneo si guarda nei termini di una risoluzione culturale, che chiama direttamente in causa il rapporto tra letteratura e ritualità. Secondo la prospettiva sociologica durkheimiana, si indagano i momenti della piacularità e della festa, ricorsivi nella scrittura morantiana, come fondanti il discorso (la narrazione mitografica) della comunità. Di qui, la riflessione si attesta sulle strategie della comunicazione finzionale in ambito etno-antropologico, con attenzione all'autorialità dello stesso antropologo sul campo. Non mancano raffronti con le esperienze letterarie più significative nell'orizzonte culturale delineato: in particolar modo, si tiene in considerazione il fondamentale rapporto Morante-Pasolini. 

Analisi degli effetti di trascinamento in relativita generale

Il presente lavoro si compone di una parte iniziale in cui si introducono i principi alla base della teoria della Relatività Generale, e viene discussa la loro effettiva importanza come elementi fondanti del lavoro di Einstein. Nel capitolo 1 si sviluppano i principali concetti di geometria differenziale utili alla comprensione dei risultati ottenuti nei capitoli successivi. In particolare viene mostrato un risultato notevole che permette di ricavare gli integrali primi del moto geodetico a partire dalla dipendenza del tensore metrico dalle coordinate utilizzate. Vengono poi brevemente introdotte le Equazioni di campo di Einstein. Nel capitolo 2 Viene ricavata la soluzione di Schwarzschild e le quantità conservate nel moto in caduta libera verso una sorgente a simmetria sferica e statica. Viene poi definito il concetto di orizzonte degli eventi. Infine nel capitolo 3 viene introdotta la metrica di Kerr, e si suggerisce come questa possa essere indotta da una sorgente massiva rotante. Vengono analizzati gli integrali primi del moto di particelle in caduta libera e da questi viene ricavata l'espressione dell'effetto di trascinamento. Vengono poi introdotto il concetto di limite statico e la definizione di ergosfera, e viene ricavata l'espressione del raggio dell'orizzonte degli eventi.

Horizon entropy from scratch

Scopo di questo lavoro di tesi è lo studio di alcune proprietà delle teorie generali della gravità in relazione alla meccanica e la termodinamica dei buchi neri. In particolare, la trattazione che seguirà ha lo scopo di fornire un percorso autoconsistente che conduca alla nozione di entropia di un orizzonte descritta in termini delle carica di Noether associata all'invarianza del funzionale d'azione, che descrive la teoria gravitazionale in considerazione, per trasformazioni di coordinate generali. Si presterà particolare attenzione ad alcune proprietà geometriche della Lagrangiana, proprietà che sono indipendenti dalla particolare forma della teoria che si sta prendendo in considerazione; trattasi cioè non di proprietà dinamiche, legate cioè alla forma delle equazioni del moto del campo gravitazionale, ma piuttosto caratteristiche proprie di qualunque varietà rappresentante uno spaziotempo curvo. Queste caratteristiche fanno sì che ogni teoria generale della gravità possieda alcune grandezze definite localmente sullo spaziotempo, in particolare una corrente di Noether e la carica ad essa associata. La forma esplicita della corrente e della carica dipende invece dalla Lagrangiana che si sceglie di adottare per descrivere il campo gravitazionale. Il lavoro di tesi sarà orientato prima a descrivere come questa corrente di Noether emerge in qualunque teoria della gravità invariante per trasformazioni generali e come essa viene esplicitata nel caso di Lagrangiane particolari, per poi identificare la carica ad essa associata come una grandezza connessa all' entropia di un orizzonte in qualunque teoria generale della gravità.

Ubersetzungstheorien. Eine einfuhrung: Traduzione e commento di parti selezionate

La presente tesi si concentra sulla traduzione di parti scelte di Übersetzungstheorien. Eine Einführung, manuale di carattere saggistico ad opera della nota linguista tedesca Radegundis Stolze contenente una spiegazione esaustiva, chiara e dettagliata delle più note teorie divenute oggetto di studio della scienza della traduzione dalla nascita della disciplina fino ai giorni nostri. Punto di partenza dell’elaborato sarà l’analisi del saggio, in cui si tracciano le caratteristiche testuali del genere, sia per quanto riguarda il testo originale tedesco, sia per quanto riguarda quello italiano, in modo da notare le differenze e mettere in evidenza le principali tecniche da prendere in considerazione per la trasmissione del messaggio da un modello all’altro. In seguito sarà effettuata un’analisi del testo di partenza secondo i criteri di Brinker (2010) e Nord (2009) con particolare interesse all’aspetto grammaticale e tematico , al rapporto autore-lettore e agli aspetti interni ed esterni al testo. Sulla base di questa analisi verranno poi indicati gli aspetti più significativi a cui prestare attenzione durante la traduzione e si procederà alla traduzione vera e propria. Questa consta di due testi particolarmente significativi per la teoria della traduzione, rispettivamente il discorso sulla traduzione delle Sacre Scritture di Nida e la spiegazione della Teoria dello skopos di Vermeer e Rice. Alla traduzione vera e propria seguiranno un commento riguardante le principali problematiche incontrate e le tecniche utilizzate di volta in volta per risolverle e un paragrafo conclusivo a riassumere i risultati ottenuti.

I neologismi autoriali e la loro traduzione nella saga di Harry Potter: il caso dello spagnolo e dell'italiano

L'elaborato analizza i neologismi autoriali creati nella saga di Harry Potter, dapprima nella loro versione originale studiando i meccanismi di formazione di neologismi più utilizzati. In seguito, i neologismi originali vengono messi a confronto con le loro traduzioni in italiano e spagnolo, studiando le strategie traduttive messe in atto dai rispettivi team di traduttori. I dati analizzati vengono poi ricondotti alla teoria della traduzione della letteratura per l'infanzia e ai distinti filoni individuabili nei due Paesi.

L’espace urbain indien dans la littérature européenne au XXème siecle. Pour une perspective post-orientaliste.

L'affermarsi della teoria della « imaginative geography » di Edward Saïd (Orientalism, 1978), nell'arco degli ultimi trent'anni, ha imposto un orientamento prettamente sociopolitico, gramsciano e foucaultiano alla critica del testo, proponendo un'unica soluzione interpretativa per un corpus eterogeneo di testi (scientifici e artistici, antichi e moderni) accomunati dal fatto di « rappresentare l'Oriente ». La costruzione europea dello spazio orientale, dice Saïd, non rappresenta solo un misconoscimento dell'Altro, ma una sua rappresentazione tendenziosa e finalizzata a sostenere la macchina dell'imperialismo occidentale. In particolare, la rappresentazione « femminilizzata » della geografia orientale (come luogo dell'exploit del maschio bianco) preparebbe e accompagnerebbe l'impresa di assoggettamento politico e di sfruttamento economico dei paesi ad Est dell'Europa. Se Orientalism ha conosciuto fortune alterne dall'anno della sua apparizione, negli ultimi anni una vera e propria corrente anti-saidiana ha preso forza, soprattutto in ambito francese. Attraverso l'analisi di circa trenta opere francesi, belga, inglesi e italiane del Novecento, questa tesi cerca di visualizzare i limiti teorici della prospettiva saidiana rivolgendosi a un esame della rappresentazione dello spazio urbano indiano nella letteratura europea contemporanea. Nello specifico, uno studio delle nuove strutture e dei nuovi modelli della femminilizzazione dello spazio orientale indiano cercherà di completare – superandolo in direzione di un « post-orientalismo » – il riduzionismo della prospettiva saidiana.

Stocasticità e incomprimibilità algoritmica

Partiamo dal lavoro di Kolmogorov per definire una misura della quantità di informazione contenuta in una stringa tramite un approccio computazionale: la complessità di una stringa è la lunghezza del più corto programma capace di produrla. Vediamo poi gli sviluppi moderni di questa teoria, in particolare i contributi di Chaitin, e notiamo subito i forti legami con la teoria della probabilità e con l'entropia di Shannon. Successivamente proponiamo di identificare le stringhe casuali (nel senso intuitivo) con quelle algoritmicamente incomprimibili, seguendo l'idea che minore comprimibilità significhi minore regolarità e dunque maggiore casualità. Infine vediamo che, in effetti, le stringhe incomprimibili soddisfano tutte le proprietà stocastiche effettivamente verificabili, cioè le proprietà che la teoria della probabilità attribuisce a successioni di variabili aleatorie indipendenti e identicamente distribuite. Facciamo ciò in maniera generale utilizzando la notevole teoria di Martin-Löf e poi vediamo in dettaglio l'aspetto della normalità di Borel.