Team Pop Art

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities
Inria / Raweb 2003
Project: Pop Art

Project : popart

Section: New Results

Reactive and aspect-oriented programming

Participants : P. Fradet [contact person], E. Rutten.

The goal of Aspect-Oriented Programming (AOP) is to isolate aspects (such as security, synchronization or error handling) which cross-cut the program basic functionality and whose implementation would otherwise yield tangled code. In AOP, such aspects are specified separately and integrated into the program by an automatic transformation process called weaving.

Although this new paradigm has great practical potential, it still lacks formalization. For historical reasons, most aspect languages are very expressive and dedicated to object-oriented languages (e.g. Java). The formal foundations of AOP are very difficult to establish in such a complex setting.

Bringing together aspect-oriented programming and reactive programming has three main objectives:

This new line of research is initiated by the arrival of P. Fradet in Pop Art last September and by the local ARC with Verimag: Ctrl-a, Aspect-oriented programming and reactive languages (cf. section 8.1.2). For more information on P. Fradet's on-going work on AOP and other topics, the reader is referred to the activity report of the Lande( team (Inria Rennes).