Abstract:

The Composition-Filters (CFs) model is one of the first aspect-oriented 
language concepts, defined as early as the end of the 1980's.  However, like 
all practical languages, CFs have gone through various evolutions. Compose* 
is a language which implements the concepts of composition  filters in the 
.NET environment.
Compose* has several advantages such as compile-time and run-time weaving, 
language independence and declarative high-level specifications.
In this talk, I will first present the unique features of the Compose* 
language and environment.
I will then focus on how the declarative features of the language can help 
in verifying semantic interfaces in aspect compositions. In particular, 
verification of filter and advice (user Defined Advice Types) compositions 
will be discussed. Second, I will demonstrate the language independence feature 
of Compose*  by composing aspects written in different languages. 
Finally, "semantic pointcut" specifications will be illustrated. 
If time permits, a demo will be given.