|
Home
Call for papers (CFP)
Workshop overview
Workshop format
Important dates
Submission guidelines
Program committee
Organizing committee
Accepted papers
Workshop
schedule
Past workshops
Organized & sponsored by
|
Workshop schedule
| 09h00 - 09h10 |
Welcome and introduction |
| 09h10 - 10h10 |
Keynote speech by Prof.
Gary T. Leavens "Concerning efficient reasoning in AspectJ-like
languagues" (for more information: see below) |
| 10h10 - 10h30 |
Presentation 1:
"Interactions in aspect-oriented middleware" |
| 10h30 - 11h00 |
Coffee break |
| 11h00 - 11h20 |
Presentation 2: "Aspect
interaction management with meta-aspects and advice cardinalities" |
| 11h20 - 11h40 |
Presentation 3: "A
verification mechanism for weaving in extensible AOM languages" |
| 11h40 - 12h00 |
Presentation 4: "Vigilant
usage of aspects" |
| 12h00 - 12h30 |
Breaking into discussion
groups, setting discussion agenda |
| 12h30 - 14h00 |
Lunch break |
| 14h00 - 15h00 |
Small froup discussion |
| 15h00 - 15h30 |
Integrated group discussion |
| 15h30 - 16h00 |
Coffee break |
| 16h00 - 17h00 |
Panel on "Does AO equal
quantification and obliviousness?" Chair: Prof. Awais Rashid
(for more information: see below) |
| 17h00 - 17h30 |
Conslusion and closing of the
workshop |
Some more information:
Keynote speech by Gary T. Leavens
Title: Concerning Efficient
Reasoning in AspectJ-like Languages
Abstract:
Advice in the dynamic aspect-oriented
language AspectJ helps programmers modularize crosscutting concerns by
allowing additions and changes to a program's execution. However,
formal reasoning about the functional behavior of AspectJ code is inefficient,
because there is no way to limit potential interference. This leads
to whole-program reasoning, despite the sparse nature of actual interference
between advice and advice and base program code.
After describing these problems, I will give an overview of various techniques
proposed in the literature for solving them. Some
annotations and static analysis can be helpful in allowing efficient reasoning,
by identifying what advice is potentially relevant to a
given property. In particular I discuss joint work with Clifton
and Noble on concern domains, an effect analysis that uses annotations
to efficiently identify potential interference. I discuss some situations
in which such knowledge can lead to efficient combination of specifications
in some situations. I also discuss future work on problems in weaving
specifications.
Panel on "Does AO equal
quantification and obliviousness?"
Chaired by: Awais Rashid.
Panellists:
Wouter Joosen
Hidehiko Masuhara
Michael Haupt
Klaus Ostermann
|
