A tuple space implementation for large-scale infrastructures

Coordinating activities in a distributed system is an open research topic. Several models have been proposed to achieve this purpose such as message passing, publish/subscribe, workflows or tuple spaces. We have focused on the latter model, trying to overcome some of its disadvantages. In particular we have applied spatial database techniques to tuple spaces in order to increase their performance when handling a large number of tuples. Moreover, we have studied how structured peer to peer approaches can be applied to better distribute tuples on large networks. Using some of these result, we have developed a tuple space implementation for the Globus Toolkit that can be used by Grid applications as a coordination service. The development of such a service has been quite challenging due to the limitations imposed by XML serialization that have heavily influenced its design. Nevertheless, we were able to complete its implementation and use it to implement two different types of test applications: a completely parallelizable one and a plasma simulation that is not completely parallelizable. Using this last application we have compared the performance of our service against MPI. Finally, we have developed and tested a simple workflow in order to show the versatility of our service.

Semantic coordination through programmable Tuple spaces

Two of the main features of today complex software systems like pervasive computing systems and Internet-based applications are distribution and openness. Distribution revolves around three orthogonal dimensions: (i) distribution of control|systems are characterised by several independent computational entities and devices, each representing an autonomous and proactive locus of control; (ii) spatial distribution|entities and devices are physically distributed and connected in a global (such as the Internet) or local network; and (iii) temporal distribution|interacting system components come and go over time, and are not required to be available for interaction at the same time. Openness deals with the heterogeneity and dynamism of system components: complex computational systems are open to the integration of diverse components, heterogeneous in terms of architecture and technology, and are dynamic since they allow components to be updated, added, or removed while the system is running. The engineering of open and distributed computational systems mandates for the adoption of a software infrastructure whose underlying model and technology could provide the required level of uncoupling among system components. This is the main motivation behind current research trends in the area of coordination middleware to exploit tuple-based coordination models in the engineering of complex software systems, since they intrinsically provide coordinated components with communication uncoupling and further details in the references therein. An additional daunting challenge for tuple-based models comes from knowledge-intensive application scenarios, namely, scenarios where most of the activities are based on knowledge in some form|and where knowledge becomes the prominent means by which systems get coordinated. Handling knowledge in tuple-based systems induces problems in terms of syntax - e.g., two tuples containing the same data may not match due to differences in the tuple structure - and (mostly) of semantics|e.g., two tuples representing the same information may not match based on a dierent syntax adopted. Till now, the problem has been faced by exploiting tuple-based coordination within a middleware for knowledge intensive environments: e.g., experiments with tuple-based coordination within a Semantic Web middleware (surveys analogous approaches). However, they appear to be designed to tackle the design of coordination for specic application contexts like Semantic Web and Semantic Web Services, and they result in a rather involved extension of the tuple space model. The main goal of this thesis was to conceive a more general approach to semantic coordination. In particular, it was developed the model and technology of semantic tuple centres. It is adopted the tuple centre model as main coordination abstraction to manage system interactions. A tuple centre can be seen as a programmable tuple space, i.e. an extension of a Linda tuple space, where the behaviour of the tuple space can be programmed so as to react to interaction events. By encapsulating coordination laws within coordination media, tuple centres promote coordination uncoupling among coordinated components. Then, the tuple centre model was semantically enriched: a main design choice in this work was to try not to completely redesign the existing syntactic tuple space model, but rather provide a smooth extension that { although supporting semantic reasoning { keep the simplicity of tuple and tuple matching as easier as possible. By encapsulating the semantic representation of the domain of discourse within coordination media, semantic tuple centres promote semantic uncoupling among coordinated components. The main contributions of the thesis are: (i) the design of the semantic tuple centre model; (ii) the implementation and evaluation of the model based on an existent coordination infrastructure; (iii) a view of the application scenarios in which semantic tuple centres seem to be suitable as coordination media.

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.

The Domon Family of Plant Plasma Membrane B-Type Cytochromes: Heterologous Expression, Biochemical Characterization and Physiological Roles in Vivo

The DOMON domain is a domain widespread in nature, predicted to fold in a β-sandwich structure. In plants, AIR12 is constituted by a single DOMON domain located in the apoplastic space and is GPI-modified for anchoring to the plasma membrane. Arabidopsis thaliana AIR12 has been heterologously expressed as a recombinant protein (recAtAIR12) in Pichia pastoris. Spectrophotometrical analysis of the purified protein showed that recAtAir12 is a cytochrome b. RecAtAIR12 is highly glycosylated, it is reduced by ascorbate, superoxide and naftoquinones, oxidised by monodehydroascorbate and oxygen and insensitive to hydrogen peroxide. The addition of recAtAIR12 to permeabilized plasma membranes containing NADH, FeEDTA and menadione, caused a statistically significant increase in hydroxyl radicals as detected by electron paramagnetic resonance. In these conditions, recAtAIR12 has thus a pro-oxidant role. Interestingly, AIR12 is related to the cytochrome domain of cellobiose dehydrogenase which is involved in lignin degradation, possibly via reactive oxygen species (ROS) production. In Arabidopsis the Air12 promoter is specifically activated at sites where cell separations occur and ROS, including •OH, are involved in cell wall modifications. air12 knock-out plants infected with Botrytis cinerea are more resistant than wild-type and air12 complemented plants. Also during B. cinerea infection, cell wall modifications and ROS are involved. Our results thus suggest that AIR12 could be involved in cell wall modifying reactions by interacting with ROS and ascorbate. CyDOMs are plasma membrane redox proteins of plants that are predicted to contain an apoplastic DOMON fused with a transmembrane cytochrome b561 domain. CyDOMs have never been purified nor characterised. The trans-membrane portion of a soybean CyDOM was expressed in E. coli but purification could not be achieved. The DOMON domain was expressed in P. pastoris and shown to be itself a cytochrome b that could be reduced by ascorbate.

Agenti di encefalopatie spongiformi trasmissibili e zoonosi: tipizzazione molecolare

Transmissible spongiform encephalopathies (TSE) are neurodegenerative diseases caused by the conversion of the host-encoded cellular protein (PrPC) to a disease-associated isoform (PrPSc). The agent responsible for prion diseases may exist as different strains with specific biological and biochemical properties. According to the protein-only hypothesis, prion strain diversity is enciphered in PrPSc conformation. Molecular strain typing methods are based on the electrophoretic mobility of protease resistant core of PrPSc, on the susceptibility to protease digestion, on the glycosylation profile of PrPres and on the conformational stability of PrPSc. In this study a new conformational stability assay was developed based on the differential solubility of PrPC and PrPSc: CSSA (conformational stability and solubility assay). The conformational stability assay was performed by measuring PrPSc solubility in homogenates treated with increasing concentrations of GdnHCl, in the absence of proteinase K. Indeed, dose-response curves allowed estimation of the concentration of GdnHCl able to solubilise 50% of PrPSc. The results showed that this method is valuable for the biochemical typing of strains in bank voles and it is also a promising tool for molecular analysis of natural prion isolates. CSSA also revealed strain-specific PrPSc conformational stabilities of ovine natural isolates so that this feature, combined with the N-terminal PrPSc cleavage, allowed differentiation of classical scrapie, including CH1641-like, from natural goat BSE and experimental sheep BSE. In view of the implications concerning strain similarity between animal and human TSEs, the physico-chemical properties of the Nor98 with two human prion diseases (VPSPr and GSS) were compared in order to investigate the extent of the similarity between animal and human prion strains. The results showed an unexpected heterogeneity of the molecular features among human and sheep TSEs associated with internal PrPres fragments with the possible exception of Nor98 and a case of GSS P102L. These similarities and differences need further investigation by N- and C-terminal sequencing and biological characterization.

Structural and biochemical studies of Sporosarcina pasteurii UreE: a nickel-chaperone involved in the urease activation process

Urease is a nickel-dependent enzyme that catalyzes hydrolysis of urea in the last step of organic nitrogen mineralization. Its active site contains a dinuclear center for Ni(II) ions that must be inserted into the apo-enzyme through the action of four accessory proteins (UreD, UreE, UreF, UreG) leading to activation of urease. UreE, acting as a metallo-chaperone, delivers Ni(II) to the preformed complex of apo-urease-UreDFG and has the capability to enhance the GTPase activity of UreG. This study, focused on characterization of UreE from Sporosarcina pasteurii (SpUreE), represents a piece of information on the structure/mobility-function relationships that control nickel binding by SpUreE and its interaction with SpUreG. A calorimetric analysis revealed the occurrence of a binding event between these proteins with positive cooperativity and a stoichiometry consistent with the formation of the (UreE)2-(UreG)2 hetero-oligomer complex. Chemical Shift Perturbations induced by the protein-protein interaction were analyzed using high-resolution NMR spectroscopy, which allowed to characterize the molecular details of the protein surface of SpUreE involved in the complex formation with SpUreG. Moreover, backbone dynamic properties of SpUreE, determined using 15N relaxation analysis, revealed a general mobility in the nanoseconds time-scale, with the fastest motions observed at the C-termini. The latter analysis made it possible for the first time to characterize of the C-terminal portions, known to contain key residues for metal ion binding, that were not observed in the crystal structure of UreE because of disorder. The residues belonging to this portion of SpUreE feature large CSPs upon addition of SpUreG, showing that their chemical environment is directly affected by protein-protein interaction. Metal ion selectivity and affinity of SpUreE for cognate Ni(II) and non cognate Zn(II) metal ions were determined, and the ability of the protein to select Ni(II) over Zn(II), in consistency with the proposed role in Ni(II) cations transport, was established.