Analysis and Verification of Service Interaction Protocols - A Brief Survey

Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing. Composing Web services is a complicated task which requires techniques and tools to verify that the new system will behave correctly. In this paper, we first overview some formal models proposed in the literature to describe services. Second, we give a brief survey of verification techniques that can be used to analyse services and their interaction. Last, we focus on the realizability and conformance of choreographies.Comment: In Proceedings TAV-WEB 2010, arXiv:1009.330

Ab initio investigation of lattice dynamics of fluoride scheelite LiYF4

We report on the phonon dynamics of LiYF4 obtained by direct method using first principle calculations. The agreement between experimental and calculated modes is satisfactory. An inversion between two Raman active modes is noticed compared to inelastic neutron scattering and Raman measurements. The atomic displacements corresponding to these modes are discussed. Multiple inversions between Raman and infrared active groups are present above 360 cm-1. The total and partial phonon density of state is also calculated and analyzed

DFT study of pressure induced phase transitions in LiYF4

An investigation of the pressure induced phase transition from the scheelite phase (I41/a, Z=4) to the fergusonite-like phase (I2/a, Z=4)/LaTaO(P21/c, Z=4) of LiYF4 is presented. Employing density functional theory (DFT) within the generalized gradient approximation, the internal degrees of freedom were relaxed for a pressure range of 0 GPa to 20 Gpa. The influence of pressure on the lattice vibration spectrum of the scheelite phase (I41/a, Z=4) was evaluated using the direct approach, i.e. using force constants calculated from atomic displacements. The transition volume is in good agreement with experiment, while the transition pressure is overestimated of 6 GPa. At 20 GPa, a P21/c structure with apentacoordinated lithium cation is found to be the most stable phase. This structure is compatible with a transition driven by a Bg zone-center soft optic mode linked to a soft-acoustic mode along the [11-1] direction as observed for the proper ferroelastic transition of BiVO4

Explicit connection actions in multiparty session types

This work extends asynchronous multiparty session types (MPST) with explicit connection actions to support protocols with op- tional and dynamic participants. The actions by which endpoints are connected and disconnected are a key element of real-world protocols that is not treated in existing MPST works. In addition, the use cases motivating explicit connections often require a more relaxed form of mul- tiparty choice: these extensions do not satisfy the conservative restric- tions used to ensure safety in standard syntactic MPST. Instead, we de- velop a modelling-based approach to validate MPST safety and progress for these enriched protocols. We present a toolchain implementation, for distributed programming based on our extended MPST in Java, and a core formalism, demonstrating the soundness of our approach. We discuss key implementation issues related to the proposed extensions: a practi- cal treatment of choice subtyping for MPST progress, and multiparty correlation of dynamic binary connections

Multilevel Contracts for Trusted Components

This article contributes to the design and the verification of trusted components and services. The contracts are declined at several levels to cover then different facets, such as component consistency, compatibility or correctness. The article introduces multilevel contracts and a design+verification process for handling and analysing these contracts in component models. The approach is implemented with the COSTO platform that supports the Kmelia component model. A case study illustrates the overall approach.Comment: In Proceedings WCSI 2010, arXiv:1010.233

Low-cost electrochemical detection of arsenic in the groundwater of Guanajuato state, central Mexico using an open-source potentiostat

Arsenic is a carcinogenic groundwater contaminant that is toxic even at the parts-per-billion (ppb) level and its on-site determination remains challenging. Colorimetric test strips, though cheap and widely used, often fail to give reliable quantitative data. On the other hand, electrochemical detection is sensitive and accurate but considerably more expensive at the onset. Here, we present a study on arsenic detection in groundwater using a low-cost, open-source potentiostat based on Arduino technology. We tested different types of gold electrodes (screen-printed and microwire) with anodic stripping voltammetry (ASV), achieving low detection limits (0.7 μg L-1). In a study of arsenic contaminated groundwaters in Mexico, the microwire technique provides greater accuracy than test strips (reducing the median error from -50% to +2.9%) and greater precision (reducing uncertainties from ±25% to ±4.9%). Most importantly, the rate of false negatives versus the World Health Organisation’s 10 μg L-1 limit was reduced from 50% to 0% (N = 13 samples). Arsenic determination using open-source potentiostats may offer a low-cost option for research groups and NGOs wishing to perform arsenic analysis in-house, yielding superior quantitative data than the more widely used colorimetric test strips

Simple and Rapid Voltammetric Method Using a Gold Microwire Electrode to Measure Inorganic Arsenic in Holopelagic <i>Sargassum</i> (Fucales, Phaeophyceae)

The valorization of massive strandings of holopelagic Sargassum spp. is strongly limited by high levels of inorganic arsenic (Asi) that are potentially above the limit of current regulations. Monitoring Asi in algal biomass is currently achieved using standard chromatographic separation followed by spectroscopic detection. Here, we propose an alternative simpler procedure based on the extraction of Asi from the freeze-dried algal powder in deionized water and the electroanalytical detection of the diluted extract at a gold-microwire electrode. The protocol was optimized both in terms of extraction (powder/water ratio, extraction time, temperature) and electrolyte used for the voltammetric detection. Two electrolytes were tested: one composed of citric acid, sulfamic acid and KCl (pH 2.0) and another composed of an acetate buffer (pH 4.7) and NaCl. We demonstrate here that Asi determination is possible with the first electrolyte but it is necessary to deal with a relative unstable signal. Measurement of Asi was best achieved with the second electrolyte (acetate buffer and NaCl) with the following optimized electrochemical conditions: deposition potential of −1.2 V, deposition time of 30 seconds and linear scan voltammetry. Voltammetric results were then compared to a reference method (HPLC-ICP-MS) using different morphotypes of holopelagic Sargassum spp. (S. natans VIII, S. natans I and S. fluitans III), using commercial extracts of brown seaweeds and using a Hijiki certified reference material. Very good agreement was obtained between our novel method and HPLC-ICP-MS. Both methods show that inorganic arsenic is almost entirely present as As(V) in Sargassum spp. extracts

Portable and rapid arsenic speciation in synthetic and natural waters by an As(V)-selective chemisorbent, validated against anodic stripping voltammetry

Inorganic arsenic speciation, i.e. the differentiation between arsenite and arsenate, is an important step for any program aiming to address the global issue of arsenic contaminated groundwater, whether for monitoring purposes or the development of new water treatment regimes. Reliable speciation by easy-to-use, portable and cost-effective analytical techniques is still challenging for both synthetic and natural waters. Here we demonstrate the first application of an As(V)-selective chemisorbent material for simple and portable speciation of arsenic using handheld syringes, enabling high sample throughput with minimal set-up costs. We first show that ImpAs efficiently removes As(V) from a variety of synthetic groundwaters with a single treatment, whilst As(III) is not retained. We then exemplify the potential of ImpAs for simple and fast speciation by determining rate constants for the photooxidation of As(III) in presence of a TiO2 photocatalyst. Finally, we successfully speciate natural waters spiked with a mix of As(III) and As(V) in both Indian and UK groundwaters with less than 5 mg L−1 dissolved iron. Experimental results using ImpAs agreed with anodic stripping voltammetry (ASV), a benchmark portable technique, with analysis conditions optimised here for the groundwaters of South Asia. This new analytical tool is simple, portable and fast and should find applications within the overall multi-disciplinary remediation effort that is taking place to tackle this worldwide arsenic problem

Molecular Recognition and Scavenging of Arsenate from Aqueous Solution Using Dimetallic Receptors

Abstract: A series of copper(II), nickel(II) and zinc(II) dimetallic complexes were prepared and their affinities towards arsenate investigated. Indicator displacement assays (IDAs) were carried out to establish the complexes with best affinities towards arsenate. A di-zinc complex (3) was selected and its arsenate-binding abilities investigated by isothermal titration calorimetry (ITC). The X-ray crystal structure of this metallo-receptor bound to arsenate is also reported, which allowed us to establish the binding mode between 3 and this oxyanion. Immobilising 3 onto HypoGel resin yielded a novel adsorbent (Zn-HypoGel) with high affinity for arsenate. Adsorption of arsenate from competitive solutions and natural groundwater was greater than that of the commercially used iron oxide Bayoxide E33. Zn-HypoGel could be efficiently and simply regenerated by washing with sodium acetate solution