The following is a list of people who will be speaking at the weekly Sable meetings. Please add your talk title and abstract below your name.

Fall 2005

Winter 2006

Abstract: We present a Runtime Verication framework for Java programs called the Java Logical Observer, J-LO for short. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked during program-execution by an automaton-based approach where transitions are triggered through aspects. No Java source code is necessary since AspectJ works on the bytecode level, thus even allowing instrumentation of third-party applications. As an example, we discuss safety properties over data structures. A novelty of our approach is that we provide a special form of LTL allowing free variables in propositions which can bind objects on the execution trace, yielding the availablility of instance-based reasoning.

More information and download at:

Presenter: Jörg Kienzle

Title: Aspect-Oriented Challenge: Implementing the ACID Properties of Transactional Objects

Abstract: This talk is an extended version of the talk presented at AOSD 2006 in March. I am going to present an aspect-oriented design of a transaction run-time that ensures the ACID properties (atomicity, consistency, isolation and durability) for transactional objects. A set of ten base aspects is defined, each one providing a well-defined reusable functionality. The base aspects are simple, yet have complex dependencies among each other. The base aspects can be configured and composed in different ways to implement different concurrency control and recovery strategies. This composition is delicate: some aspects conflict with each other, others have to be reconfigured dynamically at run-time. At the end of the talk I want to show how this case study could serve as a benchmark for aspect- oriented software development, in particular for evaluating the expressivity of aspect-oriented programming languages, the performance of aspect-oriented programming environments, and the suitability of aspect-oriented modeling notations. More concretely, I will outline possible master thesis topics that can be built on top of this work for interested students.