On interoperability and conformance assessment in service composition

The process of composing a service from other services typically involves multiple models. These models may represent the service from distinct perspectives, e.g., to model the different roles of systems involved in the service, and at distinct abstraction levels, e.g., to model the service’s capability, interface or the orchestration that implements the service. The consistency among these models needs to be maintained in order to guarantee the correctness of the composition process. Two types of consistency relations are distinguished: interoperability, which concerns the ability of different roles to interoperate, and conformance, which concerns the correct implementation of an abstract model by a more concrete model. This paper discusses the need for and use of techniques to assess interoperability and conformance in a service composition process. The paper shows how these consistency relations can be described and analysed using concepts from the COSMO framework. Examples are presented to illustrate how interoperability and conformance can be assessed

Reasoning about Action: An Argumentation - Theoretic Approach

We present a uniform non-monotonic solution to the problems of reasoning about action on the basis of an argumentation-theoretic approach. Our theory is provably correct relative to a sensible minimisation policy introduced on top of a temporal propositional logic. Sophisticated problem domains can be formalised in our framework. As much attention of researchers in the field has been paid to the traditional and basic problems in reasoning about actions such as the frame, the qualification and the ramification problems, approaches to these problems within our formalisation lie at heart of the expositions presented in this paper

Isolated effective coherence (iCoh): causal information flow excluding indirect paths

A problem of great interest in real world systems, where multiple time series measurements are available, is the estimation of the intra-system causal relations. For instance, electric cortical signals are used for studying functional connectivity between brain areas, their directionality, the direct or indirect nature of the connections, and the spectral characteristics (e.g. which oscillations are preferentially transmitted). The earliest spectral measure of causality was Akaike's (1968) seminal work on the noise contribution ratio, reflecting direct and indirect connections. Later, a major breakthrough was the partial directed coherence of Baccala and Sameshima (2001) for direct connections. The simple aim of this study consists of two parts: (1) To expose a major problem with the partial directed coherence, where it is shown that it is affected by irrelevant connections to such an extent that it can misrepresent the frequency response, thus defeating the main purpose for which the measure was developed, and (2) To provide a solution to this problem, namely the "isolated effective coherence", which consists of estimating the partial coherence under a multivariate auto-regressive model, followed by setting all irrelevant associations to zero, other than the particular directional association of interest. Simple, realistic, toy examples illustrate the severity of the problem with the partial directed coherence, and the solution achieved by the isolated effective coherence. For the sake of reproducible research, the software code implementing the methods discussed here (using lazarus free-pascal "www.lazarus.freepascal.org"), including the test data as text files, are freely available at: https://sites.google.com/site/pascualmarqui/home/icoh-isolated-effective-coherenceComment: 2014-02-21 pre-print, technical report, KEY Institute for Brain-Mind Research, University of Zurich, et a

Possible experimental signatures at the LHC of strongly interacting electro-weak symmetry breaking

If electro-weak symmetry is broken by a new strongly interacting sector, new physics will probably manifest itself in gauge boson scattering at the LHC. The relevant dynamics is well described in terms of an effective lagrangian. We discuss the probable size of the coefficients of the relevant operators under a combination of model-independent constraints and reasonable assumptions based on two models of the strongly interacting sector. We compare these values with LHC sensitivity and argue that they will be too small to be seen. Therefore, the presence of vector and scalar resonances required by unitarity will be the only characteristic signature. We analyze the most likely masses and widths of these resonances.Comment: 14 pages, pdftex, 5 figures, improved discussion of bounds, 1 footnote remove

Beyond Covariation: Cues to Causal Structure

Causal induction has two components: learning about the structure of causal models and learning about causal strength and other quantitative parameters. This chapter argues for several interconnected theses. First, people represent causal knowledge qualitatively, in terms of causal structure; quantitative knowledge is derivative. Second, people use a variety of cues to infer causal structure aside from statistical data (e.g. temporal order, intervention, coherence with prior knowledge). Third, once a structural model is hypothesized, subsequent statistical data are used to confirm, refute, or elaborate the model. Fourth, people are limited in the number and complexity of causal models that they can hold in mind to test, but they can separately learn and then integrate simple models, and revise models by adding and removing single links. Finally, current computational models of learning need further development before they can be applied to human learning

Understanding the origins and pace of Africa’s urban transition

In this paper the author argues that urbanisation should be understood as a global historical process driven primarily by population dynamics stimulated by technological and institutional change. In particular, disease control and expanded access to surplus energy supplies are necessary and sufficient conditions for urbanisation to occur given historical evidence of an inherent human propensity to agglomerate. Economic development, which has traditionally been viewed as the primary driving force behind urbanisation, can accelerate the process but is not a necessary condition for it to occur. Informed by this historically-grounded theory of urbanisation, a range of qualitative and quantitative evidence is used to explain the stylised facts of sub-Saharan Africa's urban transition, namely the late onset of urbanisation in Africa vis-a-vis other major world regions, the widely noted but inadequately explained phenomenon of 'urbanisation without growth' observed in Africa in the 1980s and 1990s, and the historically unprecedented rates of urban population growth seen in the region throughout the late twentieth century