Meta-models, environment and layers: agent-oriented engineering of complex systems

Traditional software engineering approaches and metaphors fall short when applied to areas of growing relevance such as electronic commerce, enterprise resource planning, and mobile computing: such areas, in fact, generally call for open architectures that may evolve dynamically over time so as to accommodate new components and meet new requirements. This is probably one of the main reasons that the agent metaphor and the agent-oriented paradigm are gaining momentum in these areas. This thesis deals with the engineering of complex software systems in terms of the agent paradigm. This paradigm is based on the notions of agent and systems of interacting agents as fundamental abstractions for designing, developing and managing at runtime typically distributed software systems. However, today the engineer often works with technologies that do not support the abstractions used in the design of the systems. For this reason the research on methodologies becomes the basic point in the scientific activity. Currently most agent-oriented methodologies are supported by small teams of academic researchers, and as a result, most of them are in an early stage and still in the first context of mostly \academic" approaches for agent-oriented systems development. Moreover, such methodologies are not well documented and very often defined and presented only by focusing on specific aspects of the methodology. The role played by meta- models becomes fundamental for comparing and evaluating the methodologies. In fact a meta-model specifies the concepts, rules and relationships used to define methodologies. Although it is possible to describe a methodology without an explicit meta-model, formalising the underpinning ideas of the methodology in question is valuable when checking its consistency or planning extensions or modifications. A good meta-model must address all the different aspects of a methodology, i.e. the process to be followed, the work products to be generated and those responsible for making all this happen. In turn, specifying the work products that must be developed implies dening the basic modelling building blocks from which they are built. As a building block, the agent abstraction alone is not enough to fully model all the aspects related to multi-agent systems in a natural way. In particular, different perspectives exist on the role that environment plays within agent systems: however, it is clear at least that all non-agent elements of a multi-agent system are typically considered to be part of the multi-agent system environment. The key role of environment as a first-class abstraction in the engineering of multi-agent system is today generally acknowledged in the multi-agent system community, so environment should be explicitly accounted for in the engineering of multi-agent system, working as a new design dimension for agent-oriented methodologies. At least two main ingredients shape the environment: environment abstractions - entities of the environment encapsulating some functions -, and topology abstractions - entities of environment that represent the (either logical or physical) spatial structure. In addition, the engineering of non-trivial multi-agent systems requires principles and mechanisms for supporting the management of the system representation complexity. These principles lead to the adoption of a multi-layered description, which could be used by designers to provide different levels of abstraction over multi-agent systems. The research in these fields has lead to the formulation of a new version of the SODA methodology where environment abstractions and layering principles are exploited for en- gineering multi-agent systems.

A core calculus for the analysis and implementation of biologically inspired languages

The application of Concurrency Theory to Systems Biology is in its earliest stage of progress. The metaphor of cells as computing systems by Regev and Shapiro opened the employment of concurrent languages for the modelling of biological systems. Their peculiar characteristics led to the design of many bio-inspired formalisms which achieve higher faithfulness and specificity. In this thesis we present pi@, an extremely simple and conservative extension of the pi-calculus representing a keystone in this respect, thanks to its expressiveness capabilities. The pi@ calculus is obtained by the addition of polyadic synchronisation and priority to the pi-calculus, in order to achieve compartment semantics and atomicity of complex operations respectively. In its direct application to biological modelling, the stochastic variant of the calculus, Spi@, is shown able to model consistently several phenomena such as formation of molecular complexes, hierarchical subdivision of the system into compartments, inter-compartment reactions, dynamic reorganisation of compartment structure consistent with volume variation. The pivotal role of pi@ is evidenced by its capability of encoding in a compositional way several bio-inspired formalisms, so that it represents the optimal core of a framework for the analysis and implementation of bio-inspired languages. In this respect, the encodings of BioAmbients, Brane Calculi and a variant of P Systems in pi@ are formalised. The conciseness of their translation in pi@ allows their indirect comparison by means of their encodings. Furthermore it provides a ready-to-run implementation of minimal effort whose correctness is granted by the correctness of the respective encoding functions. Further important results of general validity are stated on the expressive power of priority. Several impossibility results are described, which clearly state the superior expressiveness of prioritised languages and the problems arising in the attempt of providing their parallel implementation. To this aim, a new setting in distributed computing (the last man standing problem) is singled out and exploited to prove the impossibility of providing a purely parallel implementation of priority by means of point-to-point or broadcast communication.

I sensi spirituali nel Liber di Angela da Foligno. La metafora del "gusto" nel Liber di Angela da Foligno e nella mistica femminile francescana tra XIII e XIV secolo.

Angela da Foligno’s Liber is a fundamental text for the scholar of Women Mystics between the XIIIth and the XIVth century in Italy and all over Europe, and it has been chosen in my research because of its originality, with refer of its feminine and franciscan essence. Angela teaches to the italian hagiographic tradition the internal point of view of the holy woman, who becomes the teller of her both ordinary and extraordinary experiences. After giving references about the religious and social historical universe in evolution during the XIIth century, my research proceeds with a linguistic and rhetorical analysis based upon the Liber. I have been searching in Angela’s text and in contemporary italian feminine hagiography the sensory metaphor of “tasting”. That kind of metaphor has an ancient memory and, thanks to the Origene’s studies - the Christian Father of the IIIrd century - we can easily recognize it already in the Bible; Origene identifies the sensory metaphor as a rhetoric system, able to exemplify the God learning process of soul. Theory of “spiritual senses”, theory of vision and rhetoric, evolving from the IIIrd to the XIIIth century, are the theological and linguistic heritage of our feminine and franciscan literature. Inside of that, the metaphor of “tasting” moves and changes, therefore becoming the favourite way of mystics to represent the contact of their souls with God.

Self-organising coordination systems

Many research fields are pushing the engineering of large-scale, mobile, and open systems towards the adoption of techniques inspired by self-organisation: pervasive computing, but also distributed artificial intelligence, multi-agent systems, social networks, peer-topeer and grid architectures exploit adaptive techniques to make global system properties emerge in spite of the unpredictability of interactions and behaviour. Such a trend is visible also in coordination models and languages, whenever a coordination infrastructure needs to cope with managing interactions in highly dynamic and unpredictable environments. As a consequence, self-organisation can be regarded as a feasible metaphor to define a radically new conceptual coordination framework. The resulting framework defines a novel coordination paradigm, called self-organising coordination, based on the idea of spreading coordination media over the network, and charge them with services to manage interactions based on local criteria, resulting in the emergence of desired and fruitful global coordination properties of the system. Features like topology, locality, time-reactiveness, and stochastic behaviour play a key role in both the definition of such a conceptual framework and the consequent development of self-organising coordination services. According to this framework, the thesis presents several self-organising coordination techniques developed during the PhD course, mainly concerning data distribution in tuplespace-based coordination systems. Some of these techniques have been also implemented in ReSpecT, a coordination language for tuple spaces, based on logic tuples and reactions to events occurring in a tuple space. In addition, the key role played by simulation and formal verification has been investigated, leading to analysing how automatic verification techniques like probabilistic model checking can be exploited in order to formally prove the emergence of desired behaviours when dealing with coordination approaches based on self-organisation. To this end, a concrete case study is presented and discussed.

Da una sponda all'altra del Mediterraneo: percorsi migratori femminili

Until the end of the 1970s international migrants were perceived and analysed mainly within the frame of their lives in the host country, or as managing their lives and choices caught in a dilemma “between two cultures”. More recently, this approach has been challenged by an image of diasporic communities composed of individuals who “have collective homes away from home”. Migrants have become icons of hybridity and the metaphor of “border crossing”, the symbol of liberatory articulations between place, culture and identity. Migrants, it is also argued, have become transnational as they manage to live simultaneously in two countries. The research has the aim to study the migration process of the women who come from North Africa to Bologna. In particular, it investigates migrant women‘s relations with their adopted country and how their cultural practices are shaped by the transnational dimension of their lives. It was studied the journey of the migrant women’s lives across two countries and how their identities are going to change because of the experience of the migration. Migrant women are engaged in various kinds of practices and experiences through which they connect their country of origin and of residence. So this research focuses on the changes in the migrant women’s lives and the construction of their new identity. In particular, the research illustrates the development of a new notion of modernity, underlining how the migrant women construct a model of modernity that expresses a constant negotiation among diverse cultural models. The notion of modernity is not produced in opposition to tradition and religion, but is articulated with them in complex and diverse ways. The multiple ways in which migrant women understand modernity reflect their divergent identity’s renegotiation processes within the new society where they live.

L'idea di metafora nell'opera di Oswald Mathias Ungers

This research focuses on the definition of the complex relationship that exists between theory and project, which - in the architectural work by Oswald Mathias Ungers - is based on several essays and on the publications that - though they have never been collected in an organic text - make up an articulated corpus, so that it is possible to consider it as the foundations of a theory. More specifically, this thesis deals with the role of metaphor in Unger’s theory and its subsequent practical application to his projects. The path leading from theoretical analysis to architectural project is in Ungers’ view a slow and mediated path, where theory is an instrument without which it would not be possible to create the project's foundations. The metaphor is a figure of speech taken from disciplines such as philosophy, aesthetics, linguistics. Using a metaphor implies a transfer of meaning, as it is essentially based on the replacement of a real object with a figurative one. The research is articulated in three parts, each of them corresponding to a text by Ungers that is considered as crucial to understand the development of his architectural thinking. Each text marks three decades of Ungers’ work: the sixties, seventies and eighties. The first part of the research deals with the topic of Großform expressed by Ungers in his publication of 1966 Grossformen im Wohnungsbau, where he defines four criteria based on which architecture identifies with a Großform. One of the hypothesis underlying this study is that there is a relationship between the notion of Großform and the figure of metaphor. The second part of the thesis analyzes the time between the end of the sixties and the seventies, i.e. the time during which Ungers lived in the USA and taught at the Cornell University of Ithaca. The analysis focuses on the text Entwerfen und Denken in Vorstellungen, Metaphern und Analogien, written by Ungers in 1976, for the exhibition MAN transFORMS organized in the Cooper - Hewitt Museum in New York. This text, through which Ungers creates a sort of vocabulary to explain the notions of metaphor, analogy, signs, symbols and allegories, can be defined as the Manifesto of his architectural theory, the latter being strictly intertwined with the metaphor as a design instrument and which is best expressed when he introduces the 11 thesis with P. Koolhaas, P. Riemann, H. Kollhoff and A. Ovaska in Die Stadt in der Stadt in 1977. Berlin das grüne Stadtarchipel. The third part analyzes the indissoluble tie between the use of metaphor and the choice of the topic on which the project is based and, starting from Ungers’ publication in 1982 Architecture as theme, the relationship between idea/theme and image/metaphor is explained. Playing with shapes requires metaphoric thinking, i.e. taking references to create new ideas from the world of shapes and not just from architecture. The metaphor as a tool to interpret reality becomes for Ungers an inquiry method that precedes a project and makes it possible to define the theme on which the project will be based. In Ungers’ case, the architecture of ideas matches the idea of architecture; for Ungers the notions of idea and theme, image and metaphor cannot be separated from each other, the text on thematization of architecture is not a report of his projects, but it represents the need to put them in order and highlight the theme on which they are based.

Linguistica Cognitiva e analisi retorica: indicazioni per un percorso sulla metafora nella didattica della lingua.

La tesi sviluppa le proposte teoriche della Linguistica Cognitiva a proposito della metafora e propone una loro possibile applicazione in ambito didattico. La linguistica cognitiva costituisce la cornice interpretativa della ricerca, a partire dai suoi concetti principali: la prospettiva integrata, l’embodiment, la centralità della semantica, l’attenzione per la psicolinguistica e le neuroscienze. All’interno di questo panorama, prende vigore un’idea di metafora come punto d’incontro tra lingua e pensiero, come criterio organizzatore delle conoscenze, strumento conoscitivo fondamentale nei processi di apprendimento. A livello didattico, la metafora si rivela imprescindibile sia come strumento operativo che come oggetto di riflessione. L’approccio cognitivista può fornire utili indicazioni su come impostare un percorso didattico sulla metafora. Nel presente lavoro, si indaga in particolare l’uso didattico di stimoli non verbali nel rafforzamento delle competenze metaforiche di studenti di scuola media. Si è scelto come materiale di partenza la pubblicità, per due motivi: il diffuso impiego di strategie retoriche in ambito pubblicitario e la specificità comunicativa del genere, che permette una chiara disambiguazione di fenomeni che, in altri contesti, non potrebbero essere analizzati con la stessa univocità. Si presenta dunque un laboratorio finalizzato al miglioramento della competenza metaforica degli studenti che si avvale di due strategie complementari: da una parte, una spiegazione ispirata ai modelli cognitivisti, sia nella terminologia impiegata che nella modalità di analisi (di tipo usage-based); dall’altra un training con metafore visive in pubblicità, che comprende una fase di analisi e una fase di produzione. È stato usato un test, suddiviso in compiti specifici, per oggettivare il più possibile i progressi degli studenti alla fine del training, ma anche per rilevare le difficoltà e i punti di forza nell’analisi rispetto sia ai contesti d’uso (letterario e convenzionale) sia alle forme linguistiche assunte dalla metafora (nominale, verbale, aggettivale).

Nature and relevance of inherited blueprints on business models choices and innovation: an assessment

One important metaphor, referred to biological theories, used to investigate on organizational and business strategy issues is the metaphor about heredity; an area requiring further investigation is the extent to which the characteristics of blueprints inherited from the parent, helps in explaining subsequent development of the spawned ventures. In order to shed a light on the tension between inherited patterns and the new trajectory that may characterize spawned ventures’ development we propose a model aimed at investigating which blueprints elements might exert an effect on business model design choices and to which extent their persistence (or abandonment) determines subsequent business model innovation. Under the assumption that academic and corporate institutions transmit different genes to their spin-offs, we hence expect to have heterogeneity in elements that affect business model design choices and its subsequent evolution. This is the reason why we carry on a twofold analysis in the biotech (meta)industry: under a multiple-case research design, business model and especially its fundamental design elements and themes scholars individuated to decompose the construct, have been thoroughly analysed. Our purpose is to isolate the dimensions of business model that may have been the object of legacy and the ones along which an experimentation and learning process is more likely to happen, bearing in mind that differences between academic and corporate might not be that evident as expected, especially considering that business model innovation may occur.

Il ruolo della metafora nella comunicazione della fisica contemporanea

Il presente lavoro si rivolge all’analisi del ruolo delle forme metaforiche nella divulgazione della fisica contemporanea. Il focus è sugli aspetti cognitivi: come possiamo spiegare concetti fisici formalmente complessi ad un audience di non-esperti senza ‘snaturarne’ i significati disciplinari (comunicazione di ‘buona fisica’)? L’attenzione è sulla natura stessa della spiegazione e il problema riguarda la valutazione dell’efficacia della spiegazione scientifica a non-professionisti. Per affrontare tale questione, ci siamo orientati alla ricerca di strumenti formali che potessero supportarci nell’analisi linguistica dei testi. La nostra attenzione si è rivolta al possibile ruolo svolto dalle forme metaforiche nella costruzione di significati disciplinarmente validi. Si fa in particolare riferimento al ruolo svolto dalla metafora nella comprensione di nuovi significati a partire da quelli noti, aspetto fondamentale nel caso dei fenomeni di fisica contemporanea che sono lontani dalla sfera percettiva ordinaria. In particolare, è apparsa particolarmente promettente come strumento di analisi la prospettiva della teoria della metafora concettuale. Abbiamo allora affrontato il problema di ricerca analizzando diverse forme metaforiche di particolare rilievo prese da testi di divulgazione di fisica contemporanea. Nella tesi viene in particolare discussa l’analisi di un case-study dal punto di vista della metafora concettuale: una analogia di Schrödinger per la particella elementare. I risultati dell’analisi suggeriscono che la metafora concettuale possa rappresentare uno strumento promettente sia per la valutazione della qualità delle forme analogiche e metaforiche utilizzate nella spiegazione di argomenti di fisica contemporanea che per la creazione di nuove e più efficaci metafore. Inoltre questa prospettiva di analisi sembra fornirci uno strumento per caratterizzare il concetto stesso di ‘buona fisica’. Riteniamo infine che possano emergere altri risultati di ricerca interessanti approfondendo l’approccio interdisciplinare tra la linguistica e la fisica.

L'opera letteraria tra interpretazione e metafora: a partire da Nelson Goodman

Che rapporto intercorre tra un’opera letteraria e una sua interpretazione? Che cosa fa sì che la prima supporti la seconda? Come possiamo discernere un’interpretazione valida da una che non lo è ? Come può una stessa opera avere interpretazioni differenti e a volte incompatibili tra loro? Assumendo come punto di partenza la proposta di Nelson Goodman di qualificare l’opera letteraria come allografica e, quindi, di definire l’identità dell’opera sulla base della sua compitazione, cercare un risposta alle domande proposte implica un riflessione tanto sul linguaggio, quale strumento simbolico, quanto sulle modalità di riferimento proprie delle opere letterarie. In particolare, di fronte al dissolversi del mondo nella molteplicità delle versioni che il linguaggio può offrire di esso, una peculiare concezione della metafora, intesa come proiezione di un regno del linguaggio su un altro regno dello stesso, si qualifica come un buon modello per la comprensione del rapporto che lega opere letterarie e loro interpretazioni. In tal modo l’opera stessa non solo diviene significativa, ma, attraverso tale significazione, riesce anche a farsi produttiva, modificando, ampliando, ristrutturando la versione dal mondo dalla quale l’interprete-lettore prende le mosse. Ciascuna lettura di un’opera letteraria può infatti essere concepita come una via attraverso la quale ciò che nell’opera è detto viene proiettato sulla visione del mondo propria dell’interprete e di quanti possono condividerne il punto di vista. In tal modo le interpretazioni pongono le opere cui si riferiscono nelle condizioni di fornire un apporto significativo tanto alla comprensione quanto alla costituzione della nostra versione del mondo. E se ciò può avvenire in diversi modi, mutando le interpretazioni a seconda di chi le produce e delle circostanze in cui sorgono, l’opera evita la dissoluzione in virtù della compitazione che la identifica.

La città ready-made. Partecipazione, relazione e azione nel ‘900

La città ready-made. Partecipazione, relazione e azione nel ‘900 è un percorso storico-critico che si snoda lungo tutto il ‘900 alla ricerca degli episodi in cui è possibile riscontrare la partecipazione nelle pratiche estetiche di diverse generazioni di artisti; per imbastire un racconto puntuale e sistematico, inoltre, si è ricorsi ad una metafora genetica che ha riscontrato una fase — corrispondente alla prima metà del secolo — in cui il cromosoma responsabile di tale afflato partecipativo è risultato recessivo e un’altra — corrispondente stavolta alla seconda metà, più o meno dagli anni ’60 ai ’90 — in cui si è potuto registrare, altresì, una dominanza. Ad influire su questi fenomeni e sul loro svolgimento nei decenni, i protagonisti assoluti di questa trattazione: la Città e il Pubblico che, di volta in volta, facendo sentire la loro presenza o facendola venir meno, hanno dettato l’agenda della socio-relazionalità nel ‘900. Si è, inoltre, provveduto a rileggere alcuni episodi estetici al fine di evidenziarne un andamento ciclico e di ripetizione: mentre nella prima metà della ricerca si è scovato il seme della socio-relazionalità nelle visite e nelle derive di dadaisti e situazionisti, nella seconda ci si è concentrati sull’ampia produzione dei collettivi artistici di New York negli anni ’70. A dimostrazione di come la relazionalità non sia un fenomeno esclusivamente legato alla pratica dell’arte degli anni ’90, ma che, con le opportune distinzioni generazionali, è possibile riscontrarne le tracce in tutta la contemporaneità.