Formalizing languages for service oriented computing

Service Oriented Computing is a new programming paradigm for addressing distributed system design issues. Services are autonomous computational entities which can be dynamically discovered and composed in order to form more complex systems able to achieve different kinds of task. E-government, e-business and e-science are some examples of the IT areas where Service Oriented Computing will be exploited in the next years. At present, the most credited Service Oriented Computing technology is that of Web Services, whose specifications are enriched day by day by industrial consortia without following a precise and rigorous approach. This PhD thesis aims, on the one hand, at modelling Service Oriented Computing in a formal way in order to precisely define the main concepts it is based upon and, on the other hand, at defining a new approach, called bipolar approach, for addressing system design issues by synergically exploiting choreography and orchestration languages related by means of a mathematical relation called conformance. Choreography allows us to describe systems of services from a global view point whereas orchestration supplies a means for addressing such an issue from a local perspective. In this work we present SOCK, a process algebra based language inspired by the Web Service orchestration language WS-BPEL which catches the essentials of Service Oriented Computing. From the definition of SOCK we will able to define a general model for dealing with Service Oriented Computing where services and systems of services are related to the design of finite state automata and process algebra concurrent systems, respectively. Furthermore, we introduce a formal language for dealing with choreography. Such a language is equipped with a formal semantics and it forms, together with a subset of the SOCK calculus, the bipolar framework. Finally, we present JOLIE which is a Java implentation of a subset of the SOCK calculus and it is part of the bipolar framework we intend to promote.

Central autonomic control in spontaneously hypertensive rats: a study on phasic phenomena during rapid-eye-movement sleep

The cardiovascular regulation undergoes wide changes in the different states of sleepwake cycle. In particular, the relationship between spontaneous fluctuations in heart period and arterial pressure clearly shows differences between the two sleep states. In non rapid-eye-movement sleep, heart rhythm is under prevalent baroreflex control, whereas in rapid-eye-movement sleep central autonomic commands prevail (Zoccoli et al., 2001). Moreover, during rapid-eye-movement sleep the cardiovascular variables show wide fluctuations around their mean value. In particular, during rapid-eyemovement sleep, the arterial pressure shows phasic hypertensive events which are superimposed upon the tonic level of arterial pressure. These phasic increases in arterial pressure are accompanied by an increase in heart rate (Sei & Morita, 1996; Silvani et al., 2005). Thus, rapid-eye-movement sleep may represent an “autonomic stress test” for the cardiovascular system, able to unmask pathological patterns of cardiovascular regulation (Verrier et al. 2005), but this hypothesis has never been tested experimentally. The aim of this study was to investigate whether rapid-eye-movement sleep may reveal derangements in central autonomic cardiovascular control in an experimental model of essential hypertension. The study was performed in Spontaneously Hypertensive Rats, which represent the most widely used model of essential hypertension, and allow full control of genetic and environmental confounding factors. In particular, we analyzed the cardiovascular, electroencephalogram, and electromyogram changes associated with phasic hypertensive events during rapid-eyemovement sleep in Spontaneously Hypertensive Rats and in their genetic Wistar Kyoto control strain. Moreover, we studied also a group of Spontaneously Hypertensive Rats made phenotypically normotensive by means of a chronic treatment with an angiotensin converting enzyme inhibitor, the Enalapril maleate, from the age of four weeks to the end of the experiment. All rats were implanted with electrodes for electroencephalographic and electromyographic recordings and with an arterial catheter for arterial pressure measurement. After six days for postoperative recovery, the rats were studied for five days, at an age of ten weeks.The study indicated that the peak of mean arterial pressure increase during the phasic hypertensive events in rapid-eye-movement sleep did not differ significantly between Spontaneously Hypertensive Rats and Wistar Kyoto rats, while on the other hand Spontaneously Hypertensive Rats showed a reduced increase in the frequency of theta rhythm and a reduced tachicardia with respect to Wistar Kyoto rats. The same pattern of changes in mean arterial pressure, heart period, and theta frequency was observed between Spontaneously Hypertensive Rats and Spontaneously Hypertensive Rats treated with Enalapril maleate. Spontaneously Hypertensive Rats do not differ from Wistar Kyoto rats only in terms of arterial hypertension, but also due to multiple unknown genetic differences. Spontaneously Hypertensive Rats were developed by selective breeding of Wistar Kyoto rats based only on the level of arterial pressure. However, in this process, multiple genes possibly unrelated to hypertension may have been selected together with the genetic determinants of hypertension (Carley et al., 2000). This study indicated that Spontaneously Hypertensive Rats differ from Wistar Kyoto rats, but not from Spontaneously Hypertensive Rats treated with Enalapril maleate, in terms of arterial pH and theta frequency. This feature may be due to genetic determinants unrelated to hypertension. In sharp contrast, the persistence of differences in the peak of heart period decrease and the peak of theta frequency increase during phasic hypertensive events between Spontaneously Hypertensive Rats and Spontaneously Hypertensive Rats treated with Enalapril maleate demonstrates that the observed reduction in central autonomic control of the cardiovascular system in Spontaneously Hypertensive Rats is not an irreversible consequence of inherited genetic determinants. Rather, the comparison between Spontaneously Hypertensive Rats and Spontaneously Hypertensive Rats treated with Enalapril maleate indicates that the observed differences in central autonomic control are the result of the hypertension per se. This work supports the view that the study of cardiovascular regulation in sleep provides fundamental insight on the pathophysiology of hypertension, and may thus contribute to the understanding of this disease, which is a major health problem in European countries (Wolf-Maier et al., 2003) with its burden of cardiac, vascular, and renal complications.

Teaching and learning stance in specialized English for computing. A corpus linguistics approach

[EN]The use of large corpora in the study of languages is a well established tradition. In the same vein, scholarship is also well represented in the case of the study of corpora for making grammars of languages. This is the case of the COBUILD grammar and dictionary and the case of the Longman Grammar of Spoken and Written English. This means that corpora have been analyzed in order to identify patterns in languages that can be later practised by learners following those patterns described and exemplified with real instances.

Green Cloud Computing: una rassegna comparativa

La rapida crescita di Internet e del numero di host connessi sta portando sempre di più alla nascita di nuove forme di tecnlogie ed applicazioni serverside, facendo del client un thin-client. Il Cloud Computing offre una valida piattaforma a queste nuove tecnologie, ma esso si deve confrontare con diverse problematiche, fra cui la richiesta energetica sempre più crescente, che si ripercuote su un'inevitabile aumento dei gas serra prodotti indirettamente. In questa tesi analizzeremo i problemi energetici legati al Cloud Computing e le possibili soluzioni, andando infine a creare una tassonomia fra i diversi Cloud Computing più importanti sul mercato attuale.

Garanzie del servizio in ambienti di cloud computing: uno studio sperimentale

Nel corso di questa tesi analizzeremo che cos'è il cloud computing, illustrando i contratti di service level agreement e le soluzioni presenti nel mercato.

Progettazione ed implementazione di una piattaforma di cloud computing per il supporto ad applicazioni voip

Progettazione ed implementazione di una piattaforma di cloud computing per erogare macchine virtuali, in particolare macchine utilizzate come proxy server da applicazioni VoIP