[Pl-seminar] 9/7: Shmuel Katz, "Aspects, Events, and Modular Correctness Reasoning"

[Aaron Turon]

NEU Programming Languages Seminar presents

Shmuel Katz
Computer Science Department
The Technion--- Israel Institute of Technology

Wednesday, 9/7

12pm - 1:30pm
NOTE: NONSTANDARD ROOM
Room **166** WVH (http://www.ccs.neu.edu/home/wand/directions.html)

Aspects, Events, and Modular Correctness Reasoning

The close connection between aspects and complex event processing
(CEP) is shown. Some changes are suggested in AspectJ (a Java
extension for aspects) both to improve the modularity of aspect
languages, and to facilitate their use for CEP. Specification and
verification of a library of reusable event detectors and aspects is
then described, treating both the correctness of individual modules
relative to their specifications, and detection of possible
interferences among them. A generic model checking tool for aspects
and event detectors is extended to treat cases where new key events
are added during the treatment of previous events by an aspect, and
these new events lead to additional aspects being activated.

(No background is needed for this talk---all terms will be explained.)