DSOL: a declarative approach to self-adaptive service orchestrations

Service oriented computing (SOC) has brought a simplification in the way distributed applications can be built. Mainstream approaches, however, failed to support dynamic, self-managed compositions that would empower even non-technical users to build their own orchestrations. Indeed, because of the changeable world in which they are embedded, service compositions must be able to adapt to changes that may happen at run-time. Unfortunately, mainstream SOC languages, like BPEL and BPMN, make it quite hard to develop such kind of self-adapting orchestrations. We claim that this is mostly due to the imperative programming paradigm they are based on. To overcome this limitation we propose a radically different, strongly declarative approach to model service orchestration, which is easier to use and results in more flexible and self-adapting orchestrations. An ad-hoc engine, leveraging well-known planning techniques, interprets such models to support dynamic service orchestration at run-time

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

We present AIOCJ, a framework for programming distributed adaptive applications. Applications are programmed using AIOC, a choreographic language suited for expressing patterns of interaction from a global point of view. AIOC allows the programmer to specify which parts of the application can be adapted. Adaptation takes place at runtime by means of rules, which can change during the execution to tackle possibly unforeseen adaptation needs. AIOCJ relies on a solid theory that ensures applications to be deadlock-free by construction also after adaptation. We describe the architecture of AIOCJ, the design of the AIOC language, and an empirical validation of the framework.Comment: Technical Repor

Blocking Zika virus vertical transmission.

The outbreak of the Zika virus (ZIKV) has been associated with increased incidence of congenital malformations. Although recent efforts have focused on vaccine development, treatments for infected individuals are needed urgently. Sofosbuvir (SOF), an FDA-approved nucleotide analog inhibitor of the Hepatitis C (HCV) RNA-dependent RNA polymerase (RdRp) was recently shown to be protective against ZIKV both in vitro and in vivo. Here, we show that SOF protected human neural progenitor cells (NPC) and 3D neurospheres from ZIKV infection-mediated cell death and importantly restored the antiviral immune response in NPCs. In vivo, SOF treatment post-infection (p.i.) decreased viral burden in an immunodeficient mouse model. Finally, we show for the first time that acute SOF treatment of pregnant dams p.i. was well-tolerated and prevented vertical transmission of the virus to the fetus. Taken together, our data confirmed SOF-mediated sparing of human neural cell types from ZIKV-mediated cell death in vitro and reduced viral burden in vivo in animal models of chronic infection and vertical transmission, strengthening the growing body of evidence for SOF anti-ZIKV activity

Intraneural synovial sarcoma of the median nerve

Synovial sarcomas are soft-tissue malignancies with a poor prognosis and propensity for distant metastases. Although originally believed to arise from the synovium, these tumors have been found to occur anywhere in the body. We report a rare case of synovial sarcoma arising from the median nerve. To our knowledge, this is the twelfth reported case of intraneural synovial sarcoma, and only the fourth arising from the median nerve. Because the diagnosis may not be apparent until after pathological examination of the surgical specimen, synovial sarcoma should be kept in mind when dealing with what may seem like a benign nerve tumor

Author Correction: Blocking Zika virus vertical transmission.

A correction to this article has been published and is linked from the HTML and PDF versions of this paper. The error has not been fixed in the paper

Comparative study: the effect of annealing conditions on the properties of P3HT:PCBM blends

This paper presents a detailed study on the role of various annealing treatments on organic poly(3-hexylthiophene) and [6]-phenyl-C61-butyric acid methyl ester blends under different experimental conditions. A combination of analytical tools is used to study the alteration of the phase separation, structure and photovoltaic properties of the P3HT:PCBM blend during the annealing process. Results showed that the thermal annealing yields PCBM ‘‘needle-like’’ crystals and that prolonged heat treatment leads to extensive phase separation, as demonstrated by the growth in the size and quantity of PCBM crystals. The substrate annealing method demonstrated an optimal morphology by eradicating and suppressing the formation of fullerene clusters across the film, resulting in longer P3HT fibrils with smaller diameter. Improved optical constants, PL quenching and a decrease in the P3HT optical bad-gap were demonstrated for the substrate annealed films due to the limited diffusion of the PCBM molecules. An effective strategy for determining an optimized morphology through substrate annealing treatment is therefore revealed for improved device efficiency.Web of Scienc

The Java Context Awareness Framework (JCAF) – A Service Infrastructure and Programming Framework for Context-Aware Applications

Abstract. Context-awareness is a key concept in ubiquitous computing. But to avoid developing dedicated context-awareness sub-systems for specific applica-tion areas there is a need for more generic programming frameworks. Such frame-works can help the programmer to develop and deploy context-aware applications faster. This paper describes the Java Context-Awareness Framework – JCAF, which is a Java-based context-awareness infrastructure and programming API for creating context-aware computer applications. The paper presents the design principles behind JCAF, its runtime architecture, and its programming API. The paper presents some applications of using JCAF in three different applications and discusses lessons learned from using JCAF.