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.

The Art of Aidagara: Ethics, Aesthetics, and the Quest for an Ontology of Social Existence in Watsuji Tetsurō’s Rinrigaku

This paper provides an analysis of the key term aidagara (“betweenness”) in the philosophical ethics of Watsuji Tetsurō (1889-1960), in response to and in light of the recent movement in Japanese Buddhist studies known as “Critical Buddhism.” The Critical Buddhist call for a turn away from “topical” or intuitionist thinking and towards (properly Buddhist) “critical” thinking, while problematic in its bipolarity, raises the important issue of the place of “reason” versus “intuition” in Japanese Buddhist ethics. In this paper, a comparison of Watsuji’s “ontological quest” with that of Martin Heidegger (1889-1976), Watsuji’s primary Western source and foil, is followed by an evaluation of a corresponding search for an “ontology of social existence” undertaken by Tanabe Hajime (1885-1962). Ultimately, the philosophico-religious writings of Watsuji Tetsurō allow for the “return” of aesthesis as a modality of social being that is truly dimensionalized, and thus falls prey neither to the verticality of topicalism nor the limiting objectivity of criticalism.

Córdoban Discourses: A Drama of Interreligious Dialogue

SETTING: Cordoba, Spain, 1135 CE, 29th year of the reign of ‘Ali “amir al-muslimin,” second king of the Berber Almoravid dynasty, rulers of Moorish Spain from 1071 to 1147. Cordoba, the capital of Andalus and the center of the Almoravid holdings in Spain, is a bustling cosmopolitan center, a crossroads for Europe and the Middle East, and the meeting-point of three religious traditions. Most significantly, Cordoba at this time is the hub of European intellectual activity. From the square—itself impressively large and surrounded by a massive collonade, the regularity and ordered beauty of which typifies the Moorish taste for symmetry (so beloved of M.C. Escher)—can be seen the huge Cordoban mosque, erected in the 8th-century by Khalif Abd-er-Rahman I to the glory of Allah, oft forgiving, most merciful. It is the second largest building in Islam, and the bastion of the still entrenched but soon to fade Muslim presence in western Europe. SCENE: Three figures sit upon stone benches beneath the westernmost colonnade of the Cordoban mosque, involved in an animated, though friendly discussion on matters of faith and reason, knowledge and God, language and logic. The host is none other than Jehudah Halevi, and his esteemed guests Master Peter Abelard and the venerable Råmånuja, whose obviously advanced age belies his youthful voice, gleaming eye, quick hands, and general exuberance. It is autumn, early evening…

A Blueprint for Buddhist Revolution: The Radical Buddhism of Seno’o Girō (1889–1961) and the Youth League for Revitalizing Buddhism

In the early decades of the twentieth century, as Japanese society became engulfed in war and increasing nationalism, the majority of Buddhist leaders and institutions capitulated to the status quo. One notable exception to this trend, however, was the Shinkō Bukkyō Seinen Dōmei (Youth League for Revitalizing Buddhism), founded on 5 April 1931. Led by Nichiren Buddhist layman Seno’o Girō and made up of young social activists who were critical of capitalism, internationalist in outlook, and committed to a pan-sectarian and humanist form of Buddhism that would work for social justice and world peace, the league’s motto was “carry the Buddha on your backs and go out into the streets and villages.” This article analyzes the views of the Youth League for Revitalizing Buddhism as found in the religious writings of Seno’o Girō to situate the movement in its social and philosophical context, and to raise the question of the prospects of “radical Buddhism” in twenty-first century Japan and elsewhere.

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.

Education and Ideologies of the Knowledge Economy: Europe and the Politics of Emulation

The Austrian philosopher Ludwig Wittgenstein famously proposed a style of philosophy that was directed against certain pictures [bild] that tacitly direct our language and forms of life. His aim was to show the fly the way out of the fly bottle and to fight against the bewitchment of our intelligence by means of language: “A picture held us captive. And we could not get outside it, for it lay in our language and language seemed to repeat it to us inexorably” (Wittgenstein 1953, 115). In this context Wittgenstein is talking of philosophical pictures, deep metaphors that have structured our language but he does also use the term picture in other contexts (see Owen 2003, 83). I want to appeal to Wittgenstein in my use of the term ideology to refer to the way in which powerful underlying metaphors in neoclassical economics have a strong rhetorical and constitutive force at the level of public policy. Indeed, I am specifically speaking of the notion of ‘the performative’ in Wittgenstein and Austin. The notion of the knowledge economy has a prehistory in Hayek (1937; 1945) who founded the economics of knowledge in the 1930s, in Machlup (1962; 1970), who mapped the emerging employment shift to the US service economy in the early 1960s, and to sociologists Bell (1973) and Touraine (1974) who began to tease out the consequences of these changes for social structure in the post-industrial society in the early 1970s. The term has been taken up since by economists, sociologists, futurists and policy experts recently to explain the transition to the so-called ‘new economy’. It is not just a matter of noting these discursive strands in the genealogy of the ‘knowledge economy’ and related or cognate terms. We can also make a number of observations on the basis of this brief analysis. First, there has been a succession of terms like ‘postindustrial economy’, ‘information economy’, ‘knowledge economy’, ‘learning economy’, each with a set of related concepts emphasising its social, political, management or educational aspects. Often these literatures are not cross-threading and tend to focus on only one aspect of phenomena leading to classic dichotomies such as that between economy and society, knowledge and information. Second, these terms and their family concepts are discursive, historical and ideological products in the sense that they create their own meanings and often lead to constitutive effects at the level of policy. Third, while there is some empirical evidence to support claims concerning these terms, at the level of public policy these claims are empirically underdetermined and contain an integrating, visionary or futures component, which necessarily remains untested and is, perhaps, in principle untestable.

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.

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.

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.

Introduction: Sociolinguistics and tourism - mobilities, markets, multilingualism

In the introduction to this special issue on Sociolinguistics and Tourism, we focus on language in tourism as an important window into contemporary forms of economic, political, and social change. Our aim is twofold: (1) to establish and extend ‘sociolinguistics and tourism’ as another social and applied domain of sociolinguistic research; and (2) to use tourism as a lens for a broader discussion of the sociolinguistics of late modernity. To this end, we outline the contours of language and tourism research to date; we consider the (re)conceptualization of key thematics or notions in sociolinguistic research – such as ‘community’, ‘identity’, and ‘language’ itself – as particularly germane to the study of tourism's fleeting encounters; we examine the inevitable tensions between commodification and authenticity; and we explore the links between performances of ‘self’ and ‘other’, and the contestation of different identity positions with regard to social actors’ multilingual repertoires. We illustrate these issues with data examples from several tourist sites, where multilingual resources are deployed for identification, authentication and commodification. Finally, we briefly introduce the papers in this special issue and conclude by commenting on some sociolinguistic consequences of the study of language/s in tourism.