AN ENVIRONMENT FOR ENGINEERING EXTENDED AFFIX GRAMMAR ENVIRONMENTS

Existing formalisms for the specification of programming environments are complex and strongly biased by the problems of environment generation. It has been investigated whether a simple two-level grammar, describing a programming language, can be used without further modification for the generation of an environment for that language. We believe that there is enough information in most language definitions - albeit implicitly - to generate most of the tools used in syntax-directed editors. This paper proposes some simple and elegant improvements in the use of place- holders and templates, and in the unparsing mechanism. Although the improvements are implemented in a completely newly designed prototype they can also be applied to existing syntax-directed editors to improve their workability

Recursion Aware Modeling and Discovery For Hierarchical Software Event Log Analysis (Extended)

This extended paper presents 1) a novel hierarchy and recursion extension to the process tree model; and 2) the first, recursion aware process model discovery technique that leverages hierarchical information in event logs, typically available for software systems. This technique allows us to analyze the operational processes of software systems under real-life conditions at multiple levels of granularity. The work can be positioned in-between reverse engineering and process mining. An implementation of the proposed approach is available as a ProM plugin. Experimental results based on real-life (software) event logs demonstrate the feasibility and usefulness of the approach and show the huge potential to speed up discovery by exploiting the available hierarchy.Comment: Extended version (14 pages total) of the paper Recursion Aware Modeling and Discovery For Hierarchical Software Event Log Analysis. This Technical Report version includes the guarantee proofs for the proposed discovery algorithm

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

Pretty-printing within the ASF+SDF meta-environment : a generic approach

The automatic generation of formatters for (programming) languages within the Asf+Sdf Meta-Environment is a research topic that is concerned with the construction of language specific formatters (or pretty-printers) given a language definition in Sdf. In this paper, we give an overview of pretty-printers that have been developed within this project and observe that these pretty-printers are either language dependent or non-customizable. Language independence and customizability are inevitable properties of pretty-printers however, when faced with the problem of formatting many different, evolving languages. Therefore, we introduce in this paper a generic framework for pretty-printing and describe an instantiation of the framework that forms a language independent and customizable pretty-printer

Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models

A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the correctness of models specified using such a DSL and of transformations applied to these models. For this reason, we implemented a prototype of the semantics of a DSL for the specification of systems consisting of concurrent, communicating objects. Using this prototype, models specified in the DSL can be transformed to labeled transition systems (LTS). This approach of transforming models to LTSs allows us to apply existing tools for visualization and verification to models with little or no further effort. The prototype is implemented using the ASF+SDF Meta-Environment, an IDE for the algebraic specification language ASF+SDF, which offers efficient execution of the transformation as well as the ability to read models and produce LTSs without any additional pre or post processing.Comment: In Proceedings AMMSE 2011, arXiv:1106.596

MVA-based H5N1 vaccine affords cross-clade protection in mice against influenza A/H5N1 viruses at low doses and after single immunization.

Human infections with highly pathogenic avian influenza viruses of the H5N1 subtype, frequently reported since 2003, result in high morbidity and mortality. It is feared that these viruses become pandemic, therefore the development of safe and effective vaccines is desirable. MVA-based H5N1 vaccines already proved to be effective when two immunizations with high doses were used. Dose-sparing strategies would increase the number of people that can be vaccinated when the amount of vaccine preparations that can be produced is limited. Furthermore, protective immunity is induced ideally after a single immunization. Therefore the minimal requirements for induction of protective immunity with a MVA-based H5N1 vaccine were assessed in mice. To this end, mice were vaccinated once or twice with descending doses of a recombinant MVA expressing the HA gene of influenza virus A/Vietnam/1194/04. The protective efficacy was determined after challenge infection with the homologous clade 1 virus and a heterologous virus derived from clade 2.1, A/Indonesia/5/05 by assessing weight loss, virus replication and histopathological changes. It was concluded that MVA-based vaccines allowed significant dose-sparing and afford cross-clade protection, also after a single immunization, which are favorable properties for an H5N1 vaccine candidate

Emergency medicine training in the Netherlands, essential changes needed

Since 2008, training for emergency physicians (EPs) in the Netherlands has been based on a national 3-year curriculum. However, it has become increasingly evident that it needs to expand beyond its initial foundations. The training period does not comply with European regulations of a minimum of 5 years. Adjusting to this European standard is a logical step. Experience with the 3-year Dutch training scheme has led to the general conclusion that this training period is too short. Recommendations for essential changes and the basis for their development are presented

Effects of eggshell temperature pattern during incubation on tibia characteristics of broiler chickens at slaughter age

This study was designed to determine effects of eggshell temperature (EST) pattern in week 2 and week 3 of incubation on tibia development of broiler chickens at slaughter age. A total of 468 Ross 308 eggs were incubated at an EST of 37.8°C from incubation day (E) 0 to E7. Thereafter, a 2 × 2 factorial arrangement with 2 EST (37.8°C and 38.9°C) from E8 to E14 and 2 EST (36.7°C and 37.8°C) from E15 till hatch was applied. After hatching, chickens were reared until slaughter age with the 4 EST treatments and 8 replicates per treatment. At day 41 and 42, one male chicken per replicate per day was selected, and hock burn and food pad dermatitis were scored. Rotated tibia, tibia dyschondroplasia, epiphyseal plate abnormalities, bacterial chondronecrosis with osteomyelitis, and epiphysiolysis were assessed. Tibia weight, length, thickness, head thickness, and robusticity index were determined. X-ray analyses (osseous volume, pore volume, total volume, volume fraction, mineral content, and mineral density) and a 3-point bending test (ultimate strength, yield strength, stiffness, energy to fracture, and elastic modulus) were performed. A high EST (38.9°C) in week 2 of incubation, followed by a normal EST (37.8°C) in week 3 resulted in higher mineral content (P = 0.001), mineral density (P = 0.002), ultimate strength (P = 0.04), yield strength (P = 0.03), and stiffness (P = 0.05) compared with the other 3 EST groups (week 2 × week 3 interaction). A high EST (38.9°C) in week 2 of incubation, regardless of the EST in week 3, resulted in a higher tibia weight (P < 0.001), thickness (P = 0.05), osseous volume (P < 0.001), and total volume (P < 0.001) than a normal EST (37.8°C). It can be concluded that 1.1°C higher EST than normal in week 2 of incubation appears to stimulate tibia morphological, biophysical, and mechanical characteristics of broiler chickens at slaughter age. Additionally, a 1.1°C lower EST in week 3 of incubation appears to have negative effects on tibia characteristics, particularly in interaction with the EST in week 2 of incubation.</p