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.

Specification and Verification of Declarative Open Interaction Models - A Logic-based framework

The advent of distributed and heterogeneous systems has laid the foundation for the birth of new architectural paradigms, in which many separated and autonomous entities collaborate and interact to the aim of achieving complex strategic goals, impossible to be accomplished on their own. A non exhaustive list of systems targeted by such paradigms includes Business Process Management, Clinical Guidelines and Careflow Protocols, Service-Oriented and Multi-Agent Systems. It is largely recognized that engineering these systems requires novel modeling techniques. In particular, many authors are claiming that an open, declarative perspective is needed to complement the closed, procedural nature of the state of the art specification languages. For example, the ConDec language has been recently proposed to target the declarative and open specification of Business Processes, overcoming the over-specification and over-constraining issues of classical procedural approaches. On the one hand, the success of such novel modeling languages strongly depends on their usability by non-IT savvy: they must provide an appealing, intuitive graphical front-end. On the other hand, they must be prone to verification, in order to guarantee the trustworthiness and reliability of the developed model, as well as to ensure that the actual executions of the system effectively comply with it. In this dissertation, we claim that Computational Logic is a suitable framework for dealing with the specification, verification, execution, monitoring and analysis of these systems. We propose to adopt an extended version of the ConDec language for specifying interaction models with a declarative, open flavor. We show how all the (extended) ConDec constructs can be automatically translated to the CLIMB Computational Logic-based language, and illustrate how its corresponding reasoning techniques can be successfully exploited to provide support and verification capabilities along the whole life cycle of the targeted systems.

Implicit computational complexity and probabilistic classes

The thesis applies the ICC tecniques to the probabilistic polinomial complexity classes in order to get an implicit characterization of them. The main contribution lays on the implicit characterization of PP (which stands for Probabilistic Polynomial Time) class, showing a syntactical characterisation of PP and a static complexity analyser able to recognise if an imperative program computes in Probabilistic Polynomial Time. The thesis is divided in two parts. The first part focuses on solving the problem by creating a prototype of functional language (a probabilistic variation of lambda calculus with bounded recursion) that is sound and complete respect to Probabilistic Prolynomial Time. The second part, instead, reverses the problem and develops a feasible way to verify if a program, written with a prototype of imperative programming language, is running in Probabilistic polynomial time or not. This thesis would characterise itself as one of the first step for Implicit Computational Complexity over probabilistic classes. There are still open hard problem to investigate and try to solve. There are a lot of theoretical aspects strongly connected with these topics and I expect that in the future there will be wide attention to ICC and probabilistic classes.

Language, Thought, Relativism, Nationalism: An Interdisciplinary Study

Ms. Neumer and her team began their project with a critical analysis of the various theories of the relationship between language and thought. Their aim was to develop a theoretical position concerning the issue of universalism versus relativism. This issue is closely bound up with one of the main questions of the history of East and Central Europe, namely, the question of the nation, and the possibility of mutual understanding between national cultures. The team attempted to avoid falling into an all-too-common trap, that of allowing a political perspective to obscure the central theoretical issues. In a project whose outcome totalled over 1000 pages of manuscript in German, English and Hungarian, they touched on cognitive psychological, linguistic, semiotic, socio-semiotic, and other such themes. Their experience has convinced them of the fruitful heuristic possibilities of the interaction of scientific and philosophical approaches in this area of research. A preliminary analysis of the history of philosophy and inquiries into conceptual fields revealed that, in order to reach strong relativist conclusions concerning the unity of thought and language, it is required to take as a point of departure the widest possible sense of these concepts. But in fact, such an option ends up refuting itself: pursuing the premises to their final conclusion one arrives at the restriction of relativism. The team outlined a theory of the understanding of the Other which, borrowing from analytical as well as continental-hermeneutic trends, does not underestimate, on the one hand, the difficulties of understanding between various forms of life, cultures, and languages, but, on the other hand, can provide an alternative solution to the theory of incommensurabiltiy. Within the boundary of this problematic the team studied the problems of translatability, the acquisition of the mother and foreign languages, and natural or cultural determinacy of kind terms. The team regards its most original contribution to be the association of the problem of relativism-universalism and the language-thought relation with contemporary investigations into the question of orality, literacy, and secondary orality. Their conclusion was that, although certain connections can be revealed both between forms of communication and the thesis of the unity of language and thought, and between periods in the history of communication and the predominance of relativistic or universalistic tendencies, forms of communication do not unequivocally determine the answers to these questions.

Practical, Pluggable Types for a Dynamic Language

Most languages fall into one of two camps: either they adopt a unique, static type system, or they abandon static type-checks for run-time checks. Pluggable types blur this division by (i) making static type systems optional, and (ii) supporting a choice of type systems for reasoning about different kinds of static properties. Dynamic languages can then benefit from static-checking without sacrificing dynamic features or committing to a unique, static type system. But the overhead of adopting pluggable types can be very high, especially if all existing code must be decorated with type annotations before any type-checking can be performed. We propose a practical and pragmatic approach to introduce pluggable type systems to dynamic languages. First of all, only annotated code is type-checked. Second, limited type inference is performed on unannotated code to reduce the number of reported errors. Finally, external annotations can be used to type third-party code. We present Typeplug, a Smalltalk implementation of our framework, and report on experience applying the framework to three different pluggable type systems.

Language Boxes: Bending the Host Language with Modular Language Changes

As domain-specific modeling begins to attract widespread acceptance, pressure is increasing for the development of new domain-specific languages. Unfortunately these DSLs typically conflict with the grammar of the host language, making it difficult to compose hybrid code except at the level of strings; few mechanisms (if any) exist to control the scope of usage of multiple DSLs; and, most seriously, existing host language tools are typically unaware of the DSL extensions, thus hampering the development process. Language boxes address these issues by offering a simple, modular mechanism to encapsulate (i) compositional changes to the host language, (ii) transformations to address various concerns such as compilation and highlighting, and (iii) scoping rules to control visibility of language extensions. We describe the design and implementation of language boxes, and show with the help of several examples how modular extensions can be introduced to a host language and environment.

Transactional Memory in a Dynamic Language

Concurrency control is mostly based on locks and is therefore notoriously difficult to use. Even though some programming languages provide high-level constructs, these add complexity and potentially hard-to-detect bugs to the application. Transactional memory is an attractive mechanism that does not have the drawbacks of locks, however the underlying implementation is often difficult to integrate into an existing language. In this paper we show how we have introduced transactional semantics into Smalltalk by using the reflective facilities of the language. Our approach is based on method annotations, incremental parse tree transformations and an optimistic commit protocol. The implementation does not depend on modifications to the virtual machine and therefore can be changed at the language level. We report on a practical case study, benchmarks and further and on-going work.

Law in a Linguistic Battlefield: The Language of the New State Versus the ‘Language of the Oppressors’ in Ukraine

Article 10 of the 1996 Ukrainian Constitution proclaims that “The state language of Ukraine shall be the Ukrainian language” but continues: “Free development, use, and protection of Russian and other languages of national minorities of Ukraine shall be guaranteed in Ukraine.” Consolidating the position of the state language was at the centre of the "Orange Revolution", but President Yanukovich, elected in February 2010, has committed himself to a defence of the Russian language, as a regional language of Ukraine, and the battle is on to replace the Law on Languages of the Ukrainian SSR of 1989, which is still in force. Ukraine has ratified the Council of Europe’s European Charter for Regional or Minority Languages. This article reflects on the relation between language and law, and endeavours to bring clarity to a situation which at times resembles an overheated kettle about to explode.

A genome-to-genome analysis of associations between human genetic variation, HIV-1 sequence diversity, and viral control

HIV-1 sequence diversity is affected by selection pressures arising from host genomic factors. Using paired human and viral data from 1071 individuals, we ran >3000 genome-wide scans, testing for associations between host DNA polymorphisms, HIV-1 sequence variation and plasma viral load (VL), while considering human and viral population structure. We observed significant human SNP associations to a total of 48 HIV-1 amino acid variants (p<2.4 × 10−12). All associated SNPs mapped to the HLA class I region. Clinical relevance of host and pathogen variation was assessed using VL results. We identified two critical advantages to the use of viral variation for identifying host factors: (1) association signals are much stronger for HIV-1 sequence variants than VL, reflecting the ‘intermediate phenotype’ nature of viral variation; (2) association testing can be run without any clinical data. The proposed genome-to-genome approach highlights sites of genomic conflict and is a strategy generally applicable to studies of host–pathogen interaction.

Saturday Morning Television Advertisements Aired on English and Spanish Language Networks along the Texas-Mexico Border

Objectives: The aim of this content analysis study is to characterize the TV advertisements aired to an at-risk child population along the Texas-Mexico border. Methods: We characterized the early Saturday morning TV advertisements aired by three broadcast network categories (U.S. English language, U.S. Spanish language, and Mexican Spanish language) in Spring 2010. The number, type (food related vs. non-food related), target audience, and persuasion tactics used were recorded. Advertised foods, based on nutrition content, were categorized as meeting or not meeting current dietary guidelines. Results: Most commercials were non-food related (82.7%, 397 of 480). The majority of the prepared foods (e.g., cereals, snacks, and drinks) advertised did not meet the current U.S. Dietary Guidelines. Additionally, nutrition content information was not available for many of the foods advertised on the Mexican Spanish language broadcast network category. Conclusions: For U.S. children at risk for obesity along the Texas-Mexico border exposure to TV food advertisements may result in the continuation of sedentary behavior as well as an increased consumption of foods of poor nutritional quality. An international regulatory effort to monitor and enforce the reduction of child-oriented food advertising is needed. Editors' Note: This article was submitted in response to the first issue of the Journal of Applied Research on Children: Latino Children.

Genes to blood pressure: The effects of variation in genes of the renin-angiotensin system on the hormonal and renal control of blood pressure

Objective. Essential hypertension affects 25% of the US adult population and is a leading contributor to morbidity and mortality. Because BP is a multifactorial phenotype that resists simple genetic analysis, intermediate phenotypes within the complex network of BP regulatory systems may be more accessible to genetic dissection. The Renin-Angiotensin System (RAS) is known to influence intermediate and long-term blood pressure regulation through alterations in vascular tone and renal sodium and fluid resorption. This dissertation examines associations between renin (REN), angiotensinogen (AGT), angiotensin-converting enzyme (ACE) and angiotensin II type 1 receptor (AT1) gene variation and interindividual differences in plasma hormone levels, renal hemodynamics, and BP homeostasis.^ Methods. A total of 150 unrelated men and 150 unrelated women, between 20.0 and 49.9 years of age and free of acute or chronic illness except for a history of hypertension (11 men and 7 women, all off medications), were studied after one week on a controlled sodium diet. RAS plasma hormone levels, renal hemodynamics and BP were determined prior to and during angiotensin II (Ang II) infusion. Individuals were genotyped by PCR for a variable number tandem repeat (VNTR) polymorphism in REN, and for the following restriction fragment length polymorphisms (RFLP): AGT M235T, ACE I/D, and AT1 A1166C. Associations between clinical measurements and allelic variation were examined using multiple linear regression statistical models.^ Results. Women homozygous for the AT1 1166C allele demonstrated higher intracellular levels of sodium (p = 0.044). Men homozygous for the AGT T235 allele demonstrated a blunted decrement in renal plasma flow in response to Ang II infusion (p = 0.0002). There were no significant associations between RAS gene variation and interindividual variation in RAS plasma hormone levels or BP.^ Conclusions. Rather than identifying new BP controlling genes or alleles, the study paradigm employed in this thesis (i.e., measured genes, controlled environments and interventions) may provide mechanistic insight into how candidate genes affect BP homeostasis. ^

New Philology and the Biogenetics of Texts

The discussion on the New Philology triggered by French and North American scholars in the last decade of the 20th century emphasized the material character of textual transmission inside and outside the written evidences of medieval manuscripts by downgrading the active role of the historical author. However, the reception of the ideas propagated by the New Philology adherents was rather divided. Some researchers considered it to be the result of an academic “crisis” (R.T. Pickens) or questioned its innovative status (K. Stackmann: “Neue Philologie?”); others appreciated the “new attitudes to the page” it had brought to mind (J. Bumke after R.H. and M.A, Rouse) or even saw a new era of the “powers of philology” evoked (H.-U. Gumbrecht). Besides the debates on the New Philology another concept of textual materiality strengthened in the last decade, maintaining that textual alterations somewhat relate to biogenetic mutations. In a matter of fact, phenomena such as genetic and textual variation, gene recombination and ‘contamination’ (the mixing of different exemplars in one manuscript text) share common features. The paper discusses to what extent the biogenetic concepts can be used for evaluating manifestations of textual production (as the approach of ‘critique génétique’ does) and of textual transmission (as the phylogenetic analysis of manuscript variation does). In this context yet the genealogical concept of stemmatology – the treelike representation of textual development abhorred by the New Philology adepts – might prove to be useful for describing the history of texts. The textual material to be analyzed will be drawn from the Parzival Project, which is currently preparing a new electronic edition of Wolfram von Eschenbach’s Parzival novel written shortly after 1200 and transmitted in numerous manuscripts up to the age of printing. Researches of the project have actually resulted in suggesting that the advanced knowledge of the manuscript transmission yields a more precise idea on the author’s own writing process.

Word Formation in South American Languages

This volume focuses on word formation processes in smaller and so far underrepresented indigenous languages of South America. The data for the analyses have been mainly collected in the field by the authors. The several language families described here, among them Arawakan, Takanan, and Guaycuruan, as well as language isolates, such as Yurakaré and Cholón, reflect the linguistic diversity of South America. Equally diverse are the topics addressed, relating to word formation processes like reduplication, nominal and verbal compounding, clitic compounding, and incorporation. The traditional notions of the processes are discussed critically with respect to their implementation in minor indigenous languages. The book is therefore not only of interest to readers with an Amerindian background but also to typologists and historical linguists, and it is a supplement to more theory-driven approaches to language and linguistics.

The Transmission of Manuscripts and the Genetics of Texts. A new critical edition of Wolfram von Eschenbach’s Parzival

The discussion on the New Philology triggered by French and North American scholars in the last decade of the 20th century emphasized the material character of textual transmission inside and outside the written evidences of medieval manuscripts by downgrading the active role of the historical author. However, the reception of the ideas propagated by the New Philology adherents was rather divided. Some researchers questioned its innovative status (K. Stackmann: “Neue Philologie?”), others saw a new era of the “powers of philology” evoked (H.-U. Gumbrecht). Besides the debates on the New Philology another concept of textual materiality strengthened in the last decade, maintaining that textual alterations somewhat relate to biogenetic mutations. In a matter of fact, phenomena such as genetic and textual variation, gene recombination and ‘contamination’ (the mixing of different exemplars in one manuscript text) share common features. The paper discusses to what extent the biogenetic concepts can be used for evaluating manifestations of textual production (as the approach of ‘critique génétique’ does) and of textual transmission (as the phylogenetic analysis of manuscript variation does). In this context yet the genealogical concept of stemmatology – the treelike representation of textual development abhorred by the New Philology adepts – might prove to be useful for describing the history of texts. The textual material to be analyzed will be drawn from the Parzival Project, which is currently preparing a new electronic edition of Wolfram von Eschenbach’s Parzival novel written shortly after 1200 and transmitted in numerous manuscripts up to the age of printing (www.parzival.unibe.ch). Researches of the project have actually resulted in suggesting that the advanced knowledge of the manuscript transmission yields a more precise idea on the author’s own writing process.