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.

Alterazioni dell'immunità umorale nei pazienti con sarcoma di Kaposi classico: caratterizzazione dei linfociti B circolanti e delle loro sottopopolazioni

Objectives: Human Herpesvirus 8 (HHV-8) is the etiological agent of Kaposi’s Sarcoma (KS) and it is also associated with two B cell lymphoproliferative diseases: primary effusion lymphoma (PEL), and the plasmablastic form of multicentric Castelman’s disease (MCD). HHV-8 establishes persistent infection in the host with tropism for multiple cell types. In KS patients, the virus is found in tumor-spindle cells, peripheral blood monocytes, endothelial progenitor circulating cells, T and B lymphocytes. Peripheral B cells represent one of the major virus reservoir, but the consequences of HHV-8 infection of these cells have been poorly characterized. Therefore, in this study the frequency, the immunophenotypic profile and the functional activity of different peripheral B cell subsets in patients with classic KS (cKS) was analysed in order to identify potential alterations of these cells. The classic variant of KS is ideal to perform such studies, as it lacks confounding factors such as HIV or EBV infection and immunosuppression. Methods: Whole-blood samples from patients with the classical form of KS (cKS) (n=62) and healthy age and sex-matched seronegative controls (HSN) (n=43) were analyzed by multiparametric flow-cytometry to determine the frequency of B cells and their subpopulations, as well as their surface expression of immunoglobulins and activation markers. Results: The frequency of circulating B cells was significantly higher in cKS patients than in controls. In particular, the analysis of the B cell subsets revealed a higher frequency of naïve B cells (CD19+CD27-), among which transitional CD19+CD38highCD5+ and pre-naïve (CD27-CD38intCD5+ ) B cells demonstrated an expansion. Memory B cells (CD19+CD27+) did not differ between the two study groups, except from a higher frequency of CD19+CD27+IgM+IgD+ B cells, the typical phenotype of marginal zone (MZ) B cells, in cKS patients. The characterization of membrane surface activation markers showed lower levels of the activation marker HLA-DR only on CD27- B cells, while CD80 and CD86 were less represented in all the the B cells from cKS patients. Moreover, B cells from cKS patients were smaller and with less granules than the ones from controls. Conclusion: Taken together, these results clearly indicate that circulating B cells are altered in patients with cKS, showing an expansion of the immature phenotypes. These B cell alterations may be due to an indirect viral effect rather than to a direct one: the cytokines expressed in the microenvironment typical of cKS may cause a faster release of immature cells from the bone marrow and a lower grade of peripheral differentiation, as already suggested for other chronic viral infections such as HIV and HCV. Further studies will be necessary to understand how these alterations contribute to the pathogenesis of KS and, eventually, to the different clinical evolution of the disease.