Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

The genomes of two key bumblebee species with primitive eusocial organization

Background: The shift from solitary to social behavior is one of the major evolutionary transitions. Primitively eusocial bumblebees are uniquely placed to illuminate the evolution of highly eusocial insect societies. Bumblebees are also invaluable natural and agricultural pollinators, and there is widespread concern over recent population declines in some species. High-quality genomic data will inform key aspects of bumblebee biology, including susceptibility to implicated population viability threats. Results: We report the high quality draft genome sequences of Bombus terrestris and Bombus impatiens, two ecologically dominant bumblebees and widely utilized study species. Comparing these new genomes to those of the highly eusocial honeybee Apis mellifera and other Hymenoptera, we identify deeply conserved similarities, as well as novelties key to the biology of these organisms. Some honeybee genome features thought to underpin advanced eusociality are also present in bumblebees, indicating an earlier evolution in the bee lineage. Xenobiotic detoxification and immune genes are similarly depauperate in bumblebees and honeybees, and multiple categories of genes linked to social organization, including development and behavior, show high conservation. Key differences identified include a bias in bumblebee chemoreception towards gustation from olfaction, and striking differences in microRNAs, potentially responsible for gene regulation underlying social and other traits. Conclusions: These two bumblebee genomes provide a foundation for post-genomic research on these key pollinators and insect societies. Overall, gene repertoires suggest that the route to advanced eusociality in bees was mediated by many small changes in many genes and processes, and not by notable expansion or depauperation

The Gaia-ESO Survey: Chromospheric Emission, Accretion Properties, and Rotation in γγ Velorum and Chamaeleon I

We use the fundamental parameters delivered by the GES consortium in the first internal data release to select the members of $\gamma$ Vel and Cha I among the UVES and GIRAFFE spectroscopic observations. A total of 140 $\gamma$ Vel members and 74 Cha I members were studied. We calculated stellar luminosities through spectral energy distributions, while stellar masses were derived by comparison with evolutionary tracks. The spectral subtraction of low-activity and slowly rotating templates, which are rotationally broadened to match the $v\sin i$ of the targets, enabled us to measure the equivalent widths (EWs) and the fluxes in the H$\alpha$ and H$\beta$ lines. The H$\alpha$ line was also used for identifying accreting objects and for evaluating the mass accretion rate ($\dot M_{\rm acc}$). The distribution of $v\sin i$ for the members of $\gamma$ Vel displays a peak at about 10 km s$^{-1}$ with a tail toward faster rotators. There is also some indication of a different $v\sin i$ distribution for the members of its two kinematical populations. Only a handful of stars in $\gamma$ Vel display signatures of accretion, while many more accretors were detected in the younger Cha~I. Accreting and active stars occupy two different regions in a $T_{\rm eff}$-flux diagram and we propose a criterion for distinguishing them. We derive $\dot M_{\rm acc}$ in the ranges $10^{-11}$-$10^{-9} M_\odot$yr$^{-1}$ and $10^{-10}$-$10^{-7} M_\odot$yr$^{-1}$ for $\gamma$ Vel and Cha I accretors, respectively. We find less scatter in the $\dot M_{\rm acc}-M_\star$ relation derived through the H$\alpha$ EWs, when compared to the H$\alpha$ $10\%W$ diagnostics, in agreement with other authors

Gymnemic acids inhibit hyphal growth and virulence in Candida albicans

Candida albicans is an opportunistic and polymorphic fungal pathogen that causes mucosal, disseminated and invasive infections in humans. Transition from the yeast form to the hyphal form is one of the key virulence factors in C. albicans contributing to macrophage evasion, tissue invasion and biofilm formation. Nontoxic small molecules that inhibit C. albicans yeast-to-hypha conversion and hyphal growth could represent a valuable source for understanding pathogenic fungal morphogenesis, identifying drug targets and serving as templates for the development of novel antifungal agents. Here, we have identified the triterpenoid saponin family of gymnemic acids (GAs) as inhibitor of C. albicans morphogenesis. GAs were isolated and purified from Gymnema sylvestre leaves, the Ayurvedic traditional medicinal plant used to treat diabetes. Purified GAs had no effect on the growth and viability of C. albicans yeast cells but inhibited its yeast-to-hypha conversion under several hypha-inducing conditions, including the presence of serum. Moreover, GAs promoted the conversion of C. albicans hyphae into yeast cells under hypha inducing conditions. They also inhibited conidial germination and hyphal growth of Aspergillus sp. Finally, GAs inhibited the formation of invasive hyphae from C. albicans-infected Caenorhabditis elegans worms and rescued them from killing by C. albicans. Hence, GAs could be useful for various antifungal applications due to their traditional use in herbal medicine

Adaptations to Climate-Mediated Selective Pressures in Humans

Humans inhabit a remarkably diverse range of environments, and adaptation through natural selection has likely played a central role in the capacity to survive and thrive in extreme climates. Unlike numerous studies that used only population genetic data to search for evidence of selection, here we scan the human genome for selection signals by identifying the SNPs with the strongest correlations between allele frequencies and climate across 61 worldwide populations. We find a striking enrichment of genic and nonsynonymous SNPs relative to non-genic SNPs among those that are strongly correlated with these climate variables. Among the most extreme signals, several overlap with those from GWAS, including SNPs associated with pigmentation and autoimmune diseases. Further, we find an enrichment of strong signals in gene sets related to UV radiation, infection and immunity, and cancer. Our results imply that adaptations to climate shaped the spatial distribution of variation in humans

Drug discovery: Insights from the invertebrate Caenorhabditis elegans

Therapeutic drug development is a long, expensive, and complex process that usually takes 12–15 years. In the early phases of drug discovery, in particular, there is a growing need for animal models that ensure the reduction in both cost and time. Caenorhabditis elegans has been traditionally used to address fundamental aspects of key biological processes, such as apoptosis, aging, and gene expression regulation. During the last decade, with the advent of large-scale platforms for screenings, this invertebrate has also emerged as an essential tool in the pharmaceutical research industry to identify novel drugs and drug targets. In this review, we discuss the reasons why C. elegans has been positioned as an outstanding cost-effective option for drug discovery, highlighting both the advantages and drawbacks of this model. Particular attention is paid to the suitability of this nematode in large-scale genetic and pharmacological screenings. High-throughput screenings in C. elegans have indeed contributed to the breakthrough of a wide variety of candidate compounds involved in extensive fields including neurodegeneration, pathogen infections and metabolic disorders. The versatility of this nematode, which enables its instrumentation as a model of human diseases, is another attribute also herein underscored. As illustrative examples, we discuss the utility of C. elegans models of both human neurodegenerative diseases and parasitic nematodes in the drug discovery industry. Summing up, this review aims to demonstrate the impact of C. elegans models on the drug discovery pipeline.Fil: Giunti, Sebastián. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Investigaciones Bioquímicas de Bahía Blanca. Universidad Nacional del Sur. Instituto de Investigaciones Bioquímicas de Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Biología, Bioquímica y Farmacia; ArgentinaFil: Andersen, Natalia Denise. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Investigaciones Bioquímicas de Bahía Blanca. Universidad Nacional del Sur. Instituto de Investigaciones Bioquímicas de Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Biología, Bioquímica y Farmacia; ArgentinaFil: Rayes, Diego Hernán. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Investigaciones Bioquímicas de Bahía Blanca. Universidad Nacional del Sur. Instituto de Investigaciones Bioquímicas de Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Biología, Bioquímica y Farmacia; ArgentinaFil: de Rosa, Maria Jose. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Investigaciones Bioquímicas de Bahía Blanca. Universidad Nacional del Sur. Instituto de Investigaciones Bioquímicas de Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Biología, Bioquímica y Farmacia; Argentin

The Drosophila melanogaster Genetic Reference Panel

A major challenge of biology is understanding the relationship between molecular genetic variation and variation in quantitative traits, including fitness. This relationship determines our ability to predict phenotypes from genotypes and to understand how evolutionary forces shape variation within and between species. Previous efforts to dissect the genotype–phenotype map were based on incomplete genotypic information. Here, we describe the Drosophila melanogaster Genetic Reference Panel (DGRP), a community resource for analysis of population genomics and quantitative traits. The DGRP consists of fully sequenced inbred lines derived from a natural population. Population genomic analyses reveal reduced polymorphism in centromeric autosomal regions and the X chromosome, evidence for positive and negative selection, and rapid evolution of the X chromosome. Many variants in novel genes, most at low frequency, are associated with quantitative traits and explain a large fraction of the phenotypic variance. The DGRP facilitates genotype–phenotype mapping using the power of Drosophila genetics