Model-Based Adaptation of Software Communicating via FIFO Buffers

Software Adaptation is a non-intrusive solution for composing black-box components or services (peers) whose individual functionality is as required for the new system, but that present interface mismatch, which leads to deadlock or other undesirable behaviour when combined. Adaptation techniques aim at automatically generating new components called adapters. All the interactions among peers pass through the adapter, which acts as an orchestrator and makes the involved peers work correctly together by compensating for mismatch. Most of the existing solutions in this field assume that peers interact synchronously using rendezvous communication. However, many application areas rely on asynchronous communication models where peers interact exchanging messages via buffers. Generating adapters in this context becomes a difficult problem because peers may exhibit cyclic behaviour, and their composition often results in infinite systems. In this paper, we present a method for automatically generating adapters in asynchronous environments where peers interact using FIFO buffers.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Handling Data-Based Concurrency in Context-Aware Service Protocols

Dependency analysis is a technique to identify and determine data dependencies between service protocols. Protocols evolving concurrently in the service composition need to impose an order in their execution if there exist data dependencies. In this work, we describe a model to formalise context-aware service protocols. We also present a composition language to handle dynamically the concurrent execution of protocols. This language addresses data dependency issues among several protocols concurrently executed on the same user device, using mechanisms based on data semantic matching. Our approach aims at assisting the user in establishing priorities between these dependencies, avoiding the occurrence of deadlock situations. Nevertheless, this process is error-prone, since it requires human intervention. Therefore, we also propose verification techniques to automatically detect possible inconsistencies specified by the user while building the data dependency set. Our approach is supported by a prototype tool we have implemented.Comment: In Proceedings FOCLASA 2010, arXiv:1007.499

Heavy quark mass effects in parton-to-kaon hadronization probabilities

We examine the relevance of the heavy quarks masses in the perturbative QCD description of hard interactions where charged kaons are produced in the final state. We extract a set of parton-to-kaon hadronization probabilities from a next to leading order QCD global analysis where a general mass variable flavor number scheme accounting for mass effects is implemented. We compare the results with those obtained in the massless approximation and also with those found in the case of final state pions. At variance with the very significant improvement found for the much more precise pion fragmentation phenomenology, the heavy quark mass dependent scheme improves mildly the overall description of current kaon production data. Nevertheless, we find a noticeable reduction in the charm-to-kaon hadronization probability.Fil: Epele, Manuel. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Física de Buenos Aires. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Física de Buenos Aires; ArgentinaFil: García Canal, Carlos Alberto. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Física de Buenos Aires. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Física de Buenos Aires; ArgentinaFil: Sassot, Rodolfo. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Física de Buenos Aires. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Física de Buenos Aires; Argentin

Nuclear and partonic dynamics in the EMC effect

It has been recently confirmed that the magnitude of the EMC effect measured in electron deep inelastic scattering is linearly related to the Short Range Correlation scaling factor obtained from electron inclusive scattering. By using a $x$-rescaling approach we are able to understand the interplay between the quark-gluon and hadronic degrees of freedom in the discussion of the EMC effect.Comment: 5 pages, 6 figures, 2 table. We have incorporated SLAC data and redone the calculation with the newest ROOT 5.3

Adaptation of Asynchronously Communicating Software

International audienceSoftware adaptation techniques aim at generating new components called adapters, which make a set of services work correctly together by compensating for existing mismatch. Most approaches assume that services interact synchronously using rendez-vous communication. In this paper, we focus on asynchronous communication, where services interact exchanging messages via buffers. We overview a method for automatically generating adapters in such asynchronous environments

HERA has been closed, LHC is being opened: near past and near future of particle physics

A general account of the experimental results of the recently closed DESY-HERA accelerator and a presentation of the physics expected to be revealed by the LHC-CERN accelerator, beginning to deliver data in less than one year, is provided. An analysis of the impact of this information on the theoretical developments is included.Facultad de Ciencias Exacta

On the P′ Regge Singularity

Usually, vacuum quantum number exchange is parametrized in terms of the socalled P and P' trajectories. We recall that P' is associated to the exchange corresponding to thef0 (1260) meson, built from direct channel resonances in the dual sense. In this note we want to critically review the main phenomenological results concerning P' and present some arguments showing that this singularity may not be considered on an equal footing with the ordinary Regge trajectories, i.e., p, (J), etc.Facultad de Ciencias Exacta

Components Interoperability through Mediating Connector Patterns

A key objective for ubiquitous environments is to enable system interoperability between system's components that are highly heterogeneous. In particular, the challenge is to embed in the system architecture the necessary support to cope with behavioral diversity in order to allow components to coordinate and communicate. The continuously evolving environment further asks for an automated and on-the-fly approach. In this paper we present the design building blocks for the dynamic and on-the-fly interoperability between heterogeneous components. Specifically, we describe an Architectural Pattern called Mediating Connector, that is the key enabler for communication. In addition, we present a set of Basic Mediator Patterns, that describe the basic mismatches which can occur when components try to interact, and their corresponding solutions.Comment: In Proceedings WCSI 2010, arXiv:1010.233

HERA has been closed, LHC is being opened: near past and near future of particle physics

A general account of the experimental results of the recently closed DESY-HERA accelerator and a presentation of the physics expected to be revealed by the LHC-CERN accelerator, beginning to deliver data in less than one year, is provided. An analysis of the impact of this information on the theoretical developments is included.Facultad de Ciencias Exacta