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

Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability

One of the main open research issues in Service Oriented Computing is to propose automated techniques to analyse service interfaces. A first problem, called compatibility, aims at determining whether a set of services (two in this paper) can be composed together and interact with each other as expected. Another related problem is to check the substitutability of one service with another. These problems are especially difficult when behavioural descriptions (i.e., message calls and their ordering) are taken into account in service interfaces. Interfaces should capture as faithfully as possible the service behaviour to make their automated analysis possible while not exhibiting implementation details. In this position paper, we choose Labelled Transition Systems to specify the behavioural part of service interfaces. In particular, we show that internal behaviours (tau transitions) are necessary in these transition systems in order to detect subtle errors that may occur when composing a set of services together. We also show that tau transitions should be handled differently in the compatibility and substitutability problem: the former problem requires to check if the compatibility is preserved every time a tau transition is traversed in one interface, whereas the latter requires a precise analysis of tau branchings in order to make the substitution preserve the properties (e.g., a compatibility notion) which were ensured before replacement.Comment: In Proceedings WCSI 2010, arXiv:1010.233

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

Toward a better understanding of tool wear effect through a comparison between experiments and SPH numerical modelling of machining hard materials

The aim of this study is to improve the general understanding of tungsten carbide (WC–Co) tool wear under dry machining of the hard-to-cut titanium alloy Ti6Al4V. The chosen approach includes experimental and numerical tests. The experimental part is designed to identify wear mechanisms using cutting force measurements, scanning electron microscope observations and optical profilometer analysis. Machining tests were conducted in the orthogonal cutting framework and showed a strong evolution of the cutting forces and the chip profiles with tool wear. Then, a numerical method has been used in order to model the machining process with both new and worn tools. The use of smoothed particle hydrodynamics model (SPH model) as a numerical tool for a better understanding of the chip formation with worn tools is a key aspect of this work. The redicted chip morphology and the cutting force evolution with respect to the tool wear are qualitatively compared with experimental trends. The chip formation mechanisms during dry cutting process are shown to be quite dependent from the worn tool geometry. These mechanisms explain the high variation of the experimental and numerical feed force between new and worn tools

Plant extract enhances the viability of Lactobacillus delbrueckii subsp. bulgaricus and Lactobacillus acidophilus in probiotic nonfat yogurt

Citation: Michael, M., Phebus, R. K., & Schmidt, K. A. (2015). Plant extract enhances the viability of Lactobacillus delbrueckii subsp. bulgaricus and Lactobacillus acidophilus in probiotic nonfat yogurt. Food Science & Nutrition, 3(1), 48-55. doi:10.1002/fsn3.189A commercial plant extract (prepared from olive, garlic, onion and citrus extracts with sodium acetate (SA) as a carrier) was evaluated to extend the viability of yogurt starter and probiotic bacteria as a means to enhance the shelf life of live and active culture, probiotic nonfat yogurt. Yogurts prepared from three different formulas (0.5% plant extract, 0.25% SA, or no supplement) and cultures (yogurt starter plus Bifidobacterium animalis, Lactobacillus acidophilus, or both probiotics) were assessed weekly during 29 days of storage at 5 degrees C. Supplemented yogurt mixes had greater buffering capacities than non-supplemented yogurt mixes. At the end of storage, Lactobacillus bulgaricus and L. acidophilus counts in supplemented yogurts were greater compared with non-supplemented yogurts. Supplementation did not affect Streptococcus thermophilus and B. animalis counts. Hence the greater buffering capacity of yogurt containing plant extract could enhance the longevity of the probiotics, L. bulgaricus and L. acidophilus, during storage

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

Isolation and Characterization of New Leptospira Genotypes from Patients in Mayotte (Indian Ocean)

Leptospirosis has been recognized as an increasing public health problem affecting poor people from developing countries and tropical regions. However, the epidemiology of leptospirosis remains poorly understood in remote parts of the world. In this study of patients from the island of Mayotte, we isolated 22 strains from the blood of patients during the acute phase of illness. The pathogenic Leptospira strains were characterized by serology and various molecular typing methods. Based on serological data, serogroup Mini appears to be the dominant cause of leptospirosis in Mayotte. Further molecular characterization of these isolates allowed the identification of 10 pathogenic Leptospira genotypes that could correspond to previously unknown serovars. Further progress in our understanding of the epidemiology of Leptospira circulating genotypes in highly endemic regions should contribute to the development of novel strategies for the diagnosis and prevention of this neglected emerging disease

Networks of Neuronal Genes Affected by Common and Rare Variants in Autism Spectrum Disorders

Autism spectrum disorders (ASD) are neurodevelopmental disorders with phenotypic and genetic heterogeneity. Recent studies have reported rare and de novo mutations in ASD, but the allelic architecture of ASD remains unclear. To assess the role of common and rare variations in ASD, we constructed a gene co-expression network based on a widespread survey of gene expression in the human brain. We identified modules associated with specific cell types and processes. By integrating known rare mutations and the results of an ASD genome-wide association study (GWAS), we identified two neuronal modules that are perturbed by both rare and common variations. These modules contain highly connected genes that are involved in synaptic and neuronal plasticity and that are expressed in areas associated with learning and memory and sensory perception. The enrichment of common risk variants was replicated in two additional samples which include both simplex and multiplex families. An analysis of the combined contribution of common variants in the neuronal modules revealed a polygenic component to the risk of ASD. The results of this study point toward contribution of minor and major perturbations in the two sub-networks of neuronal genes to ASD risk

Locomotion disorders and skin and claw lesions in gestating sows housed in dynamic versus static groups

Lameness and lesions to the skin and claws of sows in group housing are commonly occurring indicators of reduced welfare. Typically, these problems are more common in group housing than in individual housing systems. Group management type (dynamic versus static) and stage of gestation influence the behavior of the animals, which in turn influences the occurrence of these problems. The present study compared prevalence, incidence and mean scores of lameness and skin and claw lesions in static versus dynamic group housed sows at different stages of gestation during three consecutive reproductive cycles. A total of 10 Belgian sow herds were monitored; 5 in which dynamic groups and 5 in which static groups were utilized. All sows were visually assessed for lameness and skin lesions three times per cycle and the claws of the hind limbs were assessed once per cycle. Lameness and claw lesions were assessed using visual analogue scales. Static groups, in comparison with dynamic groups, demonstrated lower lameness scores (P<0.05) and decreased skin lesion prevalence (24.9 vs. 47.3%, P<0.05) at the end of gestation. There was no difference between treatment group regarding claw lesion prevalence with 75.5% of sows demonstrating claw lesions regardless of group management. Prevalences of lameness (22.4 vs. 8.9%, P<0.05) and skin lesions (46.6 vs. 4.4%, P<0.05) were highest during the group-housed phase compared to the individually housed phases. Although the prevalence of lameness and skin lesions did not differ three days after grouping versus at the end of the group-housing phase, their incidence peaked during the first three days after moving from the insemination stalls to the group. In conclusion, the first three days after grouping was the most risky period for lameness incidence, but there was no significant difference between static or dynamic group management