Ingegneria di sistemi auto‐organizzanti con il paradigma multiagente

Self-organisation is increasingly being regarded as an effective approach to tackle modern systems complexity. The self-organisation approach allows the development of systems exhibiting complex dynamics and adapting to environmental perturbations without requiring a complete knowledge of the future surrounding conditions. However, the development of self-organising systems (SOS) is driven by different principles with respect to traditional software engineering. For instance, engineers typically design systems combining smaller elements where the composition rules depend on the reference paradigm, but typically produce predictable results. Conversely, SOS display non-linear dynamics, which can hardly be captured by deterministic models, and, although robust with respect to external perturbations, are quite sensitive to changes on inner working parameters. In this thesis, we describe methodological aspects concerning the early-design stage of SOS built relying on the Multiagent paradigm: in particular, we refer to the A&A metamodel, where MAS are composed by agents and artefacts, i.e. environmental resources. Then, we describe an architectural pattern that has been extracted from a recurrent solution in designing self-organising systems: this pattern is based on a MAS environment formed by artefacts, modelling non-proactive resources, and environmental agents acting on artefacts so as to enable self-organising mechanisms. In this context, we propose a scientific approach for the early design stage of the engineering of self-organising systems: the process is an iterative one and each cycle is articulated in four stages, modelling, simulation, formal verification, and tuning. During the modelling phase we mainly rely on the existence of a self-organising strategy observed in Nature and, hopefully encoded as a design pattern. Simulations of an abstract system model are used to drive design choices until the required quality properties are obtained, thus providing guarantees that the subsequent design steps would lead to a correct implementation. However, system analysis exclusively based on simulation results does not provide sound guarantees for the engineering of complex systems: to this purpose, we envision the application of formal verification techniques, specifically model checking, in order to exactly characterise the system behaviours. During the tuning stage parameters are tweaked in order to meet the target global dynamics and feasibility constraints. In order to evaluate the methodology, we analysed several systems: in this thesis, we only describe three of them, i.e. the most representative ones for each of the three years of PhD course. We analyse each case study using the presented method, and describe the exploited formal tools and techniques.

Il processo migratorio come determinante della salute mentale: l'esperienza del Centro di Consultazione Socio-Culturale nel Distretto di Pianura Est, AUSL di Bologna.

La ricerca in oggetto ha analizzato le relazioni tra migrazione e salute mentale nel Distretto di Pianura Est dell'AUSL di Bologna. Attraverso un dispositivo d’indagine multi-disciplinare basato sui quadri teorici dell'Antropologia Medica Critica, della Salute Pubblica e della Psichiatria, la ricerca si è inserita nell’ampio contesto di sperimentazione di un innovativo modello di assistenza per pazienti migranti, denominato Centro di Consultazione Socio- Culturale. L'architettura dello studio si rifà a un modello di Ricerca-Azione Partecipata e Multi-Situata fondato su un approccio analitico e auto-riflessivo, il quale ha consentito di problematizzare, oltre alle azioni e alle traiettorie dei vari soggetti che operano nel campo della ricerca, anche le categorie oggetto della ricerca stessa. L'analisi, profondamente radicata nel dato empirico, è stata condotta a partire dall'esperienza degli attori sociali coinvolti. Le esperienze, le informazioni e le rappresentazioni reciproche sono state co-costruite in forma partecipativa attraverso l'uso combinato di metodologie quali-quantitative proprie sia delle discipline sanitarie sia di quelle sociali. Come materiali della ricerca sono stati utilizzati: dati primari e secondari prodotti dalle istituzioni e dalle organizzazioni del territorio stesso; informazioni provenienti dall'osservazione partecipante; colloqui con informatori-chiave; interviste semi-strutturate con decisori politici, amministratori, organizzazioni del territorio, operatori dei servizi, cittadini e pazienti. La ricerca ha dimostrato la validità delle prospettive teoriche utilizzate e delle strategie di lavoro proposte. Il modello di lavoro multi-disciplinare e multi-metodologico si è rivelato produttivo nell'indagare congiuntamente le prospettive degli attori coinvolti insieme alle loro traiettorie, alle reciproche interconnessioni e alle relazioni tra processi locali e globali. L’analisi auto-riflessiva ha consentito di analizzare le attività del Centro di Consultazione evidenziandone vantaggi e limiti. Infine, la collaborazione tra Salute Pubblica e Antropologia Medica Critica ha dimostrato una grande potenzialità e produttività sia sul versante della ricerca scientifica sia su quello dell'assistenza sanitaria.