Aspect] is a simple and practical aspect-oriented extension to Java With just a few new constructs, AspectJ provides support for modular implementation of a range of crosscutting concerns. In AspectJ's dynamic join point model, join points are well-defined points in the execution of the program; pointcuts are collections of join points; advice are special method-like constructs that can be attached to pointcuts; and aspects are modular units of crosscutting implementation, comprising pointcuts, advice, and ordinary Java member declarations. AspectJ code is compiled into standard Java bytecode. Simple extensions to existing Java development environments make it possible to browse the crosscutting structure of aspects in the same kind of way as one browses the inheritance structure of classes. Several examples show that AspectJ is powerful, and that programs written using it are easy to understand.

An overview of AspectJ

The Object Management Group's (OMG) Model Driven Architecture (MDA) strategy envisages a world where models play a more direct role in software production, being amenable to manipulation and transformation by machine. Model Driven Engineering (MDE) is wider in scope than MDA. MDE combines process and analysis with architecture. This article sets out a framework for model driven engineering, which can be used as a point of reference for activity in this area. It proposes an organisation of the modelling 'space' and how to locate models in that space. It discusses different kinds of mappings between models. It explains why process and architecture are tightly connected. It discusses the importance and nature of tools. It identifies the need for defining families of languages and transformations, and for developing techniques for generating/configuring tools from such definitions. It concludes with a call to align metamodelling with formal language engineering techniques.

Model Driven Engineering

Buildings are among the largest consumers of electricity in the US. A significant portion of this energy use in buildings can be attributed to HVAC systems used to maintain comfort for occupants. In most cases these building HVAC systems run on fixed schedules and do not employ any fine grained control based on detailed occupancy information. In this paper we present the design and implementation of a presence sensor platform that can be used for accurate occupancy detection at the level of individual offices. Our presence sensor is low-cost, wireless, and incrementally deployable within existing buildings. Using a pilot deployment of our system across ten offices over a two week period we identify significant opportunities for energy savings due to periods of vacancy. Our energy measurements show that our presence node has an estimated battery lifetime of over five years, while detecting occupancy accurately. Furthermore, using a building simulation framework and the occupancy information from our testbed, we show potential energy savings from 10% to 15% using our system.

[ACM Press the 2nd ACM Workshop - Zurich, Switzerland (2010.11.02-2010.11.02)] Proceedings of the 2nd ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Building - BuildSys \'10 - Occupancy-driven energy management for smart building automation

技術解説 IEEE Computer

Secrets and Lies: Digital Security in a Networked World

Since software systems need to be continuously available under varying conditions, their ability to evolve at runtime is increasingly seen as one key issue. Modern programming frameworks already provide support for dynamic adaptations. However the high-variability of features in Dynamic Adaptive Systems (DAS) introduces an explosion of possible runtime system configurations (often called modes) and mode transitions. Designing these configurations and their transitions is tedious and error-prone, making the system feature evolution difficult. While Aspect-Oriented Modeling (AOM) was introduced to improve the modularity of software, this paper presents how an AOM approach can be used to tame the combinatorial explosion of DAS modes. Using AOM techniques, we derive a wide range of modes by weaving aspects into an explicit model reflecting the runtime system. We use these generated modes to automatically adapt the system. We validate our approach on an adaptive middleware for home-automation currently deployed in Rennes metropolis.

https://www.irisa.fr/triskell/publis/2009/Morin09a.pdf

Taming Dynamically Adaptive Systems using models and aspects

Models@Runtime aims at taming the complexity of software dynamic adaptation by pushing further the idea of reflection and considering the reflection layer as a first-class modeling space. A natural approach to Models@Runtime is to use MDE techniques, in particular those based on the Eclipse Modeling Framework. EMF provides facilities for building DSLs and tools based on a structured data model, with tight integration with the Eclipse IDE. EMF has rapidly become the defacto standard in the MDE community and has also been adopted for building Models@Runtime platforms. For example, Frascati (implementing the Service Component Architecture standard) uses EMF for the design and runtime tooling of its architecture description language. However, EMF has primarily been thought to support design-time activities. This paper highlights specific Models@Runtime requirements, discusses the benefits and limitations of EMF in this context, and presents an alternative implementation to meet these requirements.

/pdf/an-eclipse-modelling-framework-alternative-to-meet-the-207jx38ixf.pdf

An eclipse modelling framework alternative to meet the models@runtime requirements

User interface adaptations can be performed at runtime to dynamically reflect any change of context. Complex user interfaces and contexts can lead to the combinatorial explosion of the number of possible adaptations. Thus, dynamic adaptations come across the issue of adapting user interfaces in a reasonable time-slot with limited resources. In this paper, we propose to combine aspect-oriented modeling with property-based reasoning to tame complex and dynamic user interfaces. At runtime and in a limited time-slot, this combination enables efficient reasoning on the current context and on the available user interface components to provide a well suited adaptation. The proposed approach has been evaluated through EnTiMid, a middleware for home automation.

/pdf/combining-aspect-oriented-modeling-with-property-based-3pysif1tkv.pdf

Combining aspect-oriented modeling with property-based reasoning to improve user interface adaptation

A systematic review on the engineering of software for ubiquitous systems

Ageing populations and the necessity to reduceenvironmental impact raise new challenges on our living buildings.Convergence of home control systems (air conditioning,light management) and computer science, or house automation,allows to enhance comfort, security and health of inhabitants,and reduce energy consumption. Each of these abilities can beperceived as a service provided by the house automation system.Starting from this point, we developed ENTIMID , a middlewareable to make systems from different brands cooperate in a singleservice-based platform. Yet the proliferation and variability ofsuch services, and needs to tailor each system to a particularbuilding, make the design of these systems complex. In thisprospective paper, we explain how the notion of dynamic softwareproduct line facilitates such designs by providing sophisticatedtechniques for managing variability across services from designtime to runtime and allowing their automatic composition.

/pdf/dynamic-software-product-lines-for-service-based-systems-3wv4s5ponx.pdf

Grégory Nain

Papers

Taming Dynamically Adaptive Systems using models and aspects

An eclipse modelling framework alternative to meet the models@runtime requirements

Combining aspect-oriented modeling with property-based reasoning to improve user interface adaptation

A systematic review on the engineering of software for ubiquitous systems

Dynamic Software Product Lines for Service-Based Systems