Understanding Design Patterns Density with Aspects: A Case Study in JHotDraw using AspectJ

International audienceDesign patterns offer solutions to common engineering prob- lems in programs [1]. In particular, they shape the evolution of program elements. However, their implementations tend to vanish in the code: thus it is hard to spot them and to understand their impact. The prob- lem becomes even more difficult with a "high density of pattern": then the program becomes easy to evolve in the direction allowed by patterns but hard to change [2]. Aspect languages offer new means to modular- ize elements. Implementations of object-oriented design patterns with AspectJ have been proposed [3]. We aim at testing the scalability of such solutions in the JHotDraw framework. We first explore the impact of density on pattern implementation. We show how AspectJ helps to reduce this impact. This unveils the principles of aspects and AspectJ to control pattern density

Formally Defining and Iterating Infinite Models

International audienceThe wide adoption of MDE raises new situations where we need to manipulate very large models or even infinite model streams gathered at runtime. These new uses cases for MDE raise challenges that had been unforeseen by the time standard modeling framework were designed. This paper proposes a formal definition of an infinite model, as well as a formal framework to reason on queries over infinite models. This formal query definition aims at supporting the design and verification of operations that manipulate infinite models. First, we precisely identify the MOF parts which must be refined to support infinite structure. Then, we provide a formal coinductive definition dealing with unbounded and potentially infinite graph-based structure

Evaluating the GeoSnap 13-μ\mum Cut-Off HgCdTe Detector for mid-IR ground-based astronomy

New mid-infrared HgCdTe (MCT) detector arrays developed in collaboration with Teledyne Imaging Sensors (TIS) have paved the way for improved 10-$\mu$m sensors for space- and ground-based observatories. Building on the successful development of longwave HAWAII-2RGs for space missions such as NEO Surveyor, we characterize the first 13-$\mu$m GeoSnap detector manufactured to overcome the challenges of high background rates inherent in ground-based mid-IR astronomy. This test device merges the longwave HgCdTe photosensitive material with Teledyne's 2048x2048 GeoSnap-18 (18-$\mu$m pixel) focal plane module, which is equipped with a capacitive transimpedance amplifier (CTIA) readout circuit paired with an onboard 14-bit analog-to-digital converter (ADC). The final assembly yields a mid-IR detector with high QE, fast readout (>85 Hz), large well depth (>1.2 million electrons), and linear readout. Longwave GeoSnap arrays would ideally be deployed on existing ground-based telescopes as well as the next generation of extremely large telescopes. While employing advanced adaptive optics (AO) along with state-of-the-art diffraction suppression techniques, instruments utilizing these detectors could attain background- and diffraction-limited imaging at inner working angles <10 $\lambda/D$, providing improved contrast-limited performance compared to JWST MIRI while operating at comparable wavelengths. We describe the performance characteristics of the 13-$\mu$m GeoSnap array operating between 38-45K, including quantum efficiency, well depth, linearity, gain, dark current, and frequency-dependent (1/f) noise profile.Comment: 17 pages, 17 figures. Accepted for publication in special addition of Astronomische Nachrichten / Astronomical Notes as a contribution to SDW202

Context-aware aspects

Context-aware applications behave differently depending on the context in which they are running. Since context-specific behavior tends to crosscut base programs, it can advantageously be implemented as aspects. This leads to the notion of context-aware aspects, i.e., aspects whose behavior depends on context. This paper analyzes the issue of appropriate support from the aspect language to both restrict the scope of aspects according to the context and allow aspect definitions to access information associated to the context.We propose an open framework for context-aware aspects that allows for the definition of first-class contexts and supports the definition of context awareness constructs for aspects, including the ability to refer to past contexts, and to provide domainand application-specific constructs