[aosd-discuss] AOP language metamodels / parsers

[Eric Bodden]

Hello.

On 2/6/07, SainTiss <saintiss at arklinux.org> wrote:
> Hence, I need a model of the source language which describes all available
> constructs of this language. That's what I mean by a metamodel. It could be
> provided in the form of a UML class diagram for example.
> Ideally, I'd like there to be semantics attached to it as well, because
> otherwise it will be hard to claim the meaning of a construct in the source
> language is the same as its equivalent in the machine model.

Our research group provides an open compiler framework for AspectJ
called the AspectBench Compiler - www.aspectbench.org. For this, there
exists a complete grammar
(http://abc.comlab.ox.ac.uk/documents/scanparse/index.html) as well as
a formal semantics for pointcut matching (the semantics for advice
execution are relatively clear and the execution rules for the Java
subset of AspectJ is defined by the Java Language Specification):

See:
http://abc.comlab.ox.ac.uk/techreports#abc-2006-2
http://abc.comlab.ox.ac.uk/techreports#abc-2006-3

(to appear in the proceedings of POPL 2007)

Cheers,
Eric

-- 
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada