Domain-Specific Program Checking

Lint-like program checkers are popular tools that ensure code quality by verifying compliance with best practices for a particular programming language. The proliferation of internal domain-specific languages and models, however, poses new challenges for such tools. Traditional program checkers produce many false positives and fail to accurately check constraints, best practices, common errors, possible optimizations and portability issues particular to domain-specific languages. We advocate the use of dedicated rules to check domain-specific practices. We demonstrate the implementation of domain-specific rules, the automatic fixing of violations, and their application to two case-studies: (1) Seaside defines several internal DSLs through a creative use of the syntax of the host language; and (2) Magritte adds meta-descriptions to existing code by means of special methods. Our empirical validation demonstrates that domain-specific program checking significantly improves code quality when compared with general purpose program checking.

The Moldable Inspector: a framework for domain-specific object inspection

Answering run-time questions in object-oriented systems involves reasoning about and exploring connections between multiple objects. Developer questions exercise various aspects of an object and require multiple kinds of interactions depending on the relationships between objects, the application domain and the differing developer needs. Nevertheless, traditional object inspectors, the essential tools often used to reason about objects, favor a generic view that focuses on the low-level details of the state of individual objects. This leads to an inefficient effort, increasing the time spent in the inspector. To improve the inspection process, we propose the Moldable Inspector, a novel approach for an extensible object inspector. The Moldable Inspector allows developers to look at objects using multiple interchangeable presentations and supports a workflow in which multiple levels of connecting objects can be seen together. Both these aspects can be tailored to the domain of the objects and the question at hand. We further exemplify how the proposed solution improves the inspection process, introduce a prototype implementation and discuss new directions for extending the Moldable Inspector.

The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers

Debuggers are crucial tools for developing object-oriented software systems as they give developers direct access to the running systems. Nevertheless, traditional debuggers rely on generic mechanisms to explore and exhibit the execution stack and system state, while developers reason about and formulate domain-specific questions using concepts and abstractions from their application domains. This creates an abstraction gap between the debugging needs and the debugging support leading to an inefficient and error-prone debugging effort. To reduce this gap, we propose a framework for developing domain-specific debuggers called the Moldable Debugger. The Moldable Debugger is adapted to a domain by creating and combining domain-specific debugging operations with domain-specific debugging views, and adapts itself to a domain by selecting, at run time, appropriate debugging operations and views. We motivate the need for domain-specific debugging, identify a set of key requirements and show how our approach improves debugging by adapting the debugger to several domains.

Practical domain-specific debuggers using the Moldable Debugger framework

Understanding the run-time behavior of software systems can be a challenging activity. Debuggers are an essential category of tools used for this purpose as they give developers direct access to the running systems. Nevertheless, traditional debuggers rely on generic mechanisms to introspect and interact with the running systems, while developers reason about and formulate domain-specific questions using concepts and abstractions from their application domains. This mismatch creates an abstraction gap between the debugging needs and the debugging support leading to an inefficient and error-prone debugging effort, as developers need to recover concrete domain concepts using generic mechanisms. To reduce this gap, and increase the efficiency of the debugging process, we propose a framework for developing domain-specific debuggers, called the Moldable Debugger, that enables debugging at the level of the application domain. The Moldable Debugger is adapted to a domain by creating and combining domain-specific debugging operations with domain-specific debugging views, and adapts itself to a domain by selecting, at run time, appropriate debugging operations and views. To ensure the proposed model has practical applicability (i.e., can be used in practice to build real debuggers), we discuss, from both a performance and usability point of view, three implementation strategies. We further motivate the need for domain-specific debugging, identify a set of key requirements and show how our approach improves debugging by adapting the debugger to several domains.

Domains of physical activity and all-cause mortality: systematic review and dose-response meta-analysis of cohort studies

Background The dose–response relation between physical activity and all-cause mortality is not well defined at present. We conducted a systematic review and meta-analysis to determine the association with all-cause mortality of different domains of physical activity and of defined increases in physical activity and energy expenditure. Methods MEDLINE, Embase and the Cochrane Library were searched up to September 2010 for cohort studies examining all-cause mortality across different domains and levels of physical activity in adult general populations. We estimated combined risk ratios (RRs) associated with defined increments and recommended levels, using random-effects meta-analysis and dose–response meta-regression models. Results Data from 80 studies with 1 338 143 participants (118 121 deaths) were included. Combined RRs comparing highest with lowest activity levels were 0.65 [95% confidence interval (95% CI) 0.60–0.71] for total activity, 0.74 (95% CI 0.70–0.77) for leisure activity, 0.64 (95% CI 0.55–0.75) for activities of daily living and 0.83 (95% CI 0.71–0.97) for occupational activity. RRs per 1-h increment per week were 0.91 (95% CI 0.87–0.94) for vigorous exercise and 0.96 (95% CI 0.93–0.98) for moderate-intensity activities of daily living. RRs corresponding to 150 and 300 min/week of moderate to vigorous activity were 0.86 (95% CI 0.80–0.92) and 0.74 (95% CI 0.65–0.85), respectively. Mortality reductions were more pronounced in women. Conclusion Higher levels of total and domain-specific physical activity were associated with reduced all-cause mortality. Risk reduction per unit of time increase was largest for vigorous exercise. Moderate-intensity activities of daily living were to a lesser extent beneficial in reducing mortality.

Taxon-specific δ13C analysis of chitinous invertebrate remains in sediments from Strandsjön, Sweden

Taxon-specific stable carbon isotope (δ13C) analysis of chitinous remains of invertebrates can provide valuable information about the carbon sources used by invertebrates living in specific habitats of lake ecosystems (for example, sediments, water column, or aquatic vegetation). This is complementary to δ13C of sedimentary organic matter (SOM), which provides an integrated signal of organic matter produced in a lake and its catchment, and of diagenetic processes within sediments. In a sediment record from Strandsjön (Sweden) covering the past circa 140 years, we analyzed SOM geochemistry (δ13C, C:Natomic, organic carbon content) and δ13C of chitinous invertebrate remains in order to examine whether taxon-specific δ13C records could be developed for different invertebrate groups and whether these analyses provide insights into past changes of organic carbon sources for lacustrine invertebrates available in benthic and planktonic compartments of the lake. Invertebrate taxa included benthic chironomids (Chironomus, Chironomini excluding Chironomus, Tanytarsini, and Tanypodinae), filter-feeders on suspended particulate organic matter (Daphnia, Plumatella and Cristatella mucedo), and Rhabdocoela. δ13C of chironomid remains indicated periodic availability of 13C-depleted carbon sources in the benthic environment of the lake as δ13C values of the different chironomid taxa fluctuated simultaneously between -34.7 and -30.5‰ (VPDB). Daphnia and Bryozoa showed parallel changes in their δ13C values which did not coincide with variations in δ13C of chironomids, though, and a 2-3‰ decrease since circa AD 1960. The decrease in δ13C of Daphnia and Bryozoa could indicate a decrease in phytoplankton δ13C as a result of lower lake productivity, which is in accordance with historical information about the lake that suggests a shift to less eutrophic conditions after AD 1960. In contrast, Rhabdocoela cocoons were characterized by relatively high δ13C values (-30.4 to -28.2‰) that did not show a strong temporal trend, which could be related to the predatory feeding mode and wide prey spectrum of this organism group. The taxon-specific δ13C analyses of invertebrate remains indicated that different carbon sources were available for the benthic chironomid larvae than for the filter-feeding Daphnia and bryozoans. Our results therefore demonstrate that taxon-specific analysis of δ13C of organic invertebrate remains can provide complementary information to measurements on bulk SOM and that δ13C of invertebrate remains may allow the reconstruction of past changes in carbon sources and their δ13C in different habitats of lake ecosystems.

Relationship of porcine IGF2 imprinting status to DNA methylation at the H19 DMD and the IGF2 DMRs 1 and 2

BACKGROUND: Porcine IGF2 and the H19 genes are imprinted. The IGF2 is paternally expressed, while the H19 gene is maternally expressed. Extensive studies in mice established a boundary model indicating that the H19 differentially methylated domain (DMD) controls, upon binding with the CTCF protein, reciprocal imprinting of the IGF2 and the H19 genes. IGF2 transcription is tissue and development specific involving the use of 4 promoters. In the liver of adult Large White boars IGF2 is expressed from both parental alleles, whereas in skeletal muscle and kidney tissues we observed variable relaxation of IGF2 imprinting. We hypothesized that IGF2 expression from both paternal alleles and relaxation of IGF2 imprinting is reflected in differences in DNA methylation patterns at the H19 DMD and IGF2 differentially methylated regions 1 and 2 (DMR1 and DMR2). RESULTS: Bisulfite sequencing analysis did not show any differences in DNA methylation at the three porcine CTCF binding sites in the H19 DMD between liver, muscle and kidney tissues of adult pigs. A DNA methylation analysis using methyl-sensitive restriction endonuclease SacII and 'hot-stop' PCR gave consistent results with those from the bisulfite sequencing analysis. We found that porcine H19 DMD is distinctly differentially methylated, at least for the region formally confirmed by two SNPs, in liver, skeletal muscle and kidney of foetal, newborn and adult pigs, independent of the combined imprinting status of all IGF2 expressed transcripts. DNA methylation at CpG sites in DMR1 of foetal liver was significantly lower than in the adult liver due to the presence of hypomethylated molecules. An allele specific analysis was performed for IGF2 DMR2 using a SNP in the IGF2 3'-UTR. The maternal IGF2 DMR2 of foetal and newborn liver revealed a higher DNA methylation content compared to the respective paternal allele. CONCLUSIONS: Our results indicate that the IGF2 imprinting status is transcript-specific. Biallelic IGF2 expression in adult porcine liver and relaxation of IGF2 imprinting in porcine muscle were a common feature. These results were consistent with the IGF2 promoter P1 usage in adult liver and IGF2 promoter P2, P3 and P4 usages in muscle. The results showed further that bialellic IGF2 expression in liver and relaxation of imprinting in muscle and kidney were not associated with DNA methylation variation at and around at least one CTCF binding site in H19 DMD. The imprinting status in adult liver, muscle and kidney tissues were also not reflected in the methylation patterns of IGF2 DMRs 1 and 2.

Decision making in beach volleyball defense: Crucial factors derived from interviews with top-level experts

Objectives: In fast ball sports like beach volleyball, decision-making skills are a determining factor for excellent performance. The current investigation aimed to identify factors that influence the decisionmaking process in top-level beach volleyball defense in order to find relevant aspects for further research. For this reason, focused interviews with top players in international beach volleyball were conducted and analyzed with respect to decision-making characteristics. Design: Nineteen world-tour beach volleyball defense players, including seven Olympic or world champions, were interviewed, focusing on decision-making factors, gaze behavior, and interactions between the two. Methods: Verbal data were analyzed by inductive content analysis according to Mayring (2008). This approach allows categories to emerge from the interview material itself instead of forcing data into preset classifications and theoretical concepts. Results: The data analysis showed that, for top-level beach volleyball defense, decision making depends on opponent specifics, external context, situational context, opponent's movements, and intuition. Information on gaze patterns and visual cues revealed general tendencies indicating optimal gaze strategies that support excellent decision making. Furthermore, the analysis highlighted interactions between gaze behavior, visual information, and domain-specific knowledge. Conclusions: The present findings provide information on visual perception, domain-specific knowledge, and interactions between the two that are relevant for decision making in top-level beach volleyball defense. The results can be used to inform sports practice and to further untangle relevant mechanisms underlying decision making in complex game situations.

Domain Globalization: Using Languages to Support Technical and Social Coordination

When a project is realized in a globalized environment, multiple stakeholders from different organizations work on the same system. Depending on the stakeholders and their organizations, various (possibly overlapping) concerns are raised in the development of the system. In this context a Domain Specific Language (DSL) supports the work of a group of stakeholders who are responsible for addressing a specific set of concerns. This chapter identifies the open challenges arising from the coordination of globalized domain-specific languages. We identify two types of coordination: technical coordination and social coordination. After presenting an overview of the current state of the art, we discuss first the open challenges arising from the composition of multiple DSLs, and then the open challenges associated to the collaboration in a globalized environment.

Embedding Languages Without Breaking Tools

Domain-specific languages (DSLs) are increasingly used as embedded languages within general-purpose host languages. DSLs provide a compact, dedicated syntax for specifying parts of an application related to specialized domains. Unfortunately, such language extensions typically do not integrate well with the development tools of the host language. Editors, compilers and debuggers are either unaware of the extensions, or must be adapted at a non-trivial cost. We present a novel approach to embed DSLs into an existing host language by leveraging the underlying representation of the host language used by these tools. Helvetia is an extensible system that intercepts the compilation pipeline of the Smalltalk host language to seamlessly integrate language extensions. We validate our approach by case studies that demonstrate three fundamentally different ways to extend or adapt the host language syntax and semantics.

Lunar tractive forces and renal stone incidence

Background. Several factors are implicated in renal stone formation and peak incidence of renal colic admissions to emergency departments (ED). Little is known about the influence of potential environmental triggers such as lunar gravitational forces. We conducted a retrospective study to test the hypothesis that the incidence of symptomatic renal colics increases at the time of the full and new moon because of increased lunar gravitational forces. Methods. We analysed 1500 patients who attended our ED between 2000 and 2010 because of nephrolithiasis-induced renal colic. The lunar phases were defined as full moon ± 1 day, new moon ± 1 day, and the days in-between as "normal" days. Results. During this 11-year period, 156 cases of acute nephrolithiasis were diagnosed at the time of a full moon and 146 at the time of a new moon (mean of 0.4 per day for both). 1198 cases were diagnosed on "normal" days (mean 0.4 per day). The incidence of nephrolithiasis in peak and other lunar gravitational phases, the circannual variation and the gender-specific analysis showed no statistically significant differences. Conclusion. In this adequate powered longitudinal study, changes in tractive force during the different lunar phases did not influence the incidence of renal colic admissions in emergency department.