Quantitative analysis of reo- based service coordination

Quality of Service analysis of composed software systems is an active research area, with the goal of evaluating and improving performance and resource allocation in serviceoriented applications, namely, in the glue code –coordination layer– of such systems. Stochastic Reo offers constructs for service coordination and allows the specification of stochastic values for channels. But its state-of-the-art semantic models fail in several (important) ways. In this paper, we will see how Interactive Markov chains (IMC), proposed as astochastic compositional model of concurrency, can be effectively used to serve as a compositional semantic model for Stochastic Reo. Treating IMC as a direct semantic model, gives rise to more faithful models and has obvious efficiency advantages. Moreover, tool support that exists for IMC is made available, without significant effort, to verify and reason about the coordination layer modelled as Reo connectors.(undefined

Robustness in Interaction Systems

We treat the effect of absence/failure of ports or components on properties of component-based systems. We do so in the framework of interaction systems, a formalism for component-based systems that strictly separates the issues of local behavior and interaction, for which ideas to establish properties of systems where developed. We propose to adapt these ideas to analyze how the properties behave under absence or failure of certain components or merely some ports of components. We demonstrate our approach for the properties local and global deadlock-freedom as well as liveness and local progress

Private trade and monopoly structures : the East India Companies and the commodity trade to Europe in the eighteenth century

Our research is about the trade in material goods from Asia to Europe over this period, and its impact on Europe’s consumer and industrial cultures. It entails a comparative study of Europe’s East India Companies and the private trade from Asia over the period. The commodities trade was heavily dependent on private trade. The historiography to date has left a blind spot in this area, concentrating instead on corruption and malfeasance. Taking a global history approach we investigate the trade in specific consumer goods in many qualities and varieties that linked merchant communities and stimulated information flows. We set out how private trade functioned alongside and in connection with the various European East India companies; we investigate how this changed over time, how it drew on the Company infrastructure, and how it took the risks and developed new and niche markets for specific Asian commodities that the Companies could not sustain

Die Isopoden der Siboga-Expedition. IV Isopoda Genuina. III. Gnathiidea, Anthuridea, Valvifera, Asellota, Phreatocoidea

Volume: 32dStart Page: 235End Page: 30

Die Isopoden der Siboga-Expedition.

pt.1 (1913

Die Isopoden der Siboga-Expedition.

pt.4 (1941