Evolving a DSL implementation

Domain Specific Languages (DSLs) are small languages designed for use in a specific domain. DSLs typically evolve quite radically throughout their lifetime, but current DSL implementation approaches are often clumsy in the face of such evolution. In this paper I present a case study of an DSL evolving in its syntax, semantics, and robustness, implemented in the Converge language. This shows how real-world DSL implementations can evolve along with changing requirements

Ontologies in domain specific languages : a systematic literature review

The systematic literature review conducted in this paper explores the current techniques employed to leverage the development of DSLs using ontologies. Similarities and differences between ontologies and DSLs, techniques to combine DSLs with ontologies, the rationale of these techniques and challenges in the DSL approaches addressed by the used techniques have been investigated. Details about these topics have been provided for each relevant research paper that we were able to investigate in the limited amount of time of one month. At the same time, a synthesis describing the main trends in all the topics mentioned above has been done

RCVDiff - a stand-alone tool for representation, calculation and visualization of model differences

In model comparison one can distinguish three major sub- problems: representation, calculation, and visualization of model di¿erences. Existing stand-alone tools for managing model di¿erences usually focus on one or sometimes two as- pects of model comparison. In this paper we discuss our stand-alone tool calledRCVDi¿, that incorporates all three aspects of model comparison. Furthermore, we comment on some issues in the process of model comparison that are not easily perceived if the three aspects of model comparison are considered independently

Effects of fermentable starch and straw-enriched housing on energy partitioning of growing pigs

Both dietary fermentable carbohydrates and the availability of straw bedding potentially affect activity patterns and energy utilisation in pigs. The present study aimed to investigate the combined effects of straw bedding and fermentable carbohydrates (native potato starch) on energy partitioning in growing pigs. In a 2 × 2 factorial arrangement, 16 groups of 12 pigs (approximately 25 kg) were assigned to either barren housing or housing on straw bedding, and to native or pregelatinised potato starch included in the diet. Pigs were fed at approximately 2.5 times maintenance. Nitrogen and energy balances were measured per group during a 7-day experimental period, which was preceded by a 30-day adaptation period. Heat production and physical activity were measured during 9-min intervals. The availability of straw bedding increased both metabolisable energy (ME) intake and total heat production (P <0.001). Housing conditions did not affect total energy retention, but pigs on straw bedding retained more energy as protein (P <0.01) and less as fat (P <0.05) than barren-housed pigs. Average daily gain (P <0.001), ME intake (P <0.001) and energy retention (P <0.01) were lower in pigs on the native potato starch diet compared to those on the pregelatinised potato starch diet. Pigs on the pregelatinised potato starch diet showed larger fluctuations in heat production and respiration quotient over the 24-h cycle than pigs on the native potato starch diet, and a higher activity-related energy expenditure. The effect of dietary starch type on activity-related heat production depended, however, on housing type (P <0.05). In barren housing, activity-related heat production was less affected by starch type (16.1% and 13.7% of total heat production on the pregelatinised and native potato starch diet, respectively) than in straw-enriched housing (21.1% and 15.0% of the total heat production on the pregelatinised and native potato starch diet, respectively). In conclusion, the present study shows that the availability both of straw bedding and of dietary starch type, fermentable or digestible, affects energy utilisation and physical activity of pigs. The effects of housing condition on protein and fat deposition suggest that environmental enrichment with long straw may result in leaner pigs. The lower energy expenditure on the physical activity of pigs on the native potato starch diet, which was the most obvious in straw-housed pigs, likely reflects a decrease in foraging behaviour related to a more gradual supply of energy from fermentation processes

Applying model transformation and Event-B for specifying an industrial DSL

In this paper we describe our experience in applying the Event-B formalism for specifying the dynamic semantics of a real-life industrial DSL. The main objective of this work is to enable the industrial use of the broad spectrum of specification analysis tools that support Event-B. To leverage the usage of Event-B and its analysis techniques we developed model transformations, that allowed for automatic generation of Event-B specifications of the DSL programs. The model transformations implement a modular approach for specifying the semantics of the DSL and, therefore, improve scalability of the specifications and the reuse of their verification. Keywords: domain specific language, Event-B, model transformations, verification and validation, reuse, scalabilit

Evidence for virtual Compton scattering from the proton

In virtual Compton scattering an electron is scattered off a nucleon such that the nucleon emits a photon. We show that these events can be selected experimentally, and present the first evidence for virtual Compton scattering from the proton in data obtained at the Stanford Linear Accelerator Center. The angular and energy dependence of the data is well described by a calculation that includes the coherent sum of electron and proton radiation

Towards Statistical Comparison and Analysis of Models

Model comparison is an important challenge in model-driven engineering, with many application areas such as model versioning and domain model recovery. There are numerous techniques that address this challenge in the literature, ranging from graph-based to linguistic ones. Most of these involve pairwise comparison, which might work, e.g. for model versioning with a small number of models to consider. However, they mostly ignore the case where there is a large number of models to compare, such as in common domain model/metamodel recovery from multiple models. In this paper we present a generic approach for model comparison and analysis as an exploratory first step for model recovery. We propose representing models in vector space model, and applying clustering techniques to compare and analyse a large set of models. We demonstrate our approach on a synthetic dataset of models generated via genetic algorithms

A crucial role for tumor necrosis factor receptor 1 in synovial lining cells and the reticuloendothelial system in mediating experimental arthritis

Contains fulltext : 89310.pdf (publisher's version ) (Open Access)INTRODUCTION: Rheumatoid arthritis (RA) is an autoimmune inflammatory disease that mainly affects synovial joints. Biologics directed against tumor-necrosis-factor (TNF)-alpha are efficacious in the treatment of RA. However, the role of TNF receptor-1 (TNFR1) in mediating the TNFalpha effects in RA has not been elucidated and conflicting data exist in experimental arthritis models. The objective is to investigate the role of TNFR1 in the synovial lining cells (SLC) and the reticuloendothelial system (RES) during experimental arthritis. METHODS: Third generation of adenovirus serotype 5 were either injected locally in the knee joint cavity or systemically by intravenous injection into the retro-orbital venous sinus to specifically target SLC and RES, respectively. Transduction of organs was detected by immunohistochemistry of the eGFP transgene. An adenoviral vector containing a short hairpin (sh) RNA directed against TNFR1 (HpTNFR1) was constructed and functionally evaluated in vitro using a nuclear factor-kappaB (NF-kappaB) reporter assay and in vivo in streptococcal cell wall-induced arthritis (SCW) and collagen-induced arthritis (CIA). Adenoviruses were administered before onset of CIA, and the effect of TNFR1 targeting on the clinical development of arthritis, histology, quantitative polymerase chain reaction (qPCR), cytokine analyses and T-cell assays was evaluated. RESULTS: Systemic delivery of Ad5.CMV-eGFP predominantly transduced the RES in liver and spleen. Local delivery transduced the synovium and not the RES in liver, spleen and draining lymph nodes. In vitro, HpTNFR1 reduced the TNFR1 mRNA expression by three-fold resulting in a 70% reduction of TNFalpha-induced NF-kappaB activation. Local treatment with HpTNFR1 markedly reduced mRNA and protein levels of interleukin (IL)-1beta and IL-6 in SLC during SCW arthritis and ameliorated CIA. Systemic targeting of TNFR1 in RES of liver and spleen by systemic delivery of Ad5 virus encoding for a small hairpin RNA against TNFR1 markedly ameliorated CIA and simultaneously reduced the mRNA expression of IL-1beta, IL-6 and Saa1 (75%), in the liver and that of Th1/2/17-specific transcription factors T-bet, GATA-3 and RORgammaT in the spleen. Flow cytometry confirmed that HpTNFR1 reduced the numbers of interferon (IFN)gamma (Th1)-, IL-4 (Th2)- and IL-17 (Th17)-producing cells in spleen. CONCLUSIONS: TNFR1-mediated signaling in both synovial lining cells and the reticuloendothelial system independently played a major pro-inflammatory and immunoregulatory role in the development of experimental arthritis