Implementazione automatica di protocolli di interazione AUML mediante reti di Petri

Questa tesi si basa su una serie di lavori precedenti, volti ad analizzare la correlazione tra i modelli AUML e le reti di Petri, per riuscire a fornire una metodologia di traduzione dai primi alle seconde. Questa traduzione permetterà di applicare tecniche di model checking alle reti così create, al fine di stabilire le proprietà necessarie al sistema per poter essere realizzato effettivamente. Verrà poi discussa un'implementazione di tale algoritmo sviluppata in tuProlog ed un primo approccio al model checking utilizzando il programma Maude. Con piccole modifiche all'algoritmo utilizzato per la conversione dei diagrammi AUML in reti di Petri, è stato possibile, inoltre, realizzare un sistema di implementazione automatica dei protocolli precedentemente analizzati, verso due piattaforme per la realizzazione di sistemi multiagente: Jason e TuCSoN. Verranno quindi presentate tre implementazioni diverse: la prima per la piattaforma Jason, che utilizza degli agenti BDI per realizzare il protocollo di interazione; la seconda per la piattaforma TuCSoN, che utilizza il modello A&A per rendersi compatibile ad un ambiente distribuito, ma che ricalca la struttura dell'implementazione precedente; la terza ancora per TuCSoN, che sfrutta gli strumenti forniti dalle reazioni ReSpecT per generare degli artefatti in grado di fornire una infrastruttura in grado di garantire la realizzazione del protocollo di interazione agli agenti partecipanti. Infine, verranno discusse le caratteristiche di queste tre differenti implementazioni su un caso di studio reale, analizzandone i punti chiave.

Il corpus DIRSI: creazione e sviluppo di un corpus elettronico per lo studio della direzionalità in interpretazione simultanea

Con questa tesi abbiamo messo a punto una metodologia per l'applicazione del "corpus-based approach" allo studio dell'interpretazione simultanea, creando DIRSI-C, un corpus elettronico parallelo (italiano-inglese) e allineato di trascrizioni di registrazioni tratte da convegni medici, mediati da interpreti simultaneisti. Poiché gli interpreti professionisti coinvolti hanno lavorato dalla lingua straniera alla loro lingua materna e viceversa, il fattore direzionalità è il parametro di analisi delle prestazioni degli interpreti secondo i metodi di indagine della linguistica dei corpora. In this doctoral thesis a methodology was developed to fully apply the corpus-based approach to simultaneous interpreting research. DIRSI-C is a parallel (Italian-English/English-Italian) and aligned electronic corpus, containing transcripts of recorded medical international conferences with professional simultaneous interpreters working both from and into their foreign language. Against this backdrop, directionality represents the research parameter used to analyze interpreters' performance by means of corpus linguistics tools.

Il dialogo con l'infanzia. Utopia del folklore, nonsense e comico in Gianni Rodari.

Nel trentennale dalla morte di Gianni Rodari, la tesi elabora problemi e riflessioni circa la maggiore urgenza corrente tra gli attuali studi rodariani: la necessità, per la cultura nazionale, di conferire a Gianni Rodari e alla letteratura per l’infanzia il ruolo intellettuale determinante da essi rivestito. La tesi sceglie di concentrarsi sui maggiori libri poetici e sul capolavoro teorico, la Grammatica della fantasia, utilizzando come strumenti il confronto con Gramsci, con la tradizione del folklore, con i grandi scrittori per l’infanzia dell’Inghilterra e con le altre esperienze poetiche del Novecento, discutendo Rodari da una specola esclusivamente filologica e letteraria. Parte prima: Rodari utopista. Nella prima parte Gianni Rodari viene inquadrato in un confronto diretto con l’Antonio Gramsci dei Quaderni, che aveva lucidamente individuato la separatezza tutta italiana tra classe intellettuale e mondo popolare, con conseguente inesistenza di una letteratura nazionale-popolare e di una specifica letteratura per l’infanzia. Rodari, primo intellettuale a dedicare tutto se stesso al riempimento di questa lacuna, risponde con intento sociale e politico al problema, adottando un atteggiamento che la tesi definisce utopico. Tramite una disamina del pensiero delle utopie letterarie a confronto con la tradizione popolare del paese di Cuccagna, la tesi procede all’accurato rinvenimento nell’opera di Rodari dei luoghi utopici, tutti orientati a suggerire un utilizzo dell’utopia come chiave per forzare un presente insoddisfacente e accedere a un futuro costruito da ogni individuo in prima persona. Parte seconda: Rodari poeta nonsense? Scritta in Inghilterra presso l’Istitute of Germanic and Romance Studies della University of London, la seconda e corposa parte della tesi si propone come un ampliamento della traccia gettata nel 1983 dall’articolo di Cristina Bertea Gianni Rodari in Gran Bretagna. La tesi analizza dapprima il problema del nonsense, ancora scarsamente trattato in Italia, riflettendo criticamente sulla maggiore bibliografia anglosassone che ha studiato il tema. Successivamente, mette a raffronto il lavoro linguistico che Gianni Rodari ha compiuto lungo l’arco di tutta la vita e le tecniche di composizione poetica elaborate nella Grammatica della fantasia con gli strumenti retorico-formali del nonsense individuati nell’opera di Lewis Carroll, di Edward Lear e delle nursery rhymes inglesi. Parte terza: Traccia per una mappatura della poesia per l’infanzia in Italia, a partire da Gianni Rodari. L’ultima parte della tesi si avventura alla ricerca di un percorso possibile attraverso la poesia per l’infanzia del Novecento e le sue esperienze di comicità. I capitoli si soffermano sul nonsense di Toti Scialoja e di Nico Orengo, sui precedenti di Lina Schwarz e Alfonso Gatto, sul Petel di Zanzotto, sulla poesia di soglia di Vivian Lamarque e sull’eredità della Grammatica della fantasia con particolare riferimento a Calicanto, di Ersilia Zamponi e Roberto Piumini.

L' "opera mondo" di Paolo Volponi fra satira e morale

Nella mia tesi di dottorato mi propongo di indagare la metamorfosi del romanzo nella letteratura italiana contemporanea attraverso il lavoro di Paolo Volponi, che può essere descritto come un’«opera mondo», in accordo con la formula critica coniata da Franco Moretti. Volponi intende superare il divario fra l’io e il mondo e ricomporre il corpo come una mediazione umanistica di ragione e sensi. La sua opera può essere definita ‘epica’ perché recupera la tradizione del romanzo cavalleresco e la parodia esercitata su questa tradizione letteraria da Cervantes nel Don Chisciotte. Ma, come l’Ulysses di Joyce, è un’epica «moderna» perché fondata su una totalità disgiunta e sul conflitto dialogico, in una linea che accomuna la moltiplicazione dei punti di vista, propria del romanzo polifonico secondo Bachtin, alla pluralità di prospettive del discorso scientifico. Dopo un primo capitolo teorico, nel secondo e nel terzo capitolo della tesi i romanzi di Volponi vengono studiati in rapporto al filone dell’«epica moderna» e al genere satirico, che ha un suo modello fondativo nell’opera di Giacomo Leopardi. Il quarto capitolo si focalizza sulle ultime raccolte poetiche, che mostrano la tendenza a recuperare il linguaggio formulare e la matrice orale della poesia delle origini, servendosene per rappresentare in funzione contrappuntistica l’universo globale dell’età contemporanea.

Cesare Garboli traduttore di Measure for Measure di Shaskespeare per le compagnie di Luca Ronconi e di Carlo Cecchi

La tesi si occupa della traduzione di Measure for Measure di Shakespeare scritta da Cesare Garboli e pubblicata nel 1992 con Einaudi nella collana «Scrittori tradotti da scrittori». La traduzione fu concepita per il Teatro Stabile di Torino diretto da Luca Ronconi, che debuttò al teatro Carignano nel 1992 e venne successivamente ripresa, con alcune varianti, dalla compagnia di Carlo Cecchi nel 1998, per una nuova messinscena al teatro Garibaldi di Palermo. A partire dagli esiti più recenti dei Translation Studies, il lavoro sviluppa uno studio comparato, dal punto di vista linguistico e sotto il profilo ermeneutico, fra la traduzione di Garboli, il testo originale nelle due edizioni Arden e Cambridge e le traduzioni italiane di Measure for Measure pubblicate nel Novecento. La parte finale della tesi è dedicata alle messinscene a Torino e a Palermo: un confronto per evidenziare gli elementi che in entrambe appartengono alla strutturazione del testo tradotto e i caratteri specifici degli universi di finzione raffigurati dai due registi.

The notion of equivalence and lexical cohesion in the translation of political speeches

Abstract This dissertation investigates the notion of equivalence with particular reference to lexical cohesion in the translation of political speeches. Lexical cohesion poses a particular challenge to the translators of political speeches and thus preserving lexical cohesion elements as one of the major elements of cohesion is undoubtedly crucial to their translation equivalence. We rely on Halliday’s (1994) classification of lexical cohesion which comprises: repetition, synonymy, antonymy, meronymy and hyponymy. Other traditional models of lexical cohesion are examined. We include Grammatical Parallelism for its role in creating textual semantic unity which is what cohesion is all about. The study shed light on the function of lexical cohesion elements as rhetorical device. The study also deals with lexical problems resulting from the transfer of lexical cohesion elements from the SL into the TL, which is often beset by many problems that most often result from the differences between languages. Three key issues are identified as being fundamental to equivalence and lexical cohesion in the translation of political speeches: sociosemiotic approach, register analysis, rhetoric, and poetic function. The study also investigates the lexical cohesion elements in the translation of political speeches from English into Arabic, Italian and French in relation to ideology, and its control, through bias and distortion. The findings are discussed, implications examined and topics for further research suggested.

The problems of equivalence in advertising translation: examples from English and Russian

Abstract The academic environment has recently recognized the importance and benefits that an extensive research on the translation of advertising can have for translation studies. Despite the growing interest and increasing research activity in the field it is still difficult to speak about a theory of advertising translation in general. There is a need for further study encompassing different languages and both heterogeneous and homogenous cultures that will give the possibility to receive a more complete map of what the translation of advertising is and should be. Previous studies have been concentrated, for the most part, on Western European language pairs. This study is a research into perfume and cosmetics print advertisements translated from English into Russian where both visual and verbal elements are considered. Three broad translation approaches have been identified in what concerns the verbal message: Translated message, parallel translation, recreated adverts, and three approaches in dealing with the image: similar images, modified images, completely different images. The thesis shows that where Russian advertisements for perfume products tend to have a message, or create one, this is often lacking in the English copy. The article ends by suggesting that perfume advertisements favor the standardization approach when entering Russian market. The attempts to localize the advert have also been noticed although they are obviously less numerous in perfume adverts and are rather instances of adaptation - a mix between the localization and standardization approaches since they keep drawing on the same globally accepted universals about female beauty and concern for ‘woman’s identity’ (we focused our analysis on products designed for female consumers). This study, complementing previous studies, aims to be a contribution to the description of laws and strategies that guide the translation of advertising texts into Russian.

La figure de Méduse. Réécritures ovidiennes entre XVIe et XVIIe siècle

Starting from an original assumption that Ovid is one of the most influential and studied European mythographers from ancient times till at least the end of the XVII century, my research is about rediscovering Medusa's myth which has been brought to us from Metamorphosis during the period of time between the mid XVI and the last years of the XVII century. The main thread that leads the research trough English, French, Spanish and Italian Literatures gets particularly clarified in the crucial crux that binds the image of Gorgon, the protector of hight mysteries, tightly correlated to the goddess of knowledge, Minerva, and the attraction/dismay for knowing so far considered inaccessible but now perceived as possible (so more attractive than before) thanks to the scientific and geographic discoveries of the Renaissance.

La "barbarie glorieuse" pendant la Renaissance européenne

The thesis deals with the notion of "barbarian/barbarism" from Greek and Roman antiquity to the European Renaissance history and theatre. From a methodological point of view, though the notion of "barbarian" is analysed from an interdisciplinary perspective, the hermeneutic approach of the history of ideas and New Historicism are privileged. The main idea of the thesis is that during the XVIth century in Europe the interpretation of barbarism as a historical and cultural event has shifted from a negative position to a more positive one. The idea of “glorious barbarism” tries to explain such a change in European thought. The thesis is divided into four chapters. In the first chapter the notion of barbarism is analysed from Greek and Roman antiquity to the Renaissance. The second chapter deals with the development of cartography during the XVIth century in Europe and its relation to the redefinition of Europe’s borders. This chapter also deals with the study of some European political treatises developing a reflection on the barbaric past of Europe. The third chapter deals with the analysis of European XVIth century theatre and its relation to the representation of barbarism, with particular attention to Italian, English and Spanish plays staging a conflict between civilization and barbarism. Finally, the forth chapter deals with the analysis of the myth of Amazons during the XVIth century both in the arts and in literature. The Amazons are interpreted as the female translation of the figure of the barbarian. This cultural, artistic and political process emerges particularly in representation of female characters in European XVIth century theatre.

Les québécismes dans les romans d'Anne Hébert et de Gaétan Soucy et leurs traductions italiennes: analyse intralinguistique et contrastive

La tesi si sofferma sulla traduzione dal francese quebecchese verso l'italiano di due opere letterarie del Québec rappresentative della lingua francese quebecchese: "Les Fous de Bassan" di Anne Hébert e "La petite fille qui aimait trop les allumettes" di Gaétan Soucy. Attraverso un'analisi dei quebecismi e della loro traduzione in italiano, abbiamo potuto verificare se i traduttori avessero tenuto conto o meno delle specificità del francese del Québec. Grazie alle ricerche condotte, abbiamo potuto dimostrare che è possibile giungere a una traduzione dei quebecismi soddisfacente grazie alla corretta consultazione delle risorse lessicografiche specifiche sul francese del Québec attualmente disponibili.

Tradurre la letteratura russa contemporanea per l'infanzia

Questo lavoro affronta la traduzione della letteratura per l'infanzia. La prima parte teorica si divide tra l'analisi di cosa si intenda per traduzione per l'infanzia, quali siano le problematiche e le particolarità che la caratterizzano, e un'analisi delle specificità della traduzione dal russo all'italiano, con un approfondimento della letteratura russa contemporanea per l’infanzia. La seconda parte, pratica, analizza le traduzioni della stessa dottoranda per calare in esempi pratici le possibilità teoriche analizzate nella prima parte. Vengono affrontati brani dei maggiori scrittori contemporanei, come G. Oster, M. Moskvina, M. Borodickaja, Ju. Nečiporenko e altri. Caratteristiche fondanti la letteratura per l’infanzia sono l’interazione tra parola e immagine, il ruolo della lettura a voce alta e l’importanza del suono, i nomi parlanti, il doppio destinatario, l’adattamento, il rispetto dei canoni morali e estetici imposti dalla società, il carattere pedagogico. Gli aspetti teorici esaminati sono il traduttore come lettore e la ricerca di un equivalente funzionale come strategia traduttiva. This thesis is about translation of children’s literature. In the first section, I explore the meanings of translating for children, and which are its issues and peculiarities; the specificities in translation from Russian into Italian; the background of contemporary Russian Children’s Literature (G. Oster, M. Moskvina, M. Boroditskaya, Yu. Nechiporenko). In the second part I analyze my translations, in order to give some practical examples of the theoretical strategies I explored in the first section. Relevant characteristic of children’s literature are: its pedagogical character, interaction between word and image, double addressee, the importance of reading aloud, adaptation, respect of moral and aesthetic canons imposed by the society. The theoretical aspects examined in this thesis involve the issue of the translator seen as reader, and the search of functional equivalents as dominant translation strategy.

Towards model driven software development for Arduino platforms: a DSL and automatic code generation

La tesi ha lo scopo di esplorare la produzione di sistemi software per Embedded Systems mediante l'utilizzo di tecniche relative al mondo del Model Driven Software Development. La fase più importante dello sviluppo sarà la definizione di un Meta-Modello che caratterizza i concetti fondamentali relativi agli embedded systems. Tale modello cercherà di astrarre dalla particolare piattaforma utilizzata ed individuare quali astrazioni caratterizzano il mondo degli embedded systems in generale. Tale meta-modello sarà quindi di tipo platform-independent. Per la generazione automatica di codice è stata adottata una piattaforma di riferimento, cioè Arduino. Arduino è un sistema embedded che si sta sempre più affermando perché coniuga un buon livello di performance ed un prezzo relativamente basso. Tale piattaforma permette lo sviluppo di sistemi special purpose che utilizzano sensori ed attuatori di vario genere, facilmente connessi ai pin messi a disposizione. Il meta-modello definito è un'istanza del meta-metamodello MOF, definito formalmente dall'organizzazione OMG. Questo permette allo sviluppatore di pensare ad un sistema sotto forma di modello, istanza del meta-modello definito. Un meta-modello può essere considerato anche come la sintassi astratta di un linguaggio, quindi può essere definito da un insieme di regole EBNF. La tecnologia utilizzata per la definizione del meta-modello è stata Xtext: un framework che permette la scrittura di regole EBNF e che genera automaticamente il modello Ecore associato al meta-modello definito. Ecore è l'implementazione di EMOF in ambiente Eclipse. Xtext genera inoltre dei plugin che permettono di avere un editor guidato dalla sintassi, definita nel meta-modello. La generazione automatica di codice è stata realizzata usando il linguaggio Xtend2. Tale linguaggio permette di esplorare l'Abstract Syntax Tree generato dalla traduzione del modello in Ecore e di generare tutti i file di codice necessari. Il codice generato fornisce praticamente tutta la schematic part dell'applicazione, mentre lascia all'application designer lo sviluppo della business logic. Dopo la definizione del meta-modello di un sistema embedded, il livello di astrazione è stato spostato più in alto, andando verso la definizione della parte di meta-modello relativa all'interazione di un sistema embedded con altri sistemi. Ci si è quindi spostati verso un ottica di Sistema, inteso come insieme di sistemi concentrati che interagiscono. Tale difinizione viene fatta dal punto di vista del sistema concentrato di cui si sta definendo il modello. Nella tesi viene inoltre introdotto un caso di studio che, anche se abbastanza semplice, fornisce un esempio ed un tutorial allo sviluppo di applicazioni mediante l'uso del meta-modello. Ci permette inoltre di notare come il compito dell'application designer diventi piuttosto semplice ed immediato, sempre se basato su una buona analisi del problema. I risultati ottenuti sono stati di buona qualità ed il meta-modello viene tradotto in codice che funziona correttamente.

Les québécismes, ces méconnus : réflexion méthodologique sur la traduction en italien du lexique québécois dans Agaguk et N'tsuk d'Yves Thériault.

La tesi si sofferma sulla traduzione in italiano delle specificità lessicali del francese del Québec rilevate in due opere rappresentative della lingua francese quebecchese : Agaguk e N’tsuk di Yves Thériault. L’analisi monolingue e contrastiva dei quebecismi e della loro traduzione italiana ci ha permesso di verificare se i traducenti utilizzati rendessero conto o meno della specificità del francese quebecchese. La nostra ricerca ha quindi contribuito a dimostrare che una traduzione soddisfacente dei quebecismi è possibile, ma solo attraverso la consultazione corretta degli strumenti lessicografici specifici sul francese del Québec di cui oggi il traduttore può disporre.