Bilkent University
Department of Computer Engineering

---

S E M I N A R

 

Aspect Composition and Reasoning Framework in Compose*

 

Mehmet Aksit

Prof. Dr. Ir.
Chair Software Engineering
TRESE Group
University of Twente Enschede
The Netherlands

The Composition-Filters (CFs) is probably the first aspect-oriented language technique; it was defined as early as end 80's. However, like all practical languages, CFs has gone through various evolutions. The Compose* is a language which implements the concept of CF 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 aspect compositions. In particular, verification of filter and advice (Abstract Communication Types) compositions will be illustrated.

 

DATE: December 03, 2004, Friday @ 14:40
PLACE: Mithat Coruh