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.

Bone-implant interface. Evaluation of osteoblastic cells behavior on nanopatterned titanium surfaces: an in vitro analysis

Protein-adsorption occurs immediately following implantation of biomaterials. It is unknown at which extent protein-adsorption impacts the cellular events at bone-implant interface. To investigate this question, we compared the in-vitro outcome of osteoblastic cells grown onto titanium substrates and glass as control, by modulating the exposure to serum-derived proteins. Substrates consisted of 1) polished titanium disks; 2) polished disks nanotextured with H2SO4/H2O2; 3) glass. In the pre-adsorption phase, substrates were treated for 1h with αMEM alone (M-noFBS) or supplemented with 10%-foetal-bovine-serum (M-FBS). MC3T3-osteoblastic-cells were cultured on the pre-treated substrates for 3h and 24h, in M-noFBS and M-FBS. Subsequently, the culture medium was replaced with M-FBS and cultures maintained for 3 and 7days. Cell-number was evaluated by: Alamar-Blue and MTT assay. Mitotic- and osteogenic-activities were evaluated through fluorescence-optical-microscope by immunolabeling for Ki-67 nuclear-protein and Osteopontin. Cellular morphology was evaluated by SEM-imaging. Data were statistically analyzed using ANOVA-test, (p<0.05). At day3 and day7, the presence or absence of serum-derived proteins during the pre-adsorption phase had not significant effect on cell-number. Only the absence of FBS during 24h of culture significantly affected cell-number (p<0.0001). Titanium surfaces performed better than glass, (p<0.01). The growth rate of cells between day3 and 7 was not affected by the initial absence of FBS. Immunolabeling for Ki-67 and Osteopontin showed that the mitotic- and osteogenic- activity were ongoing at 72h. SEM-analysis revealed that the absence of FBS had no major influence on cell-shape. • Physico-chemical interactions without mediation by proteins are sufficient to sustain the initial phase of culture and guide osteogenic-cells toward differentiation. • The challenge is avoiding adsorption of ‘undesirables’ molecules that negatively impact on the cueing cells receive from surface. This may not be a problem in healthy patients, but may have an important role in medically-compromised-individuals in whom the composition of tissue-fluids is altered.