Data and behavioral contracts for web services

The recent trend in Web services is fostering a computing scenario where loosely coupled parties interact in a distributed and dynamic environment. Such interactions are sequences of xml messages and in order to assemble parties – either statically or dynamically – it is important to verify that the “contracts��� of the parties are “compatible”. The Web Service Description Language (wsdl) is a standard used for describing one-way (asynchronous) and request/response (synchronous) interactions. Web Service Conversation Language extends wscl contracts by allowing the description of arbitrary, possibly cyclic sequences of exchanged messages between communicating parties. Unfortunately, neither wsdl nor wscl can effectively define a notion of compatibility, for the very simple reason that they do not provide any formal characterization of their contract languages. We define two contract languages for Web services. The first one is a data contract language and allow us to describe a Web service in terms of messages (xml documents) that can be sent or received. The second one is a behavioral contract language and allow us to give an abstract definition of the Web service conversation protocol. Both these languages are equipped with a sort of “sub-typing” relation and, therefore, they are suitable to be used for querying Web services repositories. In particular a query for a service compatible with a given contract may safely return services with “greater” contract.

Studies on biotic and abiotic elicitors inducing defense responses in tomato

Tomato (Lycopersicon esculentum Mill., Solanum lycopersicon L.) is one of the most popular vegetable throughout the world, and the importance of its cultivation is threatened by a wide array of pathogens. In the last twenty years this plant has been successfully used as a model plant to investigate the induction of defense pathways after exposure to fungal, bacterial and abiotic molecules, showing triggering of different mechanisms of resistance. Understanding these mechanisms in order to improve crop protection is a main goal for Plant Pathology. The aim of this study was to search for general or race-specific molecules able to determine in Solanum lycopersicon immune responses attributable to the main systems of plant defense: non-host, host-specific and induced resistance. Exopolysaccharides extracted by three fungal species (Aureobasidium pullulans, Cryphonectria parasitica and Epicoccum purpurascens), were able to induce transcription of pathogenesis-related (PR) proteins and accumulation of enzymes related to defense in tomato plants cv Money Maker,using the chemical inducer Bion® as a positive control. During the thesis, several Pseudomonas spp. strains were also isolated and tested for their antimicrobial activity and ability to produce antibiotics. Using as a positive control jasmonic acid, one of the selected strain was shown to induce a form of systemic resistance in tomato. Transcription of PRs and reduction of disease severity against the leaf pathogen Pseduomonas syringae pv. tomato was determined in tomato plants cv Money Maker and cv Perfect Peel, ensuring no direct contact between the selected rhizobacteria and the aerial part of the plant. To conclude this work, race-specific resistance of tomato against the leaf mold Cladosporium fulvum is also deepened, describing the project followed at the Phytopathology Laboratory of Wageningen (NL) in 2007, dealing with localization of a specific R-Avr interaction in transfected tomato protoplast cultures through fluorescence microscopy.

Analysis and development of ecologically based approaches to coastal defense

Climate-change related impacts, notably coastal erosion, inundation and flooding from sea level rise and storms, will increase in the coming decades enhancing the risks for coastal populations. Further recourse to coastal armoring and other engineered defenses to address risk reduction will exacerbate threats to coastal ecosystems. Alternatively, protection services provided by healthy ecosystems is emerging as a key element in climate adaptation and disaster risk management. I examined two distinct approaches to coastal defense on the base of their ecological and ecosystem conservation values. First, I analyzed the role of coastal ecosystems in providing services for hazard risk reduction. The value in wave attenuation of coral reefs was quantitatively demonstrated using a meta-analysis approach. Results indicate that coral reefs can provide wave attenuation comparable to hard engineering artificial defenses and at lower costs. Conservation and restoration of existing coral reefs are cost-effective management options for disaster risk reduction. Second, I evaluated the possibility to enhance the ecological value of artificial coastal defense structures (CDS) as habitats for marine communities. I documented the suitability of CDS to support native, ecologically relevant, habitat-forming canopy algae exploring the feasibility of enhancing CDS ecological value by promoting the growth of desired species. Juveniles of Cystoseira barbata can be successfully transplanted at both natural and artificial habitats and not affected by lack of surrounding adult algal individuals nor by substratum orientation. Transplantation success was limited by biotic disturbance from macrograzers on CDS compared to natural habitats. Future work should explore the reasons behind the different ecological functioning of artificial and natural habitats unraveling the factors and mechanisms that cause it. The comprehension of the functioning of systems associated with artificial habitats is the key to allow environmental managers to identify proper mitigation options and to forecast the impact of alternative coastal development plans.

Verifica di una struttura: vela ombreggiante Defense

Verifica strutturale di una tensostruttura.

Aggression and its function as a hub mediating host defense against the slavemaking ant Protomognathus americanus

In meiner Dissertation beschäftigte ich mich mit unterschiedlichen Verteidungsstrategien, derenrnEffektivität und Evolution, der Ameisenart Temnothorax longispinosus (“Sklaven”), gegenüberrneinem sozialen Parasiten - der nahverwandten, sklavenhaltenden Art Protomognathusrnamericanus (“Sklavenhalter”). Wir entdeckten eine neue Kategorie der Verteidigungsstrategie,rnwelche es dem Wirten ermöglicht, flexibel auf die nicht vorhersagbaren Angriffe des Parasitenrnzu reagieren. Darüber hinaus erforschten wir, wie die Wirte ihre kollektive Verteidigung an einernVielzahl unterschiedlicher Angreifer anpassen können. Wir konnten feststellen, dass Wirte in derrnLage sind ihre kollektive Verteidigung dem Grad der Bedrohung anzupassen. Dies weist daraufrnhin, dass Selektion die Verteidigung gegen unterschiedliche Typen von Angreifern voneinanderrnunabhängig beeinflussen könnte. In einer dritten Studie belegten wir experimentell, dass diernParasiten die Evolution der Kolonieaggressivität der Wirtsart direkt beeinflussen. Die letztenrnbeiden Publikationen beschäftigten sich mit Sklavenrebellion, einer rätselhaftenrnVerteidigungsstrategie, da noch unklar ist, wie eine Eigenschaft von nicht reproduzierendenrnIndividuen vererbt werden kann. In einer Metaanalyse konnten wir die weite Verbreitung undrnhohe Variabilität dieser Eigenschaft dokumentieren, und fanden Hinweise, dassrnVerwandtenselektion eine mögliche Erklärung für die Evolution dieses Merkmals darstellenrnkönnte.

Structure and function of CinD (YtjD) of Lactococcus lactis, a copper-induced nitroreductase involved in defense against oxidative stress

In Lactococcus lactis IL1403, 14 genes are under the control of the copper-inducible CopR repressor. This so-called CopR regulon encompasses the CopR regulator, two putative CPx-type copper ATPases, a copper chaperone, and 10 additional genes of unknown function. We addressed here the function of one of these genes, ytjD, which we renamed cinD (copper-induced nitroreductase). Copper, cadmium, and silver induced cinD in vivo, as shown by real-time quantitative PCR. A knockout mutant of cinD was more sensitive to oxidative stress exerted by 4-nitroquinoline-N-oxide and copper. Purified CinD is a flavoprotein and reduced 2,6-dichlorophenolindophenol and 4-nitroquinoline-N-oxide with k(cat) values of 27 and 11 s(-1), respectively, using NADH as a reductant. CinD also exhibited significant catalase activity in vitro. The X-ray structure of CinD was resolved at 1.35 A and resembles those of other nitroreductases. CinD is thus a nitroreductase which can protect L. lactis against oxidative stress that could be exerted by nitroaromatic compounds and copper.

Cleavage of IgG1 and IgG3 by gingipain K from Porphyromonas gingivalis may compromise host defense in progressive periodontitis

Degradation of immunoglobulins is an effective strategy of bacteria to evade the immune system. We have tested whether human IgG is a substrate for gingipain K of Porphyromonas gingivalis and found that the enzyme can hydrolyze subclass 1 and 3 of human IgG. The heavy chain of IgG(1) was cleaved at a single site within the hinge region, generating Fab and Fc fragments. IgG(3) was also cleaved within the heavy chain, but at several sites around the CH2 region. Investigation of the enzyme kinetics of IgG proteolysis by gingipain K, using FPLC- and isothermal titration calorimetry-based assays followed by Hill plots, revealed non-Michaelis-Menten kinetics involving a mechanism of positive cooperativity. In ex vivo studies, it was shown that gingipain K retained its IgG hydrolyzing activity in human plasma despite the high content of natural protease inhibitors; that IgG(1) cleavage products were detected in gingival crevicular fluid samples from patients with severe periodontitis; and that gingipain K treatment of serum samples from patients with high antibody titers against P. gingivalis significantly hindered opsonin-dependent phagocytosis of clinical isolates of P. gingivalis by neutrophils. Altogether, these findings underline a biological function of gingipain K as an IgG protease of pathophysiological importance.

The Catholic Doctrine of Transubstantiation: An Exposition and Defense

The purpose of this thesis is to offer both an exposition and defense for the Catholic Church's traditional understanding of eucharistic transubstantiation. I hope to show how a belief in such a doctrine is in no way irrational nor is it indefensible; butinstead, the doctrine of transubstantiation makes sense when it is viewed in light of what Catholic Christians believe about who the human being is, what the human desires, and the special way in which God personally works in human history. The method I am following investigates how the doctrine of transubstantiation coheres with and follows the other beliefs that Catholics hold; that is, beginning with certain presuppositions, there is a certain rational progression to the Catholic understanding of real presence.