In this paper, I will argue for the relevance of certain distinctive features of messaging systems, namely those in which data can be sent and received asynchronously, can be sent to multiple simultaneous recipients and is received as a “potentially infinite” flow of unpredictable events. I will describe the social technology of the stock ticker, a telegraphic device introduced at the New York Stock Exchange in the 1860s, with reference to early twentieth century philosophers of synchronous experience, simultaneous sign interpretations, (...) and flows of discrete events. Then, I will show how the ticker’s data flows developed into the 1990s-era technologies of message queues and message brokers, which distinguished themselves through their asynchronous implementation of ticker-like message feeds sent between otherwise incompatible computers and terminals. These latter systems’ characteristic “publish/subscribe” communication pattern was one in which conceptually centralized flows of messages would be “published,” and for which “subscribers” would be spontaneously notified when events of interest occurred. This paradigm—common to the so-called “message-oriented middleware” systems of the late 1990s—would re-emerge in different asynchronous distributed system contexts over the following decades, from “push media” to Twitter to the Internet of Things. (shrink)

Ontologies formally represent reality in a way that limits ambiguity and facilitates automated reasoning and data fusion, but is often daunting to the non-technical user. Thus, many researchers have endeavored to hide the formal syntax and semantics of ontologies behind the constructs of Controlled Natural Languages (CNLs), which retain the formal properties of ontologies while simultaneously presenting that information in a comprehensible natural language format. In this paper, we build upon previous work in this field by evaluating prospects of implementing (...) International Technology Alliance Controlled English (ITACE) as a middleware for ontology editing. We also discuss at length a prototype of a natural language conversational interface application designed to facilitate ontology editing via the formulation of CNL constructs. (shrink)

Accessing knowledge of a single knowledge source with different client applications often requires the help of mediator systems as middleware components. In the domain of theorem proving large efforts have been made to formalize knowledge for mathematics and verification issues, and to structure it in databases. But these databases are either specialized for a single client, or if the knowledge is stored in a general database, the services this database can provide are usually limited and hard to adjust for (...) a particular theorem prover. Only recently there have been initiatives to flexibly connect existing theorem proving systems into networked environments that contain large knowledge bases. An intermediate layer containing both, search and proving functionality can be used to mediate between the two. In this paper we motivate the need and discuss the requirements for mediators between mathematical knowledge bases and theorem proving systems. We also present an attempt at a concurrent mediator between a knowledge base and a proof planning system. (shrink)

Ambient assisted living systems are based on sensors and actuators, with a diversity of network protocols and vendors. This commonly leads to the introduction of gateways or middlewares into the technical infrastructure in order to address interoperability issues. The xAAL framework presented in this paper aims to provide interoperability and to redesign such “gateways” into well-defined functional entities communicating with each other via a lightweight message bus over IP. Each entity may have multiple instances, may be shared between several boxes, (...) and may be physically located in any box. Thanks to the distributed architecture of the system, each home automation vendor may peacefully provide its own xAAL box without revealing details of its technology. Also, several applications may be plugged together on the xAAL bus without getting bored with underlying heterogeneity. Moreover, the management of the dynamicity allows sensors or applications to enter and leave the system at any time. (shrink)

Data Transfer Service (DTS) is an open-source project that is developing a document-centric message model for describing a bulk data transfer activity, with an accompanying set of loosely coupled and platform-independent components for brokering the transfer of data between a wide range of (potentially incompatible) storage resources as scheduled, fault-tolerant batch jobs. The architecture scales from small embedded deployments on a single computer to large distributed deployments through an expandable ‘worker-node pool’ controlled through message-orientated middleware. Data access and transfer (...) efficiency are maximized through the strategic placement of worker nodes at or between particular data sources/sinks. The design is inherently asynchronous, and, when third-party transfer is not available, it side-steps the bandwidth, concurrency and scalability limitations associated with buffering bytes directly through intermediary client applications. It aims to address geographical–topological deployment concerns by allowing service hosting to be either centralized (as part of a shared service) or confined to a single institution or domain. Established design patterns and open-source components are coupled with a proposal for a document-centric and open-standards-based messaging protocol. As part of the development of the message protocol, a bulk data copy activity document is proposed for the first time. (shrink)

Large software systems are modularized in order to improve manageability. The parts of a software system communicate in order to achieve the desired functionality. To better understand, develop, manage, and maintain the resulting complexity, this paper presents a framework of ontologies. The ontologies range from very general, foundational ones to ontologies that elucidate the specificities of particular modularization and communication paradigms. We support two specific paradigms. First, we define an ontology for software components that may be used in traditional (...) class='Hi'>middleware architectures, e.g., application servers. Second, we specify an ontology for Web services. Through the reuse of existing foundational ontologies and our new Core Software Ontology, our proposal offers several advantages. In particular, it avoids the typical shortcomings related approaches exhibit and it allows for the concise definition of commonalities and differences of the two paradigms. (shrink)

Cet article analyse le rôle croissant, la signification et la fonction d’une couche logicielle intermédiaire : les intergiciels en tant que technologie de base dans un environnement en évolution rapide. Il montre leur rôle clé dans une nouvelle ère de moteurs modulaires.This article analyses the increasing role, significance and function of “middleware”, the intermediate software layer that drives interactive gaming, as a fundamental technology in a rapidly evolving environment, to illustrate its key role in the new age of modular (...) game engines. (shrink)

Recent trends towards an e-Science offer us the opportunity to think about the specific epistemological changes created by computational empowerment in scientific practices. In fact, we can say that a computational epistemology exists that requires our attention. By ‘computational epistemology’ I mean the computational processes implied or required to achieve human knowledge. In that category we can include AI, supercomputers, expert systems, distributed computation, imaging technologies, virtual instruments, middleware, robotics, grids or databases. Although several authors talk about the extended (...) mind and computational extensions of the human body, most of these proposals don’t analyze the deep epistemological implications of computer empowerment in scientific practices. At the same time, we must identify the principal concept for e-Science: Information . Why should we think about a new epistemology for e-Science? Because several processes exist around scientific information that require a good epistemological model to be understood. (shrink)

The browser wars case is a useful springboard for considering the principle of positive competition and the proper regulation of platform technologies. There are lessons to be culled about policy, the application of antitrust law, and the parameters of fair competition. We argue that despite Microsofts opportunistic exploitation of its proprietary code, policy makers should resist the temptation to mandate an open source code model. Vigilant anti-trust enforcement is a preferable alternative. But courts must refrain from using antitrust law to (...) favor small innovators or to constrain the economic protections inherent in intellectual property rights, since those rights are still needed to encourage innovation. On the other hand, despite the exigencies of competition, platform leaders should respect the norm of fair competition and refrain from the impulse to tilt the platform in their favor. Preservation of robust intellectual property rights, deft application of antitrust statutes, and principled competition represent the best prescription for social wealth in the New Economy. (shrink)