Murine model of surgically induced acute aortic dissection type A

This study aimed at developing a murine model of surgically induced acute aortic dissection type A for investigation of the formation and progression of acute aortic dissection and to test whether this system could be used for biomarker discovery.

Small hive beetles, Aethina tumida, are vectors of Paenibacillus larvae

The transmission of honeybee pathogens by free-flying pests, such as small hive beetles (=SHB), would be independent of bees and beekeepers and thereby constitute a new challenge for pathogen control measures. Here we show that larval and adult SHB become contaminated with Paenibacillus larvae spores when exposed to honeybee brood combs with clinical American foulbrood (=AFB) symptoms in the laboratory. This contamination persists in pupae and newly emerged adults. After exposure to contaminated adult SHB, honeybee field colonies showed higher numbers of P. larvae spores in worker and honey samples after five weeks. Despite these results, the rather low number of P. larvae spores on adult SHB suggests that clinical AFB outbreaks are not likely. However, even small spore numbers can be sufficient to spread P. larvae. Therefore, our data clearly show that SHB are vectors of P. larvae. We suggest considering the role of SHB in AFB control in areas where both pests are established.

Winter Losses of Honeybee Colonies (Hymenoptera: Apidae): The Role of Infestations With Aethina tumida (Coleoptera: Nitidulidae) and Varroa destructor (Parasitiformes: Varroidae)

Multiple infections of managed honeybee, Apis mellifera, colonies are inevitable due to the ubiquitous ectoparasitic mite Varroa destructor and might be an underlying cause of winter losses. Here we investigated the role of adult small hive beetles, Aethina tumida, alone and in combination with V. destructor for winter losses and for infections with the microsporidian endoparasite Nosema ceranae. We found no significant influence of A. tumida and V destructor alone or in combination on the numbers of N. ceranae spores. Likewise, A. tumida alone had no significant effects on winter losses, which is most likely due to the observed high winter mortality of the adult beetles. Therefore, our data suggest that A. tumida is unlikely to contribute to losses of overwintering honeybee colonies. However, high losses occurred in all groups highly infested with V. destructor, supporting the central role of the mite for colony losses.

Globally dispersed Y chromosomal haplotypes in wild and domestic sheep

To date, investigations of genetic diversity and the origins of domestication in sheep have utilised autosomal microsatellites and variation in the mitochondrial genome. We present the first analysis of both domestic and wild sheep using genetic markers residing on the ovine Y chromosome. Analysis of a single nucleotide polymorphism (oY1) in the SRY promoter region revealed that allele A-oY1 was present in all wild bighorn sheep (Ovis canadensis), two subspecies of thinhorn sheep (Ovis dalli), European Mouflon (Ovis musimon) and the Barbary (Ammontragis lervia). A-oY1 also had the highest frequency (71.4%) within 458 domestic sheep drawn from 65 breeds sampled from Africa, Asia, Australia, the Caribbean, Europe, the Middle East and Central Asia. Sequence analysis of a second locus, microsatellite SRYM18, revealed a compound repeat array displaying fixed differences, which identified bighorn and thinhorn sheep as distinct from the European Mouflon and domestic animals. Combined genotypic data identified 11 male-specific haplotypes that represented at least two separate lineages. Investigation of the geographical distribution of each haplotype revealed that one (H6) was both very common and widespread in the global sample of domestic breeds. The remaining haplotypes each displayed more restricted and informative distributions. For example, H5 was likely founded following the domestication of European breeds and was used to trace the recent transportation of animals to both the Caribbean and Australia. A high rate of Y chromosomal dispersal appears to have taken place during the development of domestic sheep as only 12.9% of the total observed variation was partitioned between major geographical regions.

Model-Centric, Context-Aware Software Adaptation

Software must be constantly adapted to changing requirements. The time scale, abstraction level and granularity of adaptations may vary from short-term, fine-grained adaptation to long-term, coarse-grained evolution. Fine-grained, dynamic and context-dependent adaptations can be particularly difficult to realize in long-lived, large-scale software systems. We argue that, in order to effectively and efficiently deploy such changes, adaptive applications must be built on an infrastructure that is not just model-driven, but is both model-centric and context-aware. Specifically, this means that high-level, causally-connected models of the application and the software infrastructure itself should be available at run-time, and that changes may need to be scoped to the run-time execution context. We first review the dimensions of software adaptation and evolution, and then we show how model-centric design can address the adaptation needs of a variety of applications that span these dimensions. We demonstrate through concrete examples how model-centric and context-aware designs work at the level of application interface, programming language and runtime. We then propose a research agenda for a model-centric development environment that supports dynamic software adaptation and evolution.

Language Boxes: Bending the Host Language with Modular Language Changes

As domain-specific modeling begins to attract widespread acceptance, pressure is increasing for the development of new domain-specific languages. Unfortunately these DSLs typically conflict with the grammar of the host language, making it difficult to compose hybrid code except at the level of strings; few mechanisms (if any) exist to control the scope of usage of multiple DSLs; and, most seriously, existing host language tools are typically unaware of the DSL extensions, thus hampering the development process. Language boxes address these issues by offering a simple, modular mechanism to encapsulate (i) compositional changes to the host language, (ii) transformations to address various concerns such as compilation and highlighting, and (iii) scoping rules to control visibility of language extensions. We describe the design and implementation of language boxes, and show with the help of several examples how modular extensions can be introduced to a host language and environment.

Query Technologies and Applications for Program Comprehension

Industrial software systems are large and complex, both in terms of the software entities and their relationships. Consequently, understanding how a software system works requires the ability to pose queries over the design-level entities of the system. Traditionally, this task has been supported by simple tools (e.g., grep) combined with the programmer's intuition and experience. Recently, however, specialized code query technologies have matured to the point where they can be used in industrial situations, providing more intelligent, timely, and efficient responses to developer queries. This working session aims to explore the state of the art in code query technologies, and discover new ways in which these technologies may be useful in program comprehension. The session brings together researchers and practitioners. We survey existing techniques and applications, trying to understand the strengths and weaknesses of the various approaches, and sketch out new frontiers that hold promise.

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap

The goal of this roadmap paper is to summarize the state-of-the-art and identify research challenges when developing, deploying and managing self-adaptive software systems. Instead of dealing with a wide range of topics associated with the field, we focus on four essential topics of self-adaptation: design space for self-adaptive solutions, software engineering processes for self-adaptive systems, from centralized to decentralized control, and practical run-time verification & validation for self-adaptive systems. For each topic, we present an overview, suggest future directions, and focus on selected challenges. This paper complements and extends a previous roadmap on software engineering for self-adaptive systems published in 2009 covering a different set of topics, and reflecting in part on the previous paper. This roadmap is one of the many results of the Dagstuhl Seminar 10431 on Software Engineering for Self-Adaptive Systems, which took place in October 2010.